-
To define charon as a git submodule:
git submodule update --init -
To build:
dune build -
To run with LLBC file
file.LLBC:dune exec bin/main.exe file.LLBC
-
Notifications
You must be signed in to change notification settings - Fork 0
Translate Rust 🦀 LLBC code (generated by https://github.com/AeneasVerif/charon) to Coq 🐓
formal-land/coq-of-LLBC
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Translate Rust 🦀 LLBC code (generated by https://github.com/AeneasVerif/charon) to Coq 🐓
Topics
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published