Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/formalsec/memorymodels
https://github.com/formalsec/memorymodels
Last synced: 2 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/formalsec/memorymodels
- Owner: formalsec
- Created: 2024-03-13T12:17:50.000Z (10 months ago)
- Default Branch: main
- Last Pushed: 2024-10-24T18:37:54.000Z (3 months ago)
- Last Synced: 2024-10-26T04:09:50.055Z (3 months ago)
- Language: OCaml
- Size: 206 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# MemoryModel
## Installation
1. Install [opam](https://opam.ocaml.org/doc/Install.html).
2. Bootstrap the OCaml compiler:
```sh
opam init
opam switch create memory 4.14.0
eval $(opam env)
```
3. Install the library dependencies:
```sh
opam update
opam install . --deps-only --with-test
```
4. Build the application and run the available test suit:
```sh
dune build
dune runtest
dune install
```