README

February 29, 2020
in

GoPi

The GoPi compiler transforms high level processes featuring linear and secret channels in executable Go programs.

Prerequisites

  • OCaml
  • OCamlbuild
  • OCamlfind
  • Menhir
  • Z3 (Z3Prover/z3)
  • Go


Compilation from source

We assume GNU make, which may be named gmake on your system.

To compile the files, run

make 




Getting started


To see the syntax of processes and the list of options available, run gopi without arguments




gopi




To compile and run a process in the directory examples, execute




See the man page for more details




man ./manpage


Distribution


github.com/marcogiunti/gopi