This branch is intended to host the badges we use in the README. We need a branch for this because the badges are generated and pushed during the build and pushing to development requires a review.
forked from hernanponcedeleon/Dat3M
-
Notifications
You must be signed in to change notification settings - Fork 0
A verification tool for many memory models
License
tonghaining/Dat3M
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A verification tool for many memory models
Resources
License
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- Java 88.7%
- ANTLR 10.7%
- Other 0.6%