-
Notifications
You must be signed in to change notification settings - Fork 54
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Detector: Assert state change #663
Merged
Merged
Commits on Aug 8, 2024
-
Configuration menu - View commit details
-
Copy full SHA for eac3d08 - Browse repository at this point
Copy the full SHA eac3d08View commit details -
Configuration menu - View commit details
-
Copy full SHA for 859389b - Browse repository at this point
Copy the full SHA 859389bView commit details -
Configuration menu - View commit details
-
Copy full SHA for fefc4cf - Browse repository at this point
Copy the full SHA fefc4cfView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7579a0b - Browse repository at this point
Copy the full SHA 7579a0bView commit details -
Configuration menu - View commit details
-
Copy full SHA for ebe123b - Browse repository at this point
Copy the full SHA ebe123bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 29ad0ea - Browse repository at this point
Copy the full SHA 29ad0eaView commit details -
Configuration menu - View commit details
-
Copy full SHA for 8a8b579 - Browse repository at this point
Copy the full SHA 8a8b579View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6a3159a - Browse repository at this point
Copy the full SHA 6a3159aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 47c8382 - Browse repository at this point
Copy the full SHA 47c8382View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8e9dcb9 - Browse repository at this point
Copy the full SHA 8e9dcb9View commit details -
Configuration menu - View commit details
-
Copy full SHA for c19d7b2 - Browse repository at this point
Copy the full SHA c19d7b2View commit details -
approxiamate state variable manipulation finder
heuristics to link state variables and storage pointers part 1 heuristics to link state variables and storage pointers part 2 heuristics to link state variables and storage pointers part 3
Configuration menu - View commit details
-
Copy full SHA for 6abae97 - Browse repository at this point
Copy the full SHA 6abae97View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2fd3cf5 - Browse repository at this point
Copy the full SHA 2fd3cf5View commit details -
Configuration menu - View commit details
-
Copy full SHA for e7e589d - Browse repository at this point
Copy the full SHA e7e589dView commit details -
Configuration menu - View commit details
-
Copy full SHA for b91098b - Browse repository at this point
Copy the full SHA b91098bView commit details -
Configuration menu - View commit details
-
Copy full SHA for e12ae16 - Browse repository at this point
Copy the full SHA e12ae16View commit details -
Configuration menu - View commit details
-
Copy full SHA for a20d5f0 - Browse repository at this point
Copy the full SHA a20d5f0View commit details -
checkpoint 2 checkpoint 2 checkpoint 3 checkpoint 3 checkpoint 3
Configuration menu - View commit details
-
Copy full SHA for c76cf97 - Browse repository at this point
Copy the full SHA c76cf97View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7685af6 - Browse repository at this point
Copy the full SHA 7685af6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 979d871 - Browse repository at this point
Copy the full SHA 979d871View commit details
Commits on Aug 12, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 90a42ee - Browse repository at this point
Copy the full SHA 90a42eeView commit details -
Configuration menu - View commit details
-
Copy full SHA for f5d137d - Browse repository at this point
Copy the full SHA f5d137dView commit details -
Configuration menu - View commit details
-
Copy full SHA for d5e8cf4 - Browse repository at this point
Copy the full SHA d5e8cf4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 18c1e44 - Browse repository at this point
Copy the full SHA 18c1e44View commit details -
Configuration menu - View commit details
-
Copy full SHA for d6665c5 - Browse repository at this point
Copy the full SHA d6665c5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 49eb183 - Browse repository at this point
Copy the full SHA 49eb183View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8c7fb39 - Browse repository at this point
Copy the full SHA 8c7fb39View commit details -
Configuration menu - View commit details
-
Copy full SHA for c682e95 - Browse repository at this point
Copy the full SHA c682e95View commit details
Commits on Aug 18, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 253f76c - Browse repository at this point
Copy the full SHA 253f76cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 43f3adb - Browse repository at this point
Copy the full SHA 43f3adbView commit details
Commits on Aug 19, 2024
-
Configuration menu - View commit details
-
Copy full SHA for edc1e2c - Browse repository at this point
Copy the full SHA edc1e2cView commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.