Add an LLBC backend

model-checking · Sep 17, 2024 · 19bb660 · 19bb660
1 parent d98ba4d
commit 19bb660
Show file tree

Hide file tree

Showing 17 changed files with 1,971 additions and 162 deletions.
diff --git a/.gitignore b/.gitignore
@@ -77,6 +77,9 @@ package-lock.json
 ## Rustdoc GUI tests
 tests/rustdoc-gui/src/**.lock
 
+## Charon/Aeneas LLBC files
+*.llbc
+
 # Before adding new lines, see the comment at the top.
 /.ninja_deps
 /.ninja_log