Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

Douglas Creager

Douglas Creager

Account owner

Douglas Creager's latest activity

Monday, April 28 2008
Interleave now synchronizes on ✓ The... was committed by Douglas Creager at 1:46 PM
6 Interleave doesn't handle ✓ events correctly was created in hst
  • Douglas Creager
    Douglas Creager created the ticket at 1:34 PM

    The ✓ event must always be part of the synchronization alphabet for any parallel composition, including interleaving. The current interleaving implementation ...
Adding acceptance sets for LTSs This... was committed by Douglas Creager at 12:33 PM
3 Failures refinement was updated in hst
  • Douglas Creager
    Douglas Creager commented at 12:33 PM

    (from [b692420844370837a19641f3b29f71bad483b21a]) Adding acceptance sets for LTSs

    This patch adds support for acceptance sets in an LTS. Each stable

    node in...
Sunday, April 27 2008
5 Need to implement “interrupt” operator was updated in hst
2 CSPM to CSP₀ compiler was updated in hst
3 Failures refinement was updated in hst
  • Douglas Creager
    • Milestone set to 1.0-α2
    • State changed from new to open
    by Douglas Creager at 7:42 PM