Skip to content

eth-sri/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