dcreager / hst fork watch download tarball
public
Description: An open-source refinement checker for the CSP process algebra
Homepage: http://dcreager.lighthouseapp.com/projects/9982-hst/overview
Clone URL: git://github.com/dcreager/hst.git 
Merge branch 'master' into rel

* master:
  Adding failures refinement option to csp0 script
  Fixed superset proof for integer sets
  Failures refinement
  Refactoring refinement code to support multiple semantic models
  Using new superset algorithm in traces refinement
  Replacing custom proxy_iterator with Boost's transform_iterator
  Better equality and superset comparisons for intsets
  Replicated external choice
  CSP₀ can now contain internal underscores
  Failures normalization
  Interleave now synchronizes on ✓
  Adding acceptance sets for LTSs
  Current “interrupt” operator is actually “timeout”
  Adding comments to CSP₀ scripts
  Adding counterexamples to the traces refinement check
dcreager (author)
Sun Jul 06 10:35:48 -0700 2008
commit  205d6b4d286d2739e36f8ce7870c9c3896c0d861
tree    d2cee4bafc42e461f14def89a650438c49d0c467
parent  2eec147cd10c6bf1904b667391dca69bfee96c00 parent  8317134761619c5c0b768c2c2d0493936913e5db

Comments

    No one has commented yet.