This project is archived. Its data is read-only. This project is read-only.

Tags

Tags give the ability to mark specific points in history as being important

svcomp18
protected

52606133 · Merge branch 'updated-cbmc' into 'master' · Nov 28, 2017
```
This tag marks the version of the verifier archives that are used for SV-COMP 2018.
```
Verified