Branches · verification / CPAchecker · GitLab

Snippets Groups Projects

Active branches

ci6-update-script-and-wording

d9fdcdcf · Update CI script and readme wording · 10 hours ago
zip
tar.gz
tar.bz2
tar
Compare
smg-object1-colored-optional

233d7c94 · SMG: add tests for lists with samely colored elements · 10 hours ago
!35
zip
tar.gz
tar.bz2
tar
Compare
smg-add-abstract-object-into-the-hierarchy

96531033 · Add SMGAbstractObject to SMGObject hierarchy proper · 2 days ago
!34
zip
tar.gz
tar.bz2
tar

build-dependencies
build
javascript-unit-tests
configuration-plot
unit-tests
configuration-checks
javascript-e2e-tests
build-tar
generate-child-pipeline
Compare
fix49-use-known-symvalues-for-unknown-addresses

6a69b6ee · SMG: use pointer value even if address is unknown · 5 days ago
!33
zip
tar.gz
tar.bz2
tar

build-dependencies
build
javascript-unit-tests
configuration-plot
unit-tests
javascript-e2e-tests
configuration-checks
build-tar
generate-child-pipeline
Compare
smg-master default protected

2270d5b7 · SMG: Forbid abstraction of colored objects · 6 days ago
zip
tar.gz
tar.bz2
tar

build-dependencies
build:jdk-11
build:jdk-17
unit-tests:jdk-11
unit-tests:jdk-17
configuration-checks:jdk-11
configuration-checks:jdk-17
configuration-plot
generate-integration-tests-ci

Show more active branches

Stale branches

klever_main

aefb5e3c · SMGCPA: Fix pointer comparison of external allocated with NULL pointers · 2 years ago
zip
tar.gz
tar.bz2
tar
Compare
cpalockator-master protected

33adebe2 · Implementation of extends in CI jobs · 1 year ago
zip
tar.gz
tar.bz2
tar
Compare
cfamutator

badbe58c · Add witness validation to benchmark · 1 year ago
zip
tar.gz
tar.bz2
tar
Compare
smg-refactor-hve-filter-petrov

d1034f00 · TODO refactor filtering for HV-edges with (non)-zero values · 1 year ago
zip
tar.gz
tar.bz2
tar
Compare
smg-bam

6bf750a3 · SMG BAM: do not use resume for non-deterministic functions · 11 months ago
!1
zip
tar.gz
tar.bz2
tar
Compare

Show more stale branches