Giters
runtimeverification
/
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
499
Watchers:
55
Issues:
343
Forks:
132
runtimeverification/evm-semantics Issues
Constructor calls with symbolic parameters
Updated
6 days ago
Comments count
1
Parallelize symbolic execution of tests
Updated
6 days ago
Comments count
2
Opt in to new type inference method
Closed
7 days ago
Comments count
2
Refactor kompilation cache in the intergration tests
Closed
8 days ago
Issues running kclaim style proofs
Updated
12 days ago
Comments count
5
Unable to run claims with `kevm prove`
Closed
a month ago
Comments count
2
Add Dencun upgrade changes
Updated
2 months ago
`freshUInt` cheatcode: replace `#bufStrict` by `#buf`
Closed
3 months ago
Outdated examples in KEVM
Closed
3 months ago
Comments count
2
Kontrol does not `kup install` in system aarch64-linux
Updated
3 months ago
Cannot supply custom `--kore-rpc-command` to `kevm foundry-prove`
Updated
3 months ago
Rename `kevm-pyk` to `kevm`
Updated
3 months ago
Rule coverage and configuration well-formedness
Updated
3 months ago
Comments count
1
Failure to make libcryptopp libff libsecp256k1
Closed
3 months ago
Comments count
3
Examples in `VERIFICATION.md` do not work as expected
Closed
3 months ago
`kore-rpc` produces a three-way branch for `JUMPI` in KEVM
Closed
3 months ago
Comments count
8
Tests missing from Pytest harness
Closed
3 months ago
Comments count
1
KEVM build instructions are out of date
Closed
3 months ago
Investigate SMT timeout in `test-arithmetictest-test_wmul_wdiv_inverse_underflow-uint256-uint256-0-spec.k`
Updated
3 months ago
Bound env variables (`NUMBER`, `TIMESTAMP`) by reasonable values
Updated
3 months ago
Comments count
3
Turn off `fast_check_subsumption` in CLI by default
Closed
3 months ago
`fast_check_subsumption` causes `Could not convert ML predicate to sort Bool` error
Updated
4 months ago
Default Behavior for Lemma File and Module Import in Kontrol
Updated
4 months ago
Fix warnings on non-exhaustive matches for rules
Updated
4 months ago
Comments count
2
De-duplicate rules introduced as part of the no-gas PR
Closed
4 months ago
Start K Server for CI tests
Updated
4 months ago
Comments count
1
Duplicate lemmas between two different files
Closed
4 months ago
Comments count
2
Add option to break on every basic block
Closed
5 months ago
Comments count
1
Segfaults on arm64 macOS
Updated
5 months ago
`#parseHexBytes` should be declared total
Closed
6 months ago
Comments count
6
Add `--port`, `--maude-port` to `rpc_args`
Closed
6 months ago
Improve help messages for `show-kcfg` and `view-kcfg`
Closed
7 months ago
`Directory does not exist` error in `kevm prove`
Closed
7 months ago
Comments count
1
Remove rule label `FOUNDRY.foundry.call` from `kevm_prove`
Closed
7 months ago
Comments count
1
Update documentation to reflect the latest version of Kontrol
Closed
7 months ago
Comments count
2
Remove `kontrolx`
Closed
7 months ago
Comments count
1
Outdated K causes incorrect KEVM/Kontrol output
Closed
7 months ago
Comments count
2
Docker CI build step too slow
Updated
7 months ago
Comments count
1
`import inotify.adapters` does not work on M1 Mac
Updated
7 months ago
Remove `foundry.md`
Closed
7 months ago
`setUp()` branches due to out-of-gas in Foundry proofs
Closed
8 months ago
Comments count
2
Clarify and Improve `--test` Parameter Functionality in `kevm foundry-prove`
Closed
8 months ago
Comments count
2
`--bmc-depth` conflicts with `setUp` function
Closed
8 months ago
Comments count
2
Replace `--test test,id` by `--test test:id` in the `foundry-prove` test argument
Closed
8 months ago
`setUp()` function proof not reinitializing when the tests change
Closed
8 months ago
Comments count
3
Segmentation Fault Encountered While Generating a Proof
Updated
8 months ago
solc-select not integrating with kevm-pyk
Updated
9 months ago
Remove `Kernel` class
Closed
9 months ago
`exec_run` and `exec_kast` take `save_directory` argument but the corresponding commands don't have those options
Updated
9 months ago
nix/kup version of kevm foundry-* commands broken due to foundry/solc version issues
Closed
10 months ago
Previous
Next