Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
svcomp21
7134bcf2
·
slowbeast: generate a trivial correctness witness
·
Dec 16, 2020
svcomp2020
0b4b6e25
·
Fix assumptions in termination
·
Nov 28, 2019
SV-COMP 2020 version
ifm2019
4674a262
·
fix build scripts
·
Jun 18, 2019
testcomp19
fd3f777b
·
fix generating testcases
·
Feb 03, 2019
svcomp19
77d4af47
·
bump the version to 6.0.3
·
Nov 28, 2018
SV-COMP 2019 version The version used for SV-COMP 2019
sttt
d668678f
·
witness: change from sha1 to sha256
·
Nov 02, 2018
spin-2018
a8aa8ad6
·
update modules
·
Feb 25, 2018
5.0.1
f99b7ecf
·
update dg
·
Oct 30, 2017
5.0.1-beta
f99b7ecf
·
update dg
·
Oct 30, 2017
tacas2018
96b8ea9a
·
update instrumentation
·
Oct 26, 2017
5.0.1-alpha
a65122d8
·
update instrumentation module
·
Oct 18, 2017
4.0.1
7f6477fa
·
prepare-klee: initialize uninitialized before slicing
·
Feb 14, 2017
4.0.0
952f56c0
·
use DG_PATH with new instrumentation
·
Nov 15, 2016
3.0.7-pre
b79e7aeb
·
do not print origin file into the witness
·
Nov 07, 2016
3.0.2
5338c15f
·
checkout dg to 0.0.2 version
·
Feb 21, 2016
symbiotic-3.0.2-pre
475988d6
·
symbiotic: print elapsed time
·
Dec 22, 2015
3.0.1
893e6dff
·
symbiotic: bump version to 3.0.1
·
Nov 06, 2015
3.0.0
2674ad28
·
symbiotic: add missing options to help
·
Oct 30, 2015