Dat3M 2.0.7 is out!
·
2911 commits
to master
since this release
This is the version participating in SVCOMP 2021. The main new features are listed below.
- Support for bit-vectors
- Improved (machine readable) witness generation
- Checking different properties: currently reachability and no-data-race