dcreager

Message_button
Douglas Creager
Boston
0
2
cppcsp2
Clone of Kent C++CSP2 project
Created Thu Jul 03 12:17:04 -0700 2008
legend
hst
An open-source refinement checker for the CSP process algebra
Created Tue Apr 15 16:41:06 -0700 2008
legend

Public Activity  feed

dcreager committed to hst 19 days ago

5c1158fbe62dbad7efdc23bba89a11d0df98088e

Releasing 1.0-α2

dcreager committed to hst 19 days ago

0165c97001c67a65098d7e721affd15de640db7f

Documenting 1.0-α2 release

dcreager committed to hst 19 days ago

205d6b4d286d2739e36f8ce7870c9c3896c0d861

Merge branch 'master' into rel

dcreager committed to hst 19 days ago

04ffccc1b5572d80415bac200d0544576e8078b9

Adding counterexamples to the traces refinement check

dcreager committed to hst 19 days ago

8317134761619c5c0b768c2c2d0493936913e5db

Adding failures refinement option to csp0 script

dcreager created cppcsp2 21 days ago
New repository is at dcreager/cppcsp2
dcreager committed to hst about 1 month ago

d9c7dc294b48e2f3a5009e26a27a96b33f562db8

Fixed superset proof for integer sets

dcreager started watching rubinius about 1 month ago
rubinius is at evanphx/rubinius
dcreager committed to hst about 1 month ago

4754d168e43124cb467c6c82b6333905bd208a7c

Failures refinement

dcreager committed to hst about 1 month ago

fb172a05812c6f2ed5ffa44f088c5ab0f822a41a

Refactoring refinement code to support multiple semantic models