gbdrt / zsy

The ZSy compiler

ZSy: A Synchronous Language with Timers

This distribution includes the Zélus compiler extended to compile ZSy programs, runtime libraries, and example source code. The OCaml runtime (ocamlrun) is required to transform ZSy programs into imperative code. The OCaml compiler is required to compile imperative code into executables.

Dependencies

Dependency	Version	Reason
OCaml	Required == 4.04.0	Run the Zélus compiler and compile the examples
XQuartz	Optional >= 2.7.9	Required on MacOS to run the examples using OCaml Graphics

Installing the compiler

Run the configure script (optionally setting an installation prefix):

./configure --prefix=/usr/local

Zélus can then be installed by running:

sudo make install

There is an option -symb <main_node> to compile ZSy programs. An example of a ZSy program is given in example.

Example

An example of a ZSy program simulating a simple two-node architecture can be found in example/qpa.zls. To build and run the example run:

make example
./example/qpa.byte