0 Forks
2 Stars
2 Watchers

pir

Pi-calculus as Intermediate Representation

How to download and setup pir

Open terminal and run command
git clone https://github.com/bogo8liuk/pir.git
git clone is used to create a copy or clone of pir repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with pir https://github.com/bogo8liuk/pir/archive/master.zip

Or simply clone pir with SSH
[email protected]:bogo8liuk/pir.git

If you have some problems with pir

You may open issue on pir support forum (system) here: https://github.com/bogo8liuk/pir/issues