Doc improvements: supported platforms and versions (rust-lang#1969)

Author: tedinski

README.md

@@ -9,16 +9,9 @@ Kani verifies:
  * The absence of panics (e.g., `unwrap()` on `None` values)
  * The absence of some types of unexpected behavior (e.g., arithmetic overflows)
 
-## GitHub Action
-
-Use Kani in your CI with `model-checking/kani@VERSION`. See the
-[GitHub Action section in the Kani
-book](https://model-checking.github.io/kani/install-github-ci.html)
-for details.
-
 ## Installation
 
-To install the latest version of Kani, run:
+To install the latest version of Kani ([Rust 1.58+; Linux or Mac](https://model-checking.github.io/kani/install-guide.html)), run:
 
 ```bash
 cargo install --locked kani-verifier
@@ -54,6 +47,13 @@ Kani will then try to prove that all valid inputs produce acceptable outputs, wi
 Otherwise Kani will generate a trace that points to the failure.
 We recommend following [the tutorial](https://model-checking.github.io/kani/kani-tutorial.html) to learn more about how to use Kani.
 
+## GitHub Action
+
+Use Kani in your CI with `model-checking/kani-github-action@VERSION`. See the
+[GitHub Action section in the Kani
+book](https://model-checking.github.io/kani/install-github-ci.html)
+for details.
+
 ## Security
 See [SECURITY](https://github.com/model-checking/kani/security/policy) for more information.
 

docs/src/install-guide.md

@@ -4,7 +4,7 @@ Kani offers an easy installation option on three platforms:
 
 * `x86_64-unknown-linux-gnu` (Most Linux distributions)
 * `x86_64-apple-darwin` (Intel Mac OS)
-* `aarch64-apple-darwin` (Apple M1)
+* `aarch64-apple-darwin` (Apple Silicon Mac OS)
 
 Other platforms are either not yet supported or require instead that
 you [build from source](build-from-source.md). To use Kani in your
@@ -14,8 +14,8 @@ GitHub CI workflows, see [GitHub CI Action](./install-github-ci.md).
 
 The following must already be installed:
 
-* **Python version 3.6 or greater** and the package installer `pip`.
-* Rust installed via `rustup`.
+* **Python version 3.6 or newer** and the package installer `pip`.
+* Rust 1.58 or newer installed via `rustup`.
 * `ctags` is required for Kani's `--visualize` option to work correctly. [Universal ctags](https://ctags.io/) is recommended.
 
 ## Installing the latest version