-
Notifications
You must be signed in to change notification settings - Fork 89
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
Avoid corner-cases by grouping instrumentation into basic blocks and using backward iteration #3438
Merged
celinval
merged 15 commits into
model-checking:main
from
artemagvanian:group-uninit-instrumentation
Aug 22, 2024
Merged
Avoid corner-cases by grouping instrumentation into basic blocks and using backward iteration #3438
celinval
merged 15 commits into
model-checking:main
from
artemagvanian:group-uninit-instrumentation
Aug 22, 2024
Commits on Aug 14, 2024
-
Configuration menu - View commit details
-
Copy full SHA for b909c8b - Browse repository at this point
Copy the full SHA b909c8bView commit details
Commits on Aug 15, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 3351a31 - Browse repository at this point
Copy the full SHA 3351a31View commit details
Commits on Aug 16, 2024
-
Configuration menu - View commit details
-
Copy full SHA for aae970b - Browse repository at this point
Copy the full SHA aae970bView commit details -
Configuration menu - View commit details
-
Copy full SHA for c378ec5 - Browse repository at this point
Copy the full SHA c378ec5View commit details -
Configuration menu - View commit details
-
Copy full SHA for ff4862a - Browse repository at this point
Copy the full SHA ff4862aView commit details
Commits on Aug 17, 2024
-
Configuration menu - View commit details
-
Copy full SHA for eb05f74 - Browse repository at this point
Copy the full SHA eb05f74View commit details -
Configuration menu - View commit details
-
Copy full SHA for cc1798b - Browse repository at this point
Copy the full SHA cc1798bView commit details
Commits on Aug 18, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 38e588d - Browse repository at this point
Copy the full SHA 38e588dView commit details
Commits on Aug 19, 2024
-
Revert "Break down large visitor functions in instrumentation visitors"
This reverts commit 38e588d.
Configuration menu - View commit details
-
Copy full SHA for 244e239 - Browse repository at this point
Copy the full SHA 244e239View commit details -
Revert "Add docstring for
PlaceOperation
"This reverts commit cc1798b.
Configuration menu - View commit details
-
Copy full SHA for 72a6edf - Browse repository at this point
Copy the full SHA 72a6edfView commit details -
Revert "Stop using visitor for instrumentation target finding"
This reverts commit eb05f74.
Configuration menu - View commit details
-
Copy full SHA for 6a70eae - Browse repository at this point
Copy the full SHA 6a70eaeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 58b689a - Browse repository at this point
Copy the full SHA 58b689aView commit details -
Configuration menu - View commit details
-
Copy full SHA for db25dca - Browse repository at this point
Copy the full SHA db25dcaView commit details
Commits on Aug 22, 2024
-
Configuration menu - View commit details
-
Copy full SHA for f3553cf - Browse repository at this point
Copy the full SHA f3553cfView commit details -
Configuration menu - View commit details
-
Copy full SHA for e5e67ad - Browse repository at this point
Copy the full SHA e5e67adView 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.