Overview - hst

Type	To find
responsible:me	tickets assigned to you
tagged:"@high"	tickets tagged @high
milestone:next	tickets in the upcoming milestone
state:invalid	tickets with the state invalid
created:"last week"	tickets created last week
sort:number, importance, updated	tickets sorted by #, importance or updated
Combine keywords for powerful searching.
Use advanced searching »

~~Interleave doesn't handle ✓ events correctly~~ was updated by Douglas Creager
Monday Apr 28

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

#5 / 1.0-α2 / open
ticket
Need to implement “interrupt” operator was updated by Douglas Creager 07:43 PM
#5 / open
ticket
CSPM to CSP₀ compiler was updated by Douglas Creager 07:43 PM
#2 / open
ticket
Failures refinement was updated by Douglas Creager 07:42 PM
#3 / 1.0-α2 / open
ticket
CSPM to CSP₀ compiler was updated by Douglas Creager 07:42 PM
#2 / 1.0-α2 / open
ticket
CSPM to CSP₀ compiler was updated by Douglas Creager 07:42 PM
#2 / 1.0-α2 / new
ticket
Need to implement “interrupt” operator was created by Douglas Creager 07:41 PM
#5 / new
ticket
Current “interrupt” operator is actua... was committed by Douglas Creager 07:39 PM
Commit [58e5a3a4444fde5983b86b446359223f2ca9d598]
changeset
~~“Interrupt” operator is actually “timeout”~~ was updated by Douglas Creager 07:39 PM
#4 / ✓resolved
ticket
“Interrupt” operator is actually “tim... was created by Douglas Creager 07:33 PM
#4 / new
ticket
Failures refinement was created by Douglas Creager
Saturday Apr 26

#3 / new
ticket
1.0-α2 was created by Douglas Creager 12:16 AM
No open tickets, 6 total
milestone
CSPM to CSP₀ compiler was updated by Douglas Creager 12:14 AM
#2 / new
ticket
Scratch was edited by Douglas Creager 12:13 AM
Project hst
page
Scratch was edited by Douglas Creager 12:12 AM
Project hst
page
CSPM to CSP₀ compiler was created by Douglas Creager 12:06 AM
#2 / new
ticket
~~Comments in CSP₀ scripts~~ was updated by Douglas Creager
Friday Apr 25

#1 / ✓resolved
ticket
Comments in CSP₀ scripts was updated by Douglas Creager 10:30 PM
#1 / new
ticket
Scratch was edited by Douglas Creager 10:29 PM
Project hst
page
Scratch was edited by Douglas Creager 10:29 PM
Project hst
page
Scratch was created by Douglas Creager 10:29 PM
Project: hst
page
Comments in CSP₀ scripts was created by Douglas Creager 10:25 PM
#1 / new
ticket
Adding counterexamples to the traces ... was committed by Douglas Creager
Tuesday Apr 15

Commit [04ffccc1b5572d80415bac200d0544576e8078b9]
changeset
Home was edited by Douglas Creager 07:39 PM
Project hst
page
Home was created by Douglas Creager 07:39 PM
Project: hst
page

« Previous 1 2 3 4 5 Next »

Create new ticket

Create your profile

Help contribute to this project by taking a few moments to create your personal profile. Create your profile »

An open-source refinement checker for the CSP process algebra.

1.0-α5—0% complete

Completed 0 of 3 tickets

Hst hst

Create your profile

1.0-α5—0% complete

Pages

Tags

Hst hst

Keyword searching

Create your profile

1.0-α5—0% complete

Pages

Tags