Merge requests · verification / CPAchecker · GitLab

Remove SMGEdgeHasValueFilterByObject

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

!35 · created Apr 30, 2025 by Петров Олег Максимович
SMG refactor
- Merged
- 1
- Approved
updated May 14, 2025
Draft: Refactorings bunched up with removal of SMGHasValueEdgeFilter

!29 · created Mar 10, 2025 by Петров Олег Максимович
SMG refactor
- 1
updated Aug 20, 2025
SMG: Forbid HVE with 0 bitsize

!28 · created Mar 04, 2025 by Петров Олег Максимович
SMG refactor
- Merged
- 2
- Approved
updated Mar 07, 2025
Fix SMGEdgeHasValueFilter#overlapsWith

!27 · created Feb 17, 2025 by Петров Олег Максимович
SMG bug
- Merged
- Approved
updated Mar 07, 2025
SMGCPA: Fix precision of addresses for witness export

!20 · created Nov 05, 2024 by Петров Олег Максимович
SMG bug
- Merged
- Approved
updated Nov 07, 2024
SMG: fix object inequality checks and value merge/replacement

!19 · created Nov 05, 2024 by Петров Олег Максимович
SMG bug
- Merged
- 1
- Approved
updated Nov 13, 2024
Fix SMG abstraction

!3 · created Jun 27, 2024 by Марченко Вадим Витальевич
SMG SMG abstraction
- Merged
- 10
- Approved
updated Sep 19, 2024
Draft: BAM SMG (mostly for discussion) 9 of 14 checklist items completed

!1 · created Jan 29, 2024 by Петров Олег Максимович
SMG
- 2
updated May 14, 2024