Douglas Creager's profile - hst

Douglas Creager

is_superset_with_proof sometimes give... was created by Douglas Creager
Monday Jun 23

#9 / hst / 1.0-α2 / new
ticket
Scratch was edited by Douglas Creager 08:49 PM
Project: hst
page
Failures refinement This patch adds ... was committed by Douglas Creager
Saturday May 31

Commit [4754d168e43124cb467c6c82b6333905bd208a7c]
changeset
~~Failures refinement~~ was updated by Douglas Creager 06:48 PM
#3 / hst / 1.0-α2 / ✓resolved
ticket
1.0-α3 was created by Douglas Creager 04:23 PM
No open tickets, 1 total / hst
milestone
Using new superset algorithm in trace... was committed by Douglas Creager 01:29 PM
Commit [de0feac4e64d84398444568d99918fa8d9f6cdde]
changeset
Failures refinement was updated by Douglas Creager 01:29 PM
#3 / hst / 1.0-α2 / open
ticket
Refactoring refinement code to suppor... was committed by Douglas Creager 01:29 PM
Commit [fb172a05812c6f2ed5ffa44f088c5ab0f822a41a]
changeset
Replacing custom proxy_iterator with ... was committed by Douglas Creager 01:25 PM
Commit [0c111239b97698f412c09a3cbbd78ffcbba43257]
changeset
Replacing custom proxy_iterator with ... was committed by Douglas Creager 12:12 AM
Commit [88b0ad4a7832f877c5d05a2081b339d84f3b7442]
changeset

« Previous 1 2 … 14 15 16 17 18 19 20 21 22 23 Next »

Douglas Creager's Projects

7 hst / hst