Branches · SoSy-Lab / Software / CPAchecker · GitLab

Active branches

auto-update-dependencies protected

4efef157 · Auto-update dependencies · Dec 14, 2025

!457
refactor_symbolicIdentifiers_ids_smg2 protected

9e648112 · Hand over unique id generator that is used to generate the IDs for... · Dec 12, 2025

!456
main default protected

fcca696d · Merge branch 'Add-roundtrip-parsing-tests-for-SV-LIB-Issue-#1516' into 'main' · Dec 12, 2025
Add-roundtrip-parsing-tests-for-SV-LIB-Issue-#1516 protected

d68eff02 · Fix minor format error · Dec 12, 2025

!452
1555-inline-assume-function-calls protected

fd65f3f3 · remove now unused assume AST nodes · Dec 12, 2025

Show more active branches

Stale branches

cpachecker-until-2008-11-30 protected

02a7b8e0 · Dummy methods added. Callers please take care! · Nov 30, 2008
abstractelementwithlocation-cleanup protected

1d1e242d · Extended MergeOperator interface · Dec 06, 2008
holzer protected

e545a811 · add special properties so that Subclipse recognizes our branches & tags · May 14, 2010
qdpt-hacking protected

66e9ad57 · add special properties so that Subclipse recognizes our branches & tags · May 14, 2010
wendler protected

16f6f710 · Merge trunk changes to my branch. · Sep 23, 2010

Show more stale branches