ANNOUNCE: v1.0-α4 released

[Douglas Creager]

I'm pleased to announce the release of HST version 1.0-α4.

This release fleshes out support for the CSPM language. Newly supported
language features include:

• comments
• nametype statement
• datatype statement
• dotted values
• data-carrying channels

This release also adds support for the replicated internal choice (⊓)
operator to both the CSPM compiler and the underlying CSP₀ refinement
checker.

The source tarball for the release can be downloaded from Github:

http://cloud.github.com/downloads/hst/hst/hst-1.0-a4.tar.gz

There is also a binary installer available for Mac OS:

http://cloud.github.com/downloads/hst/hst/HST-1.0-a4.dmg

cheers
–doug