https://github.com/formalsec/whilloc

A simple "while"-like programming language that includes memory allocation support.
https://github.com/formalsec/whilloc

Last synced: about 2 months ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/formalsec/whilloc
• Owner: formalsec
• License: agpl-3.0
• Created: 2023-04-19T14:51:38.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2024-04-25T09:35:56.000Z (8 months ago)
• Last Synced: 2024-04-25T17:46:31.939Z (8 months ago)
• Language: OCaml
• Homepage:
• Size: 13.8 MB
• Stars: 7
• Watchers: 3
• Forks: 0
• Open Issues: 4
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Whilloc [![Build](https://github.com/formalsec/whilloc/actions/workflows/build.yml/badge.svg)](https://github.com/formalsec/whilloc/actions/workflows/build.yml) [![Coverage Status](https://coveralls.io/repos/github/formalsec/whilloc/badge.svg?branch=HEAD)](https://coveralls.io/github/formalsec/whilloc?branch=HEAD)

A simple "while"-like programming language that includes memory

allocation support.

## Built from source

- Install [opam](https://opam.ocaml.org/doc/Install.html).

- Bootstrap the OCaml compiler:

```sh

opam init

opam switch create 4.14.0 4.14.0

```

- Then, install the library dependencies:

```sh

git clone https://github.com/wasp-platform/whilloc.git

cd whilloc

opam install . --deps-only

```

- Build and install:

```sh

dune build @install

dune install

```