bayonet icon indicating copy to clipboard operation
bayonet copied to clipboard

Probabilistic Computer Network Analysis

Bayonet

Experimental tool that compiles Bayonet code to PSI code.

Dependencies

DMD (https://dlang.org/download.html#dmd)

Build

  1. Run ./dependendcies.sh (this downloads all dependencies into a local folder).

  2. Run ./build.sh.

Usage

./bayonet inputfile.bayonet > outputfile.psi