Implementation of NotJumpdestTop and FakeMissedJumps#19

Merged

VincenzoArceri merged 12 commits intomasterfrom not-jumpdest-top

May 20, 2024

+7,640,242-12,761,230

Commits on Mar 26, 2024

Commits on Mar 27, 2024

Commits on Mar 29, 2024

Commits on Mar 30, 2024

Updated the calculation of unsolved jumps (added fakeMissedJumps)
merendamattia
committed

Commits on Mar 31, 2024

Bug fixed (counting of fake missed jumps)
merendamattia
committed

Commits on Apr 1, 2024

Added the control of stacks size in the fake missed jump condition
merendamattia
committed

Commits on Apr 3, 2024

Updated the calculation of fakeMissedJumps
merendamattia
committed

Commits on Apr 22, 2024

Updated tests, spotlessApply and minor changes
merendamattia
committed

Commits on May 17, 2024

Resolved requests
merendamattia
committed