phongngo / dualtso Goto Github PK
View Code? Open in Web Editor NEWThis project forked from memorax/memorax
Prototype tool for verification and automatic fence insertion for parallel programs under relaxed memory models. Currently supports the TSO, PSO and VIPS memory models.
License: GNU General Public License v3.0