binary-translation / risotto-proofs

Proofs for the paper "Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures"

https://binary-translation.github.io/risotto/

Geek Repo

Github PK Tool