Dat3M 4.0.1 is out!
hernanponcedeleon
released this
21 Apr 18:40
·
62 commits
to master
since this release
This release does not contain major new features. It is mostly code refactoring, bug fixing and improving usability of the tool.