index
:
aeneas
isabelle
aeneas rust verifier with a hacky Isabelle backend
summary
refs
log
tree
commit
diff
log msg
author
committer
range
diff options
context:
1
2
3
4
5
6
7
8
9
10
15
20
25
30
35
40
space:
include
ignore
mode:
unified
ssdiff
stat only
Diffstat
-rw-r--r--
.gitignore
3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 6c7fafb9..592ae076 100644
--- a/
.gitignore
+++ b/
.gitignore
@@ -28,6 +28,9 @@ setup.log
# Local OPAM switch
_opam/
+# Rust working directory
+rust-tests/target/
+
# Misc
*~
nohup.out