Skip to content
GitLab
Explore
Sign in
verification
CPAchecker
Repository
Branches
Overview
Active
Stale
All
Active branches
ci-hotfix2
9f8a9e5b
·
Add license to previous results and in script
·
Sep 18, 2024
!11
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
draft-petrov-refactor-smg-evaluators-take2
eb91892d
·
Allow assumptions with unknown value and floats
·
Sep 18, 2024
!9
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smg-master
default
protected
69d8c0b8
·
Update CI results for heap and lists
·
Sep 18, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci5
eafa9f48
·
CI: fail when BenchExec fails
·
Sep 17, 2024
!10
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
test-abstraction-length-3
4b6b3067
·
Allow Null with other offsets
·
Sep 16, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Stale branches
klever_main
aefb5e3c
·
SMGCPA: Fix pointer comparison of external allocated with NULL pointers
·
Apr 26, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cpalockator-master
protected
33adebe2
·
Implementation of extends in CI jobs
·
May 18, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
2-require-to-fix-exporting-of-assumptions-to-witness-due-to-bit-precise-smg
ae39f5fc
·
SMGCPA: Fix precision of addresses for witness export
·
Aug 28, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
cfamutator
badbe58c
·
Add witness validation to benchmark
·
Oct 05, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smg-refactor-hve-filter-petrov
d1034f00
·
TODO refactor filtering for HV-edges with (non)-zero values
·
Mar 18, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar