history.html

---
layout: default
title: HST — Release history
---

<h1>Release history</h1>


<h2>1.0-α4 (April 4th, 2009)</h2>

<p>
  CSPM compiler:
</p>

<ul>
  <li>comments</li>
  <li>nametype statement</li>
  <li>datatype statement</li>
  <li>dotted values</li>
  <li>data-carrying channels</li>
</ul>

<p>
  CSP₀ support for:
</p>

<ul>
  <li>
    Operators:
    <ul>
      <li>replicated internal choice (⊓)</li>
    </ul>
  </li>
</ul>


<h2>1.0-α3 (November 21st, 2008)</h2>

<p>
  Introduced CSPM compiler.
</p>

<p>
  Many language features are implemented.  The
  following <em>aren't</em>:

  <ul>
    <li>sequence comprehensions</li>
    <li>set comprehensions</li>
    <li>dotted channels</li>
    <li>special definitions</li>
    <li>comments</li>
    <li>type definitions</li>
    <li>include files</li>
  </ul>
</p>

<p>
  Also, many process operators are not yet supported, since the
  underlying CSP₀ library also doesn't support them.
</p>


<h2>1.0-α2 (July 6th, 2008)</h2>

<p>
  CSP₀ support for:
</p>

<ul>
  <li>
    Failures refinement
  </li>
  <li>
    Operators:
    <ul>
      <li>replicated external choice (□)</li>
      <li>timeout (▹, was incorrectly labeled interrupt previously)</li>
    </ul>
  </li>
</ul>


<h2>1.0-α1 (February 24th, 2008)</h2>

<p>
  CSP₀ support for:
</p>

<ul>
  <li>
    Traces refinement
  </li>
  <li>
    Operators:
    <ul>
      <li>prefix (→)</li>
      <li>external choice (□)</li>
      <li>internal choice (⊓)</li>
      <li>interrupt (▵)</li>
      <li>sequential composition (;)</li>
      <li>interleaving (|||)</li>
      <li>alphabetized parallel ([αP‖αQ])</li>
      <li>interface parallel (〚α〛)</li>
      <li>hiding (\)</li>
      <li>renaming (〚μ〛)</li>
    </ul>
  </li>
</ul>