Issues
- 0
- 0
import-p2.sh should make clean after rsyncing
#11 opened by bblum - 0
yield() loop unblocking detection needs to check for kernel scheduler runnability if loop cares about yield return value
#10 opened by bblum - 0
make quicksand detect compile errors by forking a separate program before any actual landslides, don't use message passing and get stuck like a big dummy
#9 opened by bblum - 0
stack trace or read memory should check for cross page accesses and not blow up bochs if so
#8 opened by bblum - 0
- 0
have quicksand print something better than "you survived" when maximal ss verified
#6 opened by bblum - 3
implement dpor sleep sets
#4 opened by bblum - 0
soundness problem with xbegin PPs
#5 opened by bblum - 0
formalize quicksand's ability to ignore all the thread library functions as a cmdline option, like "don't test thrlib"
#3 opened by bblum - 0
- 0