Skip to content

Dat3M 4.4.1 is out!

Latest
Latest

Choose a tag to compare

View all tags
@hernanponcedeleon hernanponcedeleon released this 22 May 06:28
4.4.1
d8de5e8
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

Full Changelog: 4.4.0...4.4.1

Contributors

ThomasHaas
Assets 2
Loading