Skip to content
GitLab
Explore
Sign in
verification
CPAchecker
Repository
Branches
Overview
Active
Stale
All
ci6-after-trunk-merge-in-smg
07d31f72
·
Update CI after merge from trunk
·
Oct 04, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ci5c
c6b0132a
·
Update tests in smg_External_Allocation_Test
·
Oct 03, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smg-master-merge-trunk
0aa9f01f
·
Remove jdk-11 from .gitlab-ci.yml file
·
Sep 30, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
color_smg_regions
372b7069
·
SMG: do not try to remove Null when pruning
·
Sep 19, 2024
!5
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-2
bc005035
·
Unzip CI results, fix update script
·
Sep 19, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smg-master
default
protected
bc005035
·
Unzip CI results, fix update script
·
Sep 19, 2024
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
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
petrov-8take2-fix-areNotEqual
3de92db0
·
Format 2 lines in SMGState...
·
Aug 21, 2024
!8
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
trunk
protected
dbf54af4
·
Prepare version number for next release cycle
·
Jul 05, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smg-refactor-hve-filter
7e466b08
·
Remove SMGEdgeHasValueFilter
·
Jun 28, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
add-startup-cpu-timers
d10f563b
·
Measure CPU time for startup too
·
Jun 24, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
smg-bam
6bf750a3
·
SMG BAM: do not use resume for non-deterministic functions
·
May 14, 2024
!1
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
16-fix-token-list-in-attributes
e2c7833f
·
Parsing C aligned attribute: check token#charImage, not its class
·
Apr 12, 2024
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
petrov-8-do-not-replace-zero-value
3622936a
·
SMGState#identifyEqualValues: refactor, remove PT-edges
·
Mar 28, 2024
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
cfamutator
badbe58c
·
Add witness validation to benchmark
·
Oct 05, 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
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
Prev
1
2
Next