Skip to content
eth-sriPublic

About

Probabilistic Computer Network Analysis

Resources

Stars

20 stars

Watchers

6 watching

Forks

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

Stars

20 stars

Watchers

6 watching

Forks

Releases

Packages

Contributors

Languages