Skip to content

KPJoshi/bayonet

 
 

Repository files navigation

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

About

Probabilistic Computer Network Analysis

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • D 98.3%
  • Other 1.7%