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 »

segmentation fault in csp0 was created by Marc
Wednesday Nov 18

#24 / new
ticket
! syntax for prefix operator was created by Douglas Creager
Sunday Apr 12

#23 / 1.0-α5 / new
ticket
1.0-α4 was updated by Douglas Creager
Thursday Apr 02

No open tickets, 6 total
milestone
Sequence comprehensions was updated by Douglas Creager 10:02 AM
#13 / 1.0-α5 / new
ticket
Need to implement “interrupt” operator was updated by Douglas Creager 10:01 AM
#5 / 1.0-α5 / open
ticket
1.0-α5 was created by Douglas Creager 10:01 AM
3 tickets open, 3 total
milestone
~~Comments in CSP₀ scripts~~ was updated by Douglas Creager
Wednesday Apr 01

#1 / 1.0-α2 / ✓resolved
ticket
~~Comments in CSP₀ scripts~~ was updated by Douglas Creager 10:35 PM
#1 / 1.0-α2 / ✓resolved
ticket
Include package ID when calling packa... was committed by Douglas Creager 10:35 PM
Commit [8688d0c33a4e61d217d90d71d8e3a9de201b7c05]
changeset
Build documentation when creating Mac... was committed by Douglas Creager 10:35 PM
Commit [3efb9c4981c146f854db061874aa4864244d775d]
changeset
Releasing 1.0-α4 http://github.com/hs... was committed by Douglas Creager 10:35 PM
Commit [fbcd8c4b5312ecd1ddaf1ad9f45a27c92781fe32]
changeset
Merge branch 'master' into rel * mas... was committed by Douglas Creager 10:35 PM
Commit [3d6d5352426e906b620ce4c9ce8c784e7cbb68fd]
changeset
~~Complex channels~~ was updated by Douglas Creager
Sunday Mar 29

~~#22~~ / 1.0-α4 / ✓resolved
ticket
~~Complex channels~~ was updated by Douglas Creager 05:18 PM
~~#22~~ / 1.0-α4 / ✓resolved
ticket
Complex channels This patch introduc... was committed by Douglas Creager 05:18 PM
Commit [43b5d5b17fb6bcfc3d983d3fee99b099c0d088cd]
changeset
Complex channels This patch introduc... was committed by Douglas Creager 05:18 PM
Commit [43b5d5b17fb6bcfc3d983d3fee99b099c0d088cd]
changeset
Complex channels was updated by Douglas Creager
Thursday Mar 05

#22 / 1.0-α4 / open
ticket
Complex channels was created by Douglas Creager
Wednesday Mar 04

#22 / 1.0-α4 / new
ticket
~~datatype statements~~ was updated by Douglas Creager 12:04 AM
~~#21~~ / 1.0-α4 / ✓resolved
ticket
~~datatype statements~~ was updated by Douglas Creager 12:04 AM
~~#21~~ / 1.0-α4 / ✓resolved
ticket
datatype statements was updated by Douglas Creager 12:04 AM
#21 / 1.0-α4 / open
ticket
Complex datatypes This patch introdu... was committed by Douglas Creager 12:04 AM
Commit [efa9cd5893cf6fded4995ce7354c323c11e41672]
changeset
Complex datatypes This patch introdu... was committed by Douglas Creager 12:04 AM
Commit [efa9cd5893cf6fded4995ce7354c323c11e41672]
changeset
Simple datatypes This patch introduc... was committed by Douglas Creager 12:04 AM
Commit [89f4f7bd2000767025f65ac4aa62769d871a7e8f]
changeset
datatype statements was updated by Douglas Creager
Tuesday Mar 03

#21 / 1.0-α4 / open
ticket
~~Dotted values~~ was updated by Douglas Creager
Monday Mar 02

~~#15~~ / 1.0-α4 / ✓resolved
ticket
~~Dotted values~~ was updated by Douglas Creager 07:34 PM
~~#15~~ / 1.0-α4 / ✓resolved
ticket
Dotted values was updated by Douglas Creager 07:34 PM
#15 / 1.0-α4 / open
ticket
Dotted values was updated by Douglas Creager 07:34 PM
#15 / 1.0-α4 / open
ticket
Dotted values was updated by Douglas Creager 07:34 PM
#15 / 1.0-α4 / open
ticket
Dotted values was updated by Douglas Creager 07:34 PM
#15 / 1.0-α4 / open
ticket
Dotted values in patterns Dotted val... was committed by Douglas Creager 07:34 PM
Commit [0dcc09f518d1117c73122ed5b0466a3d4fc159bb]
changeset
Dotted values in patterns Dotted val... was committed by Douglas Creager 07:34 PM
Commit [0dcc09f518d1117c73122ed5b0466a3d4fc159bb]
changeset
Dotted values in “nametype” statement... was committed by Douglas Creager 07:34 PM
Commit [624f65caa7bc15a6281e6df7ece2d90bca9ed279]
changeset
Dotted values in “nametype” statement... was committed by Douglas Creager 07:34 PM
Commit [624f65caa7bc15a6281e6df7ece2d90bca9ed279]
changeset
Dotted values This patch introduces ... was committed by Douglas Creager 07:34 PM
Commit [a086a735566dd10bebe7f0d85ccb209242c06317]
changeset
Dotted values This patch introduces ... was committed by Douglas Creager 07:34 PM
Commit [a086a735566dd10bebe7f0d85ccb209242c06317]
changeset
datatype statements was created by Douglas Creager 06:26 PM
#21 / new
ticket
~~nametype definitions~~ was updated by Douglas Creager 06:23 PM
~~#17~~ / 1.0-α4 / ✓resolved
ticket
Dotted values was updated by Douglas Creager 06:22 PM
#15 / 1.0-α4 / open
ticket
Dotted values was updated by Douglas Creager 06:21 PM
#15 / open
ticket
Dotted values was updated by Douglas Creager 06:04 PM
#15 / new
ticket
Type definitions was updated by Douglas Creager 05:21 PM
#17 / 1.0-α4 / open
ticket
~~Test failures when using Bison 2.3~~ was updated by Douglas Creager 04:16 PM
~~#20~~ / 1.0-α4 / ✓resolved
ticket
Fixed column numbers when using Bison... was committed by Douglas Creager 04:16 PM
Commit [cfbf8e98479f1270f396db888adb9a01c8bc60dc]
changeset
Test failures when using Bison 2.3 was updated by Douglas Creager 03:58 PM
#20 / 1.0-α4 / open
ticket
Test failures when using Bison 2.3 was updated by Douglas Creager 02:55 PM
#20 / new
ticket
Test failures when using Bison 2.3 was updated by Douglas Creager 02:40 PM
#20 / new
ticket
Test failures when using Bison 2.3 was created by Douglas Creager 02:12 PM
#20 / new
ticket
~~Multiple Channels~~ was updated by Douglas Creager
Saturday Feb 28

~~#19~~ / ✓resolved
ticket

« 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