issues
search
runtimeverification
/
kontrol
BSD 3-Clause "New" or "Revised" License
55
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Propagate `forge build` error message to `kontrol build` output
#891
palinatolmach
closed
10 hours ago
0
Support signed int `random` cheatcodes
#890
palinatolmach
opened
2 days ago
0
CSE with merging node
#889
Stevengre
opened
2 days ago
0
[CSE] Basic CI tests
#888
Stevengre
opened
3 days ago
1
Generate complete default `kontrol.toml` automatically using `kontrol config` like the `foundry config`.
#887
Stevengre
opened
3 days ago
0
Counter examples in Solidity
#886
RaoulSchaffranek
opened
4 days ago
1
close default kcfg minimization 4 cse
#885
Stevengre
opened
4 days ago
0
Update dependency: deps/kevm_release
#884
rv-jenkins
closed
1 week ago
0
Option `--extra-module` for including lemmas modules dynamically in `kontrol prove`
#883
ehildenb
opened
1 week ago
0
Remove Rich Handler
#882
anvacaru
closed
1 week ago
0
RichHandler: Increase width of the logger
#881
anvacaru
closed
1 week ago
1
Re-raise build errors instead of silently failing
#880
ehildenb
closed
1 week ago
0
Update dependency: deps/kevm_release
#879
rv-jenkins
closed
1 week ago
0
Pretty print function arguments in calldata
#878
anvacaru
closed
1 week ago
0
Add support for most `random` cheatcodes
#877
palinatolmach
closed
2 days ago
0
Support `random*` Foundry cheatcodes as alias for `fresh*`
#876
palinatolmach
opened
2 weeks ago
0
Update dependency: deps/kevm_release
#875
rv-jenkins
closed
2 weeks ago
0
Update dependency: deps/kevm_release
#874
rv-jenkins
closed
3 weeks ago
0
Schedule should be read from `foundry.toml`
#873
palinatolmach
opened
3 weeks ago
0
Update dependency: deps/kevm_release
#872
rv-jenkins
closed
4 weeks ago
0
Lemmas aren't updated automatically
#871
palinatolmach
opened
1 month ago
0
Add section `Selectors` to `cheatcodes.md`
#870
JuanCoRo
closed
1 month ago
0
Update dependency: deps/kevm_release
#869
rv-jenkins
closed
1 month ago
0
Update dependency: deps/kevm_release
#868
rv-jenkins
closed
1 month ago
0
add `no-stack-checks` to `kontrol.toml` file
#867
anvacaru
closed
1 month ago
1
Kontrol Loop Invariants knowledge
#866
ehildenb
opened
1 month ago
4
Update dependency: deps/kevm_release
#865
rv-jenkins
closed
1 month ago
0
Update dependency: deps/kevm_release
#864
rv-jenkins
closed
1 month ago
0
Add test of `kontol show ... --to-kevm-rules`
#863
ehildenb
opened
1 month ago
0
Update dependency: deps/kevm_release
#862
rv-jenkins
closed
1 month ago
0
Extend library refs processing, fix in error messages for `setUp`
#861
palinatolmach
closed
1 month ago
0
XML report: include information about nodes, branches in proofs
#860
palinatolmach
opened
1 month ago
0
Add `setUp` and `init` to XML report
#859
palinatolmach
closed
1 month ago
0
Include `setUp` and `init` in the XML report
#858
palinatolmach
closed
1 month ago
0
Update dependency: deps/kevm_release
#857
rv-jenkins
closed
1 month ago
3
Include `kontrol prove` command in the XML report
#856
palinatolmach
opened
1 month ago
0
Fix `Option` printing
#855
palinatolmach
closed
1 month ago
0
Update dependency: deps/kevm_release
#854
rv-jenkins
closed
1 month ago
0
Preserving all relevant symbolic variables
#853
PetarMax
closed
1 month ago
0
Add the ability to direct the execution towards one branch
#852
palinatolmach
opened
1 month ago
0
Add the ability to print a subtree in KCFG
#851
palinatolmach
opened
1 month ago
2
Additional EVM optimizations
#850
PetarMax
closed
1 month ago
11
Update dependency: deps/kevm_release
#849
rv-jenkins
closed
1 month ago
0
Simplifying nodes by need
#848
PetarMax
closed
1 month ago
2
Update dependency: deps/kevm_release
#847
rv-jenkins
closed
1 month ago
0
Preserve `bounded` nodes from `setUp` in `test`
#846
palinatolmach
closed
1 month ago
1
Node bound (`bmc-depth`) in `setUp` not respected in test
#845
palinatolmach
closed
1 month ago
0
Add a test for `etch` to a symbolic address
#844
palinatolmach
opened
1 month ago
0
Update dependency: deps/kevm_release
#843
rv-jenkins
closed
1 month ago
0
Optimization flags for kontrol build
#842
gtrepta
closed
1 month ago
0
Next