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.

Sign up for GitHub

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

Jump to bottom

Termination analysis cleanup #1245

Open

8 tasks

sim642 opened this issue Nov 15, 2023 · 0 comments

Labels

bug cleanup performance precision testing unsound

Milestone

Member

sim642 commented Nov 15, 2023 •

edited

Loading

#1093 leaves a bunch of things to clean up after merging for SV-COMP 2024:

Clarify and document new test annotations: TUM Practical Course Summer 2023: Termination Analyses #1093 (comment).
Fix incremental analysis support: TUM Practical Course Summer 2023: Termination Analyses #1093 (comment), TUM Practical Course Summer 2023: Termination Analyses #1093 (comment).
Refactor CIL location based logic: TUM Practical Course Summer 2023: Termination Analyses #1093 (comment).
Fix CIL location based upjumping goto check: TUM Practical Course Summer 2023: Termination Analyses #1093 (comment).
Improve termination check with upjumping goto-s: TUM Practical Course Summer 2023: Termination Analyses #1093 (comment).
Exclude termination variables from witness invariants.
Exclude inserted statement nodes from witnesses.
Optimize analysis: TUM Practical Course Summer 2023: Termination Analyses #1093 (comment).

The text was updated successfully, but these errors were encountered:

sim642 added cleanup bug testing unsound precision labels

sim642 added this to the v2.4.0 milestone

sim642 added the performance label

sim642 modified the milestones: v2.4.0, v2.5.0

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment