Skip to content

Commit

Permalink
Merge branch 'goblint-master'
Browse files Browse the repository at this point in the history
  • Loading branch information
ManuelLerchner committed Dec 16, 2024
2 parents 58eeeb4 + bfe5dc6 commit ed56056
Show file tree
Hide file tree
Showing 19 changed files with 5,136 additions and 4,509 deletions.
298 changes: 298 additions & 0 deletions docs/artifact-descriptions/vmcai25.md

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions mkdocs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -41,3 +41,4 @@ nav:
- "🇸 SAS '21": artifact-descriptions/sas21.md
- "🇪 ESOP '23": artifact-descriptions/esop23.md
- "🇻 VMCAI '24": artifact-descriptions/vmcai24.md
- "🇻 VMCAI '25": artifact-descriptions/vmcai25.md
6 changes: 6 additions & 0 deletions scripts/goblint-lib-modules.py
Original file line number Diff line number Diff line change
Expand Up @@ -48,6 +48,12 @@

"MessageCategory", # included in Messages
"PreValueDomain", # included in ValueDomain
"IntervalDomain", # included in IntDomain
"IntervalSetDomain", # included in IntDomain
"DefExcDomain", # included in IntDomain
"EnumsDomain", # included in IntDomain
"CongruenceDomain", # included in IntDomain
"IntDomTuple", # included in IntDomain
"WitnessGhostVar", # included in WitnessGhost

"ConfigVersion",
Expand Down
Loading

0 comments on commit ed56056

Please sign in to comment.