robojeb / OpenCSP Public

Notifications You must be signed in to change notification settings
Fork 1
Star 2

A python based compiler for turning CSP specified programs into executable python programs.

2 stars 1 fork Branches Tags Activity

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
src		src
LICENSE		LICENSE
README.md		README.md

Repository files navigation

OpenCSP

A python based compiler for turning CSP specified programs into executable python programs.

=======

Needed Features

Add support for the Probe operator and its semantics.
Allow for boolean composition of predicates in guards.
Add support for creation of generic processes.
Add support for forall operator.
Add support for compile time warnings and errors.