diff options
Diffstat (limited to '')
-rw-r--r-- | .gitignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -29,7 +29,7 @@ setup.log _opam/ # Rust working directory -rust-tests/target/ +rust-scripts/target/ # F* .depend |
index : aeneas | ||
aeneas rust verifier with a hacky Isabelle backend |
summaryrefslogtreecommitdiff |
-rw-r--r-- | .gitignore | 2 |
@@ -29,7 +29,7 @@ setup.log _opam/ # Rust working directory -rust-tests/target/ +rust-scripts/target/ # F* .depend |