Change the repository type filter
All
Repositories list
7 repositories
arancini-exploration
Publicqemu
Public- Proofs for the paper "Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures"
lasagne-proofs
PublicArchitecture mapping proofs written in Agda for the paper "Lasagne: A Static Binary Translator for Weak Memory Model Architectures"
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.