index
:
aeneas
isabelle
aeneas rust verifier with a hacky Isabelle backend
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
src
/
betree
/
README.md
blob: a71fe8840a3a3f43fee13ba81c862d38271a0f36 (
plain
)
1
This project contains tests which require the Polonius borrow checker.
