Merge requests · verification / CPAchecker · GitLab

Update CI after merge from trunk

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

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

!11 · created Sep 18, 2024 by Петров Олег Максимович
- Merged
- Approved
- 0
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 Петров Олег Максимович
updated Sep 18, 2024
SMG: Fix object inequality checks and value merge/replacement

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

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

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

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

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

!3 · created Jun 27, 2024 by Марченко Вадим Витальевич
SMG SMG abstraction
- Merged
- Approved
- 10
updated Sep 19, 2024
Update CI for SMG for ISP RAS fork (add integration tests)

!2 · created Jun 21, 2024 by Петров Олег Максимович
- Merged
- Approved
- 12
updated Jul 01, 2024
Draft: BAM SMG (mostly for discussion) 9 of 14 checklist items completed

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