Retire the experimental PropProof integration

.github/workflows/test-action.yml

@@ -66,10 +66,3 @@ jobs:
             echo "::error::The installed version ($installed_version) does not match the latest version ($expected_version)."
             exit 1
           fi
-
-      - name: Test ProfProof within Kani Action
-        uses: ./
-        with:
-          working-directory: tests/cargo-kani/proptest-lib
-          args: --tests
-          enable-propproof: true

README.md

@@ -33,12 +33,6 @@ If omitted, the latest version of `Kani` hosted on [`Kani's crates.io page`](htt
 - **Default**: `''`
 - **Usage**: These arguments or subcommands will be appended to the Kani command.
 
-`enable-propproof`
-
-- **Description**: Experimental feature that allows Kani to verify [proptest harnesses](https://proptest-rs.github.io/proptest/proptest/index.html) using the PropProof feature.
-- **Default**: `false`
-- **Usage**: If set to `true`, Kani will enable the experimental PropProof feature for verifying proptest harnesses.
-
 ## Example usage in a workflow YAML file:
 
 Here are a few examples of workflow YAML files for the Kani Github Action:
@@ -75,7 +69,7 @@ jobs:
 
 #### Example 3: Run Kani with args
 
-Use latest version of Kani, to run `cargo-kani --tests` on a project with `propproof` harnesses.
+Use latest version of Kani, to run `cargo-kani --tests` on a project.
 
 ```yaml
 jobs:
@@ -86,7 +80,6 @@ jobs:
         uses: model-checking/kani-github-action@v1
         with:
           args: '--tests'
-          enable-propproof: true
 ```
 
 ## Security

action.yml

@@ -26,10 +26,6 @@ inputs:
     description: 'Arguments to pass to kani.'
     required: false
     default: ''
-  enable-propproof:
-    description: 'Experimental: Allow Kani to verify proptest harnesses using the PropProof feature'
-    required: false
-    default: false
 
 runs:
   using: "composite"
@@ -41,21 +37,6 @@ runs:
       run: ${{ github.action_path }}/src/install-kani.sh ${{ inputs.kani-version }}
       shell: bash
 
-    - name: Install PropProof
-      if: ${{ inputs.enable-propproof == 'true' }}
-      uses: actions/checkout@v3
-      with:
-        repository: model-checking/kani
-        ref: features/proptest
-        path: propproof
-        submodules: true
-
-    - name: Add PropProof to config
-      if: ${{ inputs.enable-propproof == 'true' }}
-      shell: bash
-      run: |
-        echo "paths = [\"$GITHUB_WORKSPACE/propproof\"]" > $HOME/.cargo/config.toml
-
     - name: Run Kani
       shell: bash
       run: |