Merge requests · verification / CPAchecker · GitLab

Draft: SMGCPA: add possibility to zeroing external allocation memory 0 of 3 checklist items completed

!48 · created Jun 03, 2025 by Васильев Антон Александрович
updated Jun 04, 2025
SMG: add 'wreath' tests for colored circular doubly-linked lists

!47 · created Jun 03, 2025 by Петров Олег Максимович
- Merged
- Approved
updated Jun 03, 2025
Merge Combinations onto Locations

!46 · created May 29, 2025 by Петров Олег Максимович locations
- Closed
updated Jun 04, 2025
Combinations

!45 · created May 29, 2025 by Петров Олег Максимович
- 3
updated Jun 04, 2025
SMG: abstract lists of elements with the same color

!44 · created May 29, 2025 by Петров Олег Максимович
- Merged
- Approved
updated Jun 02, 2025
Remove SMGEdgeHasValueFilterByObject

!43 · created May 23, 2025 by Петров Олег Максимович
SMG refactor
updated May 27, 2025
Encapsulate SMGNullObject#INSTANCE

!42 · created May 23, 2025 by Петров Олег Максимович
SMG refactor
- Merged
- Approved
updated May 23, 2025
SMG: CI: add tests for handleUnknownFunctions and handleUnknownDereferenceAsSafe

!41 · created May 22, 2025 by Петров Олег Максимович
- Merged
- Approved
updated May 27, 2025
SMG: add tests for singly linked lists with colored elements

!40 · created May 19, 2025 by Петров Олег Максимович
- Merged
- Approved
updated May 28, 2025
SMG: add 'festoon' tests for colored data in lists

!39 · created May 19, 2025 by Петров Олег Максимович
- Merged
- Approved
updated May 27, 2025
Refactor SMGRegion: use one constructor, add subclasses

!38 · created May 15, 2025 by Петров Олег Максимович
SMG refactor
- Merged
- 2
- Approved
updated May 23, 2025
Add and use common SMGObject#toString

!37 · created May 15, 2025 by Петров Олег Максимович
- Merged
- 5
- Approved
updated May 15, 2025
Update CI script and readme wording

!36 · created May 13, 2025 by Петров Олег Максимович
ci
- Merged
- Approved
updated May 13, 2025
SMGOptionalObject: allow colored optional

!35 · created Apr 30, 2025 by Петров Олег Максимович
SMG refactor
- Merged
- 1
- Approved
updated May 14, 2025
Add SMGAbstractObject to SMGObject hierarchy proper

!34 · created Apr 28, 2025 by Петров Олег Максимович
- Merged
- Approved
updated May 13, 2025
SMG: use pointer value even if address is unknown

!33 · created Apr 25, 2025 by Петров Олег Максимович
- Closed
- 2
updated May 19, 2025
SMG: Forbid abstraction of colored objects

!32 · created Apr 22, 2025 by Петров Олег Максимович
- Merged
- Approved
updated Apr 24, 2025
Draft: Combinations for state prioritization in waitlist

!31 · created Apr 04, 2025 by Петров Олег Максимович
updated Apr 07, 2025
Add state prioritization by visit count for the program location

!30 · created Apr 04, 2025 by Петров Олег Максимович
- Merged
- 5
- Approved
updated Jun 04, 2025
Refactor SMG HV-edges filtering

!29 · created Mar 10, 2025 by Петров Олег Максимович
SMG refactor
- 1
updated May 06, 2025

Prev
1
2
3
Next