Issues
- 1
C witness generator mistranslates SC
#21 opened by MattWindsor91 - 0
Add transactional regression tests
#19 opened by johnwickerson - 0
Add more regression tests
#18 opened by johnwickerson - 0
Make `cat2als` a separate executable
#7 opened by johnwickerson - 0
Call gen from directory
#9 opened by tyler-utah - 0
Reduce output from partition.py
#8 opened by johnwickerson - 2
Generating ARMv8 exclusives and acquire/release instructions using offset register
#15 opened by nchong - 2
- 3
Register reuse can cause litmus7 segfault
#12 opened by nchong - 0
- 0
gen for fences as nodes
#11 opened by nchong - 3
layer fences
#10 opened by tyler-utah - 0
- 0
- 0
- 0
- 0
- 0