https://github.com/formalsec/collections-c

Gillian's Collections-C Symbolic Test Suite in Wasm
https://github.com/formalsec/collections-c

Last synced: 24 days ago
JSON representation

Gillian's Collections-C Symbolic Test Suite in Wasm

• Host: GitHub
• URL: https://github.com/formalsec/collections-c
• Owner: formalsec
• License: other
• Created: 2021-12-08T11:19:02.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2024-02-06T20:33:59.000Z (12 months ago)
• Last Synced: 2024-11-07T04:07:30.048Z (2 months ago)
• Language: C
• Homepage:
• Size: 1.47 MB
• Stars: 0
• Watchers: 4
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Collections-C

Gillian's Collections-C Symbolic Test Suite in Wasm

## Built from source

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`:

```sh

make -j4

```