v0.5

Pre-release

Pre-release

chrisbanks released this 24 Apr 13:31

· 15 commits to master since this release

First beta-stage release. Only mildly fit for human consumption!
Finalised CPi interpreter, compiler, and analysis tools.
Efficient signal-based model checker.

Assets 2