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

Commits on Aug 6, 2024

Commits on Aug 7, 2024

Commits on Aug 8, 2024

Allow custom var name cheatcode symbolic length in freshBytes and symbolic address in symbolicStorage
nwatson22
committed
Merge branch 'master' into noah/custom-varnames-cheatcodes
nwatson22
authored

Commits on Aug 10, 2024

Enable some new tests
nwatson22
committed

Commits on Aug 19, 2024

Commits on Aug 25, 2024

Merge branch 'master' into noah/custom-varnames-cheatcodes
PetarMax
authored
can_make_custom_step
Petar Maksimovic
committed
expected outputs, custom step activation
Petar Maksimovic
committed
more expected outputs
Petar Maksimovic
committed
and even more expected outputs
Petar Maksimovic
committed