Merge requests · verification · GitLab

Draft: SMGOptionalObject: allow colored optional

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

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

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

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

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

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

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

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

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

cpachecker!26 · created Jan 10, 2025 by Васильев Антон Александрович
- Merged
- Approved
updated Jan 10, 2025
Shallowstack

cpachecker!25 · created Dec 13, 2024 by Есин Никита Игоревич
- Merged
- 1
- Approved
updated Apr 04, 2025
Fix Level of notes for Klever

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

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

cpachecker!22 · created Nov 08, 2024 by Петров Олег Максимович
ci
- 2
updated Nov 19, 2024
Allow changing test set files when updating CI results

cpachecker!21 · created Nov 08, 2024 by Петров Олег Максимович
ci
- Merged
- Approved
updated Nov 11, 2024
SMGCPA: Fix precision of addresses for witness export

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

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

cpachecker!18 · created Nov 05, 2024 by Петров Олег Максимович
C attributes bug
- Merged
- 2
- Approved
updated Nov 07, 2024
CI regression tests: count improvements correctly

cpachecker!17 · created Oct 23, 2024 by Петров Олег Максимович
- Merged
- Approved
updated Oct 28, 2024
Draft: Add a new transfer operator for thread-modular case

cpachecker!16 · created Oct 23, 2024 by Андрианов Павел Сергеевич
CPALockator
updated Oct 23, 2024

Prev
1
2
Next