Gillian's Collections-C Symbolic Test Suite in Wasm
Sources come pre-compiled in the directory _build.
To build from source one must:
- Install the dependencies:
llvm,clang,lld,wabt - Then, build using
make:
make -j4-
Notifications
You must be signed in to change notification settings - Fork 1
Gillian's Collections-C Symbolic Test Suite in Wasm
License
formalsec/Collections-C
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Gillian's Collections-C Symbolic Test Suite in Wasm
Resources
License
Code of conduct
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published