CPi-IDE

Continuous Pi Calculus Integrated Development Environment

For installation instructions and a guide on using the tool please see the wiki pages here

Name		Name	Last commit message	Last commit date
Latest commit History 40 Commits
CPi		CPi
lang		lang
models		models
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
cpi-ide.glade		cpi-ide.glade
cpi-ide.hs		cpi-ide.hs
cpiwb.hs		cpiwb.hs
install_deps.sh		install_deps.sh
makedocs		makedocs

Provide feedback