issues
search
runtimeverification
/
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
BSD 3-Clause "New" or "Revised" License
506
stars
140
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Memory update simplifications
#2634
PetarMax
opened
1 day ago
1
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin
#2633
rv-jenkins
closed
1 day ago
0
WordStack optimizations
#2632
PetarMax
opened
6 days ago
6
Update dependency: deps/k_release
#2631
rv-jenkins
closed
6 days ago
0
Update dependency: deps/k_release
#2630
rv-jenkins
closed
1 week ago
0
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin
#2629
rv-jenkins
closed
1 week ago
0
Extending KEVM configuration with `<wordStackSize>`
#2628
PetarMax
closed
1 week ago
3
Provide `is_mergeable` heuristic
#2627
Stevengre
closed
1 week ago
0
Update dependency: deps/k_release
#2626
rv-jenkins
closed
1 week ago
3
Correction for `#asWord` lemmas
#2625
PetarMax
closed
2 weeks ago
1
Update dependency: deps/k_release
#2623
rv-jenkins
closed
2 weeks ago
0
Upstreaming Kontrol slot update lemmas as tests
#2622
PetarMax
closed
2 weeks ago
0
Update dependency: deps/k_release
#2621
rv-jenkins
closed
2 weeks ago
0
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin
#2620
rv-jenkins
closed
2 weeks ago
0
Update dependency: deps/k_release
#2619
rv-jenkins
closed
2 weeks ago
0
Correcting the `sum-to-n-foundry-spec.k` circularity test
#2618
PetarMax
closed
3 weeks ago
0
Unexpected behaviour in proving `sum-to-n-foundry-spec.k`
#2617
PetarMax
opened
3 weeks ago
5
Removing `#rangeBool` reasoning
#2616
PetarMax
closed
3 weeks ago
1
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin
#2615
rv-jenkins
closed
3 weeks ago
0
Update dependency: deps/k_release
#2614
rv-jenkins
closed
3 weeks ago
0
Stabilising `chop` lemmas
#2613
PetarMax
closed
3 weeks ago
0
Removing some unneeded lemmas
#2612
PetarMax
closed
3 weeks ago
0
Typos and minor lemma clean-up
#2611
PetarMax
closed
3 weeks ago
0
Update dependency: deps/k_release
#2610
rv-jenkins
closed
3 weeks ago
0
Update dependency: deps/k_release
#2609
rv-jenkins
closed
3 weeks ago
0
Forcing sequential proof advancement in CI
#2608
PetarMax
closed
3 weeks ago
2
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin
#2607
rv-jenkins
closed
4 weeks ago
0
Cleanup of slot-update-related content
#2606
PetarMax
closed
3 weeks ago
0
Stabilising bool2Word reasoning
#2605
PetarMax
closed
3 weeks ago
1
#asWord simplifications
#2604
PetarMax
closed
2 weeks ago
6
Update dependency: deps/k_release
#2603
rv-jenkins
closed
4 weeks ago
0
Update dependency: web/k-web-theme
#2602
rv-jenkins
opened
1 month ago
0
Update dependency: deps/k_release
#2601
rv-jenkins
closed
1 month ago
0
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin
#2600
rv-jenkins
closed
1 month ago
0
Update doc
#2599
Stevengre
closed
1 month ago
0
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin
#2598
rv-jenkins
closed
1 month ago
0
Update dependency: deps/k_release
#2597
rv-jenkins
closed
1 month ago
0
[don't merge] merged edge donwstream validation
#2596
Stevengre
closed
1 month ago
0
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin
#2595
rv-jenkins
closed
1 month ago
0
Update dependency: deps/k_release
#2594
rv-jenkins
closed
1 month ago
0
Update dependency: deps/k_release
#2593
rv-jenkins
closed
1 month ago
0
Update dependency: deps/k_release
#2592
rv-jenkins
closed
1 month ago
0
Update dependency: deps/k_release
#2591
rv-jenkins
closed
1 month ago
0
Include `which` in the nix dev shell
#2590
goodlyrottenapple
closed
1 month ago
0
Update dependency: deps/k_release
#2589
rv-jenkins
closed
1 month ago
0
Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin
#2588
rv-jenkins
closed
1 month ago
0
General slot updates and test suite extension
#2587
PetarMax
closed
1 month ago
5
Update dependency: deps/k_release
#2586
rv-jenkins
closed
1 month ago
0
Add option string for symbolic-immutables
#2585
anvacaru
closed
1 month ago
0
Update dependency: deps/k_release
#2584
rv-jenkins
closed
1 month ago
0
Next