Add an LLBC backend

model-checking · Sep 18, 2024 · e7dbbff · e7dbbff
1 parent d2051b7
commit e7dbbff
Show file tree

Hide file tree

Showing 17 changed files with 1,960 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