Douglas Creager's profile - hst

Douglas Creager

1.0-α2 was updated by Douglas Creager
Sunday Jul 06

No open tickets, 6 total / hst
milestone
1.0-α3 was updated by Douglas Creager 01:57 PM
No open tickets, 1 total / hst
milestone
Need to implement “interrupt” operator was updated by Douglas Creager 01:56 PM
#5 / hst / 1.0-α3 / open
ticket
Merge branch 'master' into rel * mas... was committed by Douglas Creager 01:48 PM
Commit [205d6b4d286d2739e36f8ce7870c9c3896c0d861]
changeset
~~Comments in CSP₀ scripts~~ was updated by Douglas Creager 01:48 PM
#1 / hst / 1.0-α2 / ✓resolved
ticket
Adding comments to CSP₀ scripts This... was committed by Douglas Creager 01:48 PM
Commit [7c29484dc2c66b9afc90f23782049eacf5e1c6ec]
changeset
~~Failures refinement~~ was updated by Douglas Creager 01:31 PM
#3 / hst / 1.0-α2 / ✓resolved
ticket
Adding failures refinement option to ... was committed by Douglas Creager 01:31 PM
Commit [8317134761619c5c0b768c2c2d0493936913e5db]
changeset
~~is_superset_with_proof sometimes gives incorrect proof~~ was updated by Douglas Creager
Monday Jun 23

#9 / hst / 1.0-α2 / ✓resolved
ticket
Fixed superset proof for integer sets... was committed by Douglas Creager 09:12 PM
Commit [d9c7dc294b48e2f3a5009e26a27a96b33f562db8]
changeset

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

Douglas Creager's Projects

7 hst / hst