Implement kevm.forgetBranch cheatcode#899

Merged

automergerpr-permission-manager[bot] merged 28 commits into

abstraction-cheatcodes

Jan 23, 2025

Commits on Dec 3, 2024

draft FOUNDRYSemantics
anvacaru
committed
forgetBranch
anvacaru
committed
add mlEqualsTrue
anvacaru
committed
minor corrections
Petar Maksimovic
committed

Commits on Dec 4, 2024

Commits on Dec 5, 2024

rename FOUNDRYSemantics to KontrolSemantics
anvacaru
committed

Commits on Dec 6, 2024

Merge branch 'master' into abstraction-cheatcodes
palinatolmach
authored
checking for negation as well
Petar Maksimovic
committed
correcting indentation
Petar Maksimovic
committed

Commits on Dec 8, 2024

expanding functionality
Petar Maksimovic
committed
Merge remote-tracking branch 'origin/master' into abstraction-cheatcodes
Petar Maksimovic
committed
heuristic simplifications
Petar Maksimovic
committed

Commits on Dec 9, 2024

further refinement
Petar Maksimovic
committed

Commits on Dec 11, 2024

Merge branch 'master' into abstraction-cheatcodes
PetarMax
authored

Commits on Dec 16, 2024

Merge branch 'master' into abstraction-cheatcodes
PetarMax
authored

Commits on Dec 18, 2024

Merge branch 'master' into abstraction-cheatcodes
PetarMax
authored

Commits on Jan 14, 2025

Merge branch 'master' into abstraction-cheatcodes
anvacaru
authored

Commits on Jan 16, 2025

Merge branch 'master' into abstraction-cheatcodes
palinatolmach
authored

Commits on Jan 22, 2025

Merge branch 'master' into abstraction-cheatcodes
anvacaru
authored

Commits on Jan 23, 2025

update expected output
anvacaru
committed