Merge requests · verification · GitLab

SMG: Forbid abstraction of colored objects

cpachecker!32 · created Apr 22, 2025 by Петров Олег Максимович
- Merged
- Approved
updated Apr 24, 2025
Shallowstack

cpachecker!25 · created Dec 13, 2024 by Есин Никита Игоревич
- Merged
- 1
- Approved
updated Apr 04, 2025
SMG regions allocation with color and compatibility

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

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

cpachecker!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

cpachecker!26 · created Jan 10, 2025 by Васильев Антон Александрович
- Merged
- Approved
updated Jan 10, 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
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
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
Fix __aligned__ clause parsing

cpachecker!18 · created Nov 05, 2024 by Петров Олег Максимович
C attributes bug
- Merged
- 2
- Approved
updated Nov 07, 2024
Fix aligned/packed C attributes and enum/enumerator underlying types

cpachecker!15 · created Oct 21, 2024 by Петров Олег Максимович
C attributes
- Merged
- 12
- Approved
updated Nov 01, 2024
CI regression tests: count improvements correctly

cpachecker!17 · created Oct 23, 2024 by Петров Олег Максимович
- Merged
- Approved
updated Oct 28, 2024
Merge trunk with smg-master

cpachecker!14 · created Oct 18, 2024 by Васильев Антон Александрович
- Merged
- 1
updated Oct 19, 2024
Update CI after merge from trunk

cpachecker!13 · created Oct 04, 2024 by Петров Олег Максимович smg-master-merge-trunk
- Merged
- 3
- Approved
updated Oct 18, 2024
Unzip CI results, fix update script

cpachecker!11 · created Sep 18, 2024 by Петров Олег Максимович
- Merged
- Approved
updated Sep 23, 2024
Fix SMG abstraction

cpachecker!3 · created Jun 27, 2024 by Марченко Вадим Витальевич
SMG SMG abstraction
- Merged
- 10
- Approved
updated Sep 19, 2024
Use BenchExec in CI

cpachecker!7 · created Jul 24, 2024 by Петров Олег Максимович
- Merged
- 5
- Approved
updated Aug 09, 2024
CI: fix ignored correct verdict

cpachecker!6 · created Jul 17, 2024 by Петров Олег Максимович
- Merged
- Approved
updated Jul 17, 2024

Prev
1
2
Next