π-translate is a program (and accompanying framework) to convert source code to its equivalent π-calculus representation.

Name
Last commit
Last update
cmake Loading commit data...
data Loading commit data...
doc/api Loading commit data...
pi-translate Loading commit data...
po Loading commit data...
src Loading commit data...
test Loading commit data...
thesis Loading commit data...
.gitignore Loading commit data...
AUTHORS.md Loading commit data...
CMakeLists.txt Loading commit data...
COPYING.md Loading commit data...
Doxyfile.in Loading commit data...
INSTALL.md Loading commit data...
NEWS.md Loading commit data...
README.md Loading commit data...
gdbinit Loading commit data...