Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix typos #3971

Open
wants to merge 3 commits into
base: master
Choose a base branch
from
Open

Fix typos #3971

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
0e6af60
fix typos
omahs Jul 9, 2024
b37db3f
fix typo
omahs Jul 9, 2024
73098fc
fix typo
omahs Jul 9, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
2 changes: 1 addition & 1 deletion docs/attributes.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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.

Expand Down
2 changes: 1 addition & 1 deletion docs/unification.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -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)`
Expand Down