Skip to content
GitLab
Explore
Sign in
FP
Stacked Borrows Coq
Repository
stacked-borrows
_CoqProject
Find file
Blame
History
Permalink
simplified sim relation that does not track the entire physical state, just the call id stacks
· 8abdd6bc
Ralf Jung
authored
Jul 06, 2019
8abdd6bc