Douglas Creager's profile

Douglas Creager created the ticket at 7:41 PM
This is related to ticket #4 — since what we actually implemented before was “timeout”, we should now go ahead and implement the real “interrupt” operator.

Current “interrupt” operator is actua... was committed by Douglas Creager at 7:39 PM

- State changed from new to resolved
by Douglas Creager at 7:39 PM

(from [58e5a3a4444fde5983b86b446359223f2ca9d598]) Current “interrupt” operator is actually “timeout”

The operator that's currently called “interrupt” is actua...
Douglas Creager created the ticket at 7:33 PM

The operator that's currently called “interrupt” (▵ ) is actually the timeout operator (▹).

The differences between the two are subtle. In P▹Q, it's an inter...

3 Failures refinement was created in hst

Douglas Creager created the ticket at 12:18 AM
We need to add support for failures refinement. This will first require adding failures information to the underlying LTSs. It might be desirable to only inc...

1.0-α2 was created by Douglas Creager in hst at 12:16 AM

0 of 6 tickets remain in this milestone

2 CSPM to CSP₀ compiler was updated in hst

- Assigned user set to Douglas Creager
by Douglas Creager at 12:14 AM
Douglas Creager created the ticket at 12:06 AM
A major new subsystem that we need is a compiler from the existing higher-level CSPM language down to the CSP₀ “assembly” language. None of the design decisio...

Scratch was edited by Douglas Creager in hst at 12:13 AM (+1 more edit)