Select Git revision
2_0_1
2_0_2
2_0_2_FIXED
2_0_3
2_0_4
2_0_5
2_1_0_ECLIPSE
2_1_0_RC1
2_1_0_RC2
2_1_0_RC_4
2_1_1
2_1_FINAL
2_2_0
2_2_3
2_3_0
2_3_1
2_3_2
2_3_3
2_3_4
2_3_5
2_3_6
BRESIL
DAC
DAC_meanLearnedDegree
ECLIPSE_3_6
EFFICIENCY_FIX
ENCAPSULATE_STATISTICS_FIELDS
JAN_FIX
KTH
PROOF_LOGGING
REDUCED_CORE_PACKAGES
SAT107FIX
THREE_ZERO
VERIPB
VERIPB2
assertion-level
cdcl-strategies
cherry-pick-5d0a981f
fix-detect-cards
fix-sat-155
irrelevant-experimental
irrelevant-rs
main
master
sat19
set-sast-config-1
set-sast-config-2
set-secret-detection-config-1
veripb2
weakening-investigations