This tool has now merged with nidhugg/nidhugg and will no longer be developed here
GNU General Public License v3.0
0
stars
1
forks
source link
readme
Archived
This was a prototype implementation of Optimal Reads-From-centric SMC for
Sequential Consistency (OOSPLA'19), but has since been merged with
Nidhugg. Please see that repository for
any further development.