From 0e6af602530542a7120e9ec1fffb289521bb3d4f Mon Sep 17 00:00:00 2001 From: omahs <73983677+omahs@users.noreply.github.com> Date: Tue, 9 Jul 2024 15:37:44 +0200 Subject: [PATCH 1/3] fix typos --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 391907cc79..3915fb53c1 100644 --- a/README.md +++ b/README.md @@ -212,12 +212,12 @@ me@somewhere:haskell-backend$ #### scripts/performance-tests-{kevm, kontrol, mx}.sh -Call these scripts from the root of the repo to obtain performance numbers for the KEVM and Kontrol test suites. These are necessary for any new feature which is expected to modify the perfromance of the booster and the timings should be includedf in the PR. +Call these scripts from the root of the repo to obtain performance numbers for the KEVM and Kontrol test suites. These are necessary for any new feature which is expected to modify the perfromance of the booster and the timings should be included in the PR. #### scripts/booster-analysis.sh -This scipt can be used with any folder containing bug reports to build an anlysis of fallback/abort reasons in the booster. To obtain bug reports, first run `PYTEST_PARALLEL=8 scripts/performance-tests-kevm.sh --bug-report`, which will generate tarballs for all the tests and drop them into `scripts/bug-reports/`. Then call `scripts/booster-analysis.sh scripts/booster-analysis.sh scripts/bug-reports/kevm-v1.0.417-main` +This script can be used with any folder containing bug reports to build an analysis of fallback/abort reasons in the booster. To obtain bug reports, first run `PYTEST_PARALLEL=8 scripts/performance-tests-kevm.sh --bug-report`, which will generate tarballs for all the tests and drop them into `scripts/bug-reports/`. Then call `scripts/booster-analysis.sh scripts/booster-analysis.sh scripts/bug-reports/kevm-v1.0.417-main` ### Generating an integration test from a bug-report.tar.gz From b37db3fc255fcd046121ebed4a137aff72dfaed7 Mon Sep 17 00:00:00 2001 From: omahs <73983677+omahs@users.noreply.github.com> Date: Tue, 9 Jul 2024 15:39:10 +0200 Subject: [PATCH 2/3] fix typo --- docs/unification.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/unification.md b/docs/unification.md index 91ff69047a..4b78ac30df 100644 --- a/docs/unification.md +++ b/docs/unification.md @@ -314,7 +314,7 @@ set element as a map element from its value to (). List ---- -If both terms are function symbols of list sort, we conside 5 cases: +If both terms are function symbols of list sort, we consider 5 cases: 1. If one list is `_List_(l1, Var1)` and the other list is `_List_(l2, Var2)`, where l1 and l2 have no opaque terms, and len(l1) <= len(l2), for i = 1 to len(l1), decompose with the ith element of l1 and l2. Then, remove len(l1) elements from the start of l2 and decompose with Var1 and `_List_(l2, Var2)` 2. If one list is `_List_(Var1, l1)` and the other list is `_List_(Var2, l2)`, where l1 and l2 have no opaque terms, and len(l1) <= len(l2), for i = 1 to len(l1), decompose with the ith element of l1 and the len(l2) - len(l1) + ith element of l2. Then, remove len(l1) elements from the end of l2 and decompose with Var1 and `_List_(Var2, l2)` From 73098fc318ae0a7a14a13eb45e32dda1e2338695 Mon Sep 17 00:00:00 2001 From: omahs <73983677+omahs@users.noreply.github.com> Date: Tue, 9 Jul 2024 15:40:38 +0200 Subject: [PATCH 3/3] fix typo --- docs/attributes.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/attributes.md b/docs/attributes.md index 2a6f98b930..950fbe7e33 100644 --- a/docs/attributes.md +++ b/docs/attributes.md @@ -240,7 +240,7 @@ are passed as arguments for the list. smtlib{}("(mod (^ #1 #2) #3)") ``` -The list may contain special meta-varialbes `#1`, `#2`, ... (not a valid +The list may contain special meta-variables `#1`, `#2`, ... (not a valid SMT-LIB syntax) which indicate the position of the arguments of the application pattern.