Douglas Creager's profile - hst

Douglas Creager

Interleave now synchronizes on ✓ The... was committed by Douglas Creager
Monday Apr 28

Commit [c07efc77da81821cbca65c1df3aba7959bba2e1e]
changeset
Interleave doesn't handle ✓ events co... was created by Douglas Creager 01:34 PM
#6 / hst / new
ticket
Failures refinement was updated by Douglas Creager 12:33 PM
#3 / hst / 1.0-α2 / open
ticket
Adding acceptance sets for LTSs This... was committed by Douglas Creager 12:33 PM
Commit [b692420844370837a19641f3b29f71bad483b21a]
changeset
Need to implement “interrupt” operator was updated by Douglas Creager
Sunday Apr 27

#5 / hst / 1.0-α2 / open
ticket
Need to implement “interrupt” operator was updated by Douglas Creager 07:43 PM
#5 / hst / open
ticket
CSPM to CSP₀ compiler was updated by Douglas Creager 07:43 PM
#2 / hst / open
ticket
Failures refinement was updated by Douglas Creager 07:42 PM
#3 / hst / 1.0-α2 / open
ticket
CSPM to CSP₀ compiler was updated by Douglas Creager 07:42 PM
#2 / hst / 1.0-α2 / open
ticket
CSPM to CSP₀ compiler was updated by Douglas Creager 07:42 PM
#2 / hst / 1.0-α2 / new
ticket

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

Douglas Creager's Projects

7 hst / hst