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