Repository navigation

cpi-ide

Public

forked from irndru/cpi-ide

About

Cpi-IDE: An Integrated Development Environment for the Continuous pi-Calculus

GPL-3.0 license

Custom properties

1 star

8 watching

Report repository

Name		Name	Last commit message	Last commit date
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

Repository files navigation

CPi-IDE

Continuous Pi Calculus Integrated Development Environment

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

About

Cpi-IDE: An Integrated Development Environment for the Continuous pi-Calculus

GPL-3.0 license

Custom properties

1 star

8 watching

Report repository

Releases

Packages

Contributors

Languages