binary-translation/risotto-proofs

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

GitHub repository with 5 stars and 0 forks.

Language: Agda

Topics: binary-translation, proofs

Open provider repository