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

Thursday, May 01 2008
8 Need replicated version of several operators was created in hst
  • Douglas Creager
    Douglas Creager created the ticket at 10:18 AM

    CSPM includes replicated versions of several operators. For instance, instead of

    P □ Q □ R □ S

    you can do

    □ {P,Q,R,S}

    It would be nice for CSP₀ to have th...
Monday, April 28 2008
CSP₀ can now contain internal undersc... was committed by Douglas Creager at 6:11 PM
7 CSP₀ identifiers should be able to contain underscores was updated in hst
  • Douglas Creager
    • State changed from new to resolved
    by Douglas Creager at 6:11 PM

    (from [61b37e197ef47a91949befb3fc773ee79ce9a31d]) CSP₀ can now contain internal underscores

    The CSP₀ parser was only accepting underscores in an identifier na...
  • Douglas Creager
    Douglas Creager created the ticket at 6:06 PM

    The CSP₀ parser currently only accepts underscores as the first character of an identifier. The spec says they can appear anywhere.

Failures normalization With this pat... was committed by Douglas Creager at 4:02 PM
3 Failures refinement was updated in hst
  • Douglas Creager
    Douglas Creager commented at 4:02 PM

    (from [35472266389a85d5aef424ec8e4b804d7dce659f]) Failures normalization

    With this patch, the normalization code now works in the failures

    model as well as t...
4 “Interrupt” operator is actually “timeout” was updated in hst
1 Comments in CSP₀ scripts was updated in hst
6 Interleave doesn't handle ✓ events correctly was updated in hst
  • Douglas Creager
    • Milestone set to 1.0-α2
    by Douglas Creager at 1:47 PM
  • Douglas Creager
    • State changed from new to resolved
    by Douglas Creager at 1:46 PM

    (from [c07efc77da81821cbca65c1df3aba7959bba2e1e]) Interleave now synchronizes on ✓

    The ✓ event must always be part of the synchronization alphabet for

    any pa...