Skip to content

4.2b1
Compare
Choose a tag to compare
@nrfulton nrfulton released this 14 Jun 15:27
· 10540 commits to master since this release
4.2b1
This tag was signed with the committer’s verified signature.
nrfulton Nathan Fulton
GPG key ID: 61EF11E7F74A24A4
Learn about vigilant mode.
f7522e7 
4.2b1 release (04/11/2016)

Major changes:
 * Major improvements to prover core
 * Pencil tool for simplifying arithmetic in place
 * Simple system simulation feature
 * Various bug fixes
 * Ships with tutorial examples from CPSWEEEK 2016
Assets 3
Loading