Skip to content

WeMeLT v1.0

Latest
Compare
Choose a tag to compare
@l-kent l-kent released this 13 Apr 07:12

First full version of WeMeLT, with logic based on "Value-Dependent Information-Flow Security on
Weak Memory Models" with some additional features.