Merge requests · verification / CPAchecker · GitLab

Hotfix after 8

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

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

!21 · created Nov 08, 2024 by Петров Олег Максимович
ci
- Merged
- Approved
updated Nov 11, 2024
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 __aligned__ clause parsing

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

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

!16 · created Oct 23, 2024 by Андрианов Павел Сергеевич
CPALockator
updated Oct 23, 2024
Fix aligned/packed C attributes and enum/enumerator underlying types

!15 · created Oct 21, 2024 by Петров Олег Максимович
C attributes
- Merged
- 12
- Approved
updated Nov 01, 2024
Merge trunk with smg-master

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

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

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

!11 · created Sep 18, 2024 by Петров Олег Максимович
- Merged
- Approved
updated Sep 23, 2024
Draft: Update CI, #28

!10 · created Sep 16, 2024 by Петров Олег Максимович
updated Sep 17, 2024
Draft: Refactor SMG evaluators (on top of fix-inequality branch)

!9 · created Sep 04, 2024 by Петров Олег Максимович
- 1
updated Nov 18, 2024
SMG: Fix object inequality checks and value merge/replacement

!8 · created Aug 12, 2024 by Петров Олег Максимович
- Closed
- 3
- Approved
updated Nov 05, 2024
Use BenchExec in CI

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

!6 · created Jul 17, 2024 by Петров Олег Максимович
- Merged
- Approved
updated Jul 17, 2024
Draft: SMG regions allocation with color and compatibility

!5 · created Jul 03, 2024 by Васильев Антон Александрович
- 5
updated Nov 07, 2024
fixes for CI

!4 · created Jul 03, 2024 by Васильев Антон Александрович
- Merged
- Approved
updated Jul 03, 2024