Cheatcodes with ability to control generated K variable names - #745

Closed

nwatson22 wants to merge 30 commits into

noah/custom-varnames-cheatcodes

Commits on Aug 5, 2024

Add freshUInt variant that allows specifying generated var name
nwatson22
committed
8114b61
Use superclass method in KontrolSemantics
nwatson22
committed
09c5194

Commits on Aug 6, 2024

Add selectors for other cheatcodes
nwatson22
committed
ccddb49
Implement for symbolicStorage
nwatson22
committed
a5fa764
Use newer kontrol-cheatcodes version, add rules for the new cheatcodes
nwatson22
committed
3aa332d

Commits on Aug 7, 2024

Commits on Aug 8, 2024

Commits on Aug 10, 2024

Enable some new tests
nwatson22
committed
3b49799

Commits on Aug 14, 2024

Merge master into branch
nwatson22
committed
a3a1d83
Fix test
nwatson22
committed
f343982
Merge branch 'master' into noah/custom-varnames-cheatcodes
nwatson22
authored
990854e
Update expected output
nwatson22
committed
32a2167

Commits on Aug 16, 2024

Fix freshBool
nwatson22
committed
f06b827
Fix test disambiguation, update symbolic_bytes_custom_name expected
nwatson22
committed
839635b
Merge branch 'master' into noah/custom-varnames-cheatcodes
nwatson22
authored
d441d58
Update expected output
nwatson22
committed
8b0cecf
Merge branch 'noah/custom-varnames-cheatcodes' of https://github.com/runtimeverification/kontrol into noah/custom-varnames-cheatcodes
nwatson22
committed
087efad
Update test_address_custom_name
nwatson22
committed
7e3604c
Merge branch 'master' into noah/custom-varnames-cheatcodes
nwatson22
authored
eb05bab
Update src/kontrol/solc_to_k.py
nwatson22
authored
38496da

Commits on Aug 19, 2024

Merge branch 'master' into noah/custom-varnames-cheatcodes
nwatson22
authored
5ae8000
Update src/tests/integration/conftest.py
nwatson22
authored
eecdc05
Fix indentation issue
nwatson22
committed
aec4226

Commits on Aug 25, 2024

Merge branch 'master' into noah/custom-varnames-cheatcodes
PetarMax
authored
09a3cfb
can_make_custom_step
Petar Maksimovic
committed
b8f1500
expected outputs, custom step activation
Petar Maksimovic
committed
2e00656
more expected outputs
Petar Maksimovic
committed
83f4683
and even more expected outputs
Petar Maksimovic
committed
6aa33c6