MemoryModel

Installation

1. Install opam.
2. Bootstrap the OCaml compiler:

opam init
opam switch create memory 4.14.0
eval $(opam env)

3. Install the library dependencies:

opam update
opam install . --deps-only --with-test

4. Build the application and run the available test suit:

dune build
dune runtest
dune install