Merge requests · verification / CPAchecker · GitLab

Shallowstack

!25 · created Dec 13, 2024 by Есин Никита Игоревич
- Merged
- 1
- Approved
updated Jun 04, 2025
Add state prioritization by visit count for the program location

!30 · created Apr 04, 2025 by Петров Олег Максимович
- Merged
- 5
- Approved
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
SMG: abstract lists of elements with the same color

!44 · created May 29, 2025 by Петров Олег Максимович
- Merged
- Approved
updated Jun 02, 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
SMG: CI: add tests for handleUnknownFunctions and handleUnknownDereferenceAsSafe

!41 · created May 22, 2025 by Петров Олег Максимович
- Merged
- Approved
updated May 27, 2025
Encapsulate SMGNullObject#INSTANCE

!42 · created May 23, 2025 by Петров Олег Максимович
SMG refactor
- Merged
- Approved
updated May 23, 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
SMGOptionalObject: allow colored optional

!35 · created Apr 30, 2025 by Петров Олег Максимович
SMG refactor
- Merged
- 1
- Approved
updated May 14, 2025
Update CI script and readme wording

!36 · created May 13, 2025 by Петров Олег Максимович
ci
- Merged
- Approved
updated May 13, 2025
Add SMGAbstractObject to SMGObject hierarchy proper

!34 · created Apr 28, 2025 by Петров Олег Максимович
- Merged
- Approved
updated May 13, 2025
SMG: Forbid abstraction of colored objects

!32 · created Apr 22, 2025 by Петров Олег Максимович
- Merged
- Approved
updated Apr 24, 2025
SMG regions allocation with color and compatibility

!5 · created Jul 03, 2024 by Васильев Антон Александрович
- Merged
- 6
- Approved
updated Mar 21, 2025
Fix SMGEdgeHasValueFilter#overlapsWith

!27 · created Feb 17, 2025 by Петров Олег Максимович
SMG bug
- Merged
- Approved
updated Mar 07, 2025
SMG: Forbid HVE with 0 bitsize

!28 · created Mar 04, 2025 by Петров Олег Максимович
SMG refactor
- Merged
- 2
- Approved
updated Mar 07, 2025
Add option to disable uploading additional information to coverage file

!26 · created Jan 10, 2025 by Васильев Антон Александрович
- Merged
- Approved
updated Jan 10, 2025
Fix Level of notes for Klever

!24 · created Nov 27, 2024 by Васильев Антон Александрович
- Merged
- Approved
updated Nov 27, 2024
Hotfix after 8

!23 · created Nov 13, 2024 by Петров Олег Максимович
- Merged
- Approved
updated Nov 18, 2024

Prev
1
2
Next