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, June 23 2008
9 is_superset_with_proof sometimes gives incorrect proof was created in hst
  • Douglas Creager
    Douglas Creager created the ticket at 8:52 PM

    The is_superset_with_proof function doesn't always return the correct proof when the superset test fails. For instance,

    {2} ?>= {1}

    should return 1 as the p...
Scratch was edited by Douglas Creager in hst at 8:49 PM
Saturday, May 31 2008
Failures refinement This patch adds ... was committed by Douglas Creager at 6:48 PM
3 Failures refinement was updated in hst
  • Douglas Creager
    • State changed from open to resolved
    by Douglas Creager at 6:48 PM

    (from [4754d168e43124cb467c6c82b6333905bd208a7c]) Failures refinement

    This patch adds support for checking failures refinement. The Refiner

    class checks tha...
  • Douglas Creager
    Douglas Creager commented at 1:29 PM

    (from [fb172a05812c6f2ed5ffa44f088c5ab0f822a41a]) Refactoring refinement code to support multiple semantic models

    As another step towards implementing failure...
1.0-α3 was created by Douglas Creager in hst at 4:23 PM
 
0 of 1 tickets remain in this milestone
Refactoring refinement code to suppor... was committed by Douglas Creager at 1:29 PM
Using new superset algorithm in trace... was committed by Douglas Creager at 1:29 PM
Replacing custom proxy_iterator with ... was committed by Douglas Creager at 1:25 PM
Replacing custom proxy_iterator with ... was committed by Douglas Creager at 12:12 AM