From 1e04cc38c7e35976821941c29e1e7318c2796307 Mon Sep 17 00:00:00 2001 From: Chandrakana Nandi Date: Mon, 30 Oct 2023 08:51:12 -0700 Subject: [PATCH 1/5] Update mutation-verifier.md --- docs/gambit/mutation-verifier.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/gambit/mutation-verifier.md b/docs/gambit/mutation-verifier.md index 1d587b52..660e99d6 100644 --- a/docs/gambit/mutation-verifier.md +++ b/docs/gambit/mutation-verifier.md @@ -29,6 +29,9 @@ If you already have `certora-cli` installed and pip install --upgrade certora-cli ``` +```{note} +If you are on linux, you will need pip version 20.3 and above. +``` ## Running the Mutation Verifier From d3e831bc3f45d2fdd5c34c9e288f9683b8859ce6 Mon Sep 17 00:00:00 2001 From: Chandrakana Nandi Date: Mon, 30 Oct 2023 08:59:26 -0700 Subject: [PATCH 2/5] Update mutation-verifier.md --- docs/gambit/mutation-verifier.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/gambit/mutation-verifier.md b/docs/gambit/mutation-verifier.md index 660e99d6..d4e5d303 100644 --- a/docs/gambit/mutation-verifier.md +++ b/docs/gambit/mutation-verifier.md @@ -30,7 +30,7 @@ pip install --upgrade certora-cli ``` ```{note} -If you are on linux, you will need pip version 20.3 and above. +If you are on Linux, you will need pip version 20.3 and above. ``` ## Running the Mutation Verifier From 97c5abf4020ff69162bf82e20e34e4c6560de574 Mon Sep 17 00:00:00 2001 From: Chandrakana Nandi Date: Mon, 30 Oct 2023 09:00:00 -0700 Subject: [PATCH 3/5] Update spelling_wordlist.txt --- spelling_wordlist.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/spelling_wordlist.txt b/spelling_wordlist.txt index d3d99aee..6cbbda2b 100644 --- a/spelling_wordlist.txt +++ b/spelling_wordlist.txt @@ -79,6 +79,7 @@ invariant invariants iterable Keccak +Linux lifecycle logics macOS @@ -157,4 +158,4 @@ verifier verifiers walkthrough whitespace -prover_args \ No newline at end of file +prover_args From b5ca02863a6d99e70de8d9272db951d5779b473a Mon Sep 17 00:00:00 2001 From: Chandrakana Nandi Date: Tue, 31 Oct 2023 07:02:31 -0700 Subject: [PATCH 4/5] Update docs/gambit/mutation-verifier.md Co-authored-by: Michael D. George --- docs/gambit/mutation-verifier.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/gambit/mutation-verifier.md b/docs/gambit/mutation-verifier.md index d4e5d303..00c5b8b6 100644 --- a/docs/gambit/mutation-verifier.md +++ b/docs/gambit/mutation-verifier.md @@ -30,7 +30,7 @@ pip install --upgrade certora-cli ``` ```{note} -If you are on Linux, you will need pip version 20.3 and above. +If you are on Linux, you will need pip version 20.3 or above. ``` ## Running the Mutation Verifier From f8bb0df94f16b1dafe049e2268a06b5c6a55f9f0 Mon Sep 17 00:00:00 2001 From: Chandrakana Nandi Date: Tue, 31 Oct 2023 08:25:43 -0700 Subject: [PATCH 5/5] Update spelling_wordlist.txt --- spelling_wordlist.txt | 1 - 1 file changed, 1 deletion(-) diff --git a/spelling_wordlist.txt b/spelling_wordlist.txt index 2f85a93b..1953ec62 100644 --- a/spelling_wordlist.txt +++ b/spelling_wordlist.txt @@ -160,4 +160,3 @@ verifier verifiers walkthrough whitespace -prover_args