Skip to content

A simple "while"-like programming language that includes memory allocation support.

License

Notifications You must be signed in to change notification settings

formalsec/whilloc

Repository files navigation

Whilloc Build Coverage Status

A simple "while"-like programming language that includes memory allocation support.

Built from source

  • Install opam.
  • Bootstrap the OCaml compiler:
opam init
opam switch create 4.14.0 4.14.0
  • Then, install the library dependencies:
git clone https://github.com/wasp-platform/whilloc.git
cd whilloc
opam install . --deps-only
  • Build and install:
dune build @install
dune install

About

A simple "while"-like programming language that includes memory allocation support.

Resources

License

Stars

Watchers

Forks