Skip to content

Commit

Permalink
Add an LLBC backend
Browse files Browse the repository at this point in the history
  • Loading branch information
zhassan-aws committed Sep 18, 2024
1 parent d2051b7 commit e7dbbff
Show file tree
Hide file tree
Showing 17 changed files with 1,960 additions and 162 deletions.
3 changes: 3 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
Loading

0 comments on commit e7dbbff

Please sign in to comment.