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

Sunday, July 06 2008
1.0-α2 was updated by Douglas Creager in hst at 1:58 PM
 
0 of 6 tickets remain in this milestone
1.0-α3 was updated by Douglas Creager in hst at 1:57 PM
 
0 of 1 tickets remain in this milestone
5 Need to implement “interrupt” operator was updated in hst
  • Douglas Creager
    • Tag set to operators
    • Milestone changed from 1.0-α2 to 1.0-α3
    by Douglas Creager at 1:56 PM
Merge branch 'master' into rel * mas... was committed by Douglas Creager at 1:48 PM
Adding comments to CSP₀ scripts This... was committed by Douglas Creager at 1:48 PM
1 Comments in CSP₀ scripts was updated in hst
  • Douglas Creager
    • Tag set to csp0
    by Douglas Creager at 1:48 PM

    (from [7c29484dc2c66b9afc90f23782049eacf5e1c6ec]) Adding comments to CSP₀ scripts

    This patch adds support for comments in CSP₀ scripts. They use the

    same sy...
Adding failures refinement option to ... was committed by Douglas Creager at 1:31 PM
3 Failures refinement was updated in hst
  • Douglas Creager
    • Tag cleared.
    by Douglas Creager at 1:31 PM

    (from [8317134761619c5c0b768c2c2d0493936913e5db]) Adding failures refinement option to csp0 script

    A previous patch added support for failures refinement, but...
Monday, June 23 2008
Fixed superset proof for integer sets... was committed by Douglas Creager at 9:12 PM
9 is_superset_with_proof sometimes gives incorrect proof was updated in hst
  • Douglas Creager
    • State changed from new to resolved
    by Douglas Creager at 9:12 PM

    (from [d9c7dc294b48e2f3a5009e26a27a96b33f562db8]) Fixed superset proof for integer sets

    The is_superset_with_proof method would return incorrect proof in

    cer...