v0.4

Pre-release

Pre-release

fredher released this 05 Jul 17:34

· 242 commits to master since this release

Added command line simulator tck-simulate
Added liveness checking tool tck-liveness
Improved syntax check in tck-syntax
Various bug fix

Assets 4