Tickets

Show me Search help

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 »

Displaying all 24 Ticket for tickets sorted by updated.

Title State

Project Milestone Assigned to Created Updated

#24

segmentation fault in csp0 new

in hst part of none assigned to no one created almost 17 years ago updated almost 17 years ago
#23

! syntax for prefix operator new

in hst part of 1.0-α5 assigned to Douglas Creager created over 17 years ago updated over 17 years ago
#13

Sequence comprehensions new

in hst part of 1.0-α5 assigned to Douglas Creager created over 17 years ago updated over 17 years ago
#5

Need to implement “interrupt” operator open

in hst part of 1.0-α5 assigned to Douglas Creager created over 18 years ago updated over 17 years ago
#1

Comments in CSP₀ scripts resolved

in hst part of 1.0-α2 assigned to Douglas Creager created over 18 years ago updated over 17 years ago
#22

Complex channels resolved

in hst part of 1.0-α4 assigned to Douglas Creager created over 17 years ago updated over 17 years ago
#21

datatype statements resolved

in hst part of 1.0-α4 assigned to Douglas Creager created over 17 years ago updated over 17 years ago
#15

Dotted values resolved

in hst part of 1.0-α4 assigned to Douglas Creager created over 17 years ago updated over 17 years ago
#17

nametype definitions resolved

in hst part of 1.0-α4 assigned to Douglas Creager created over 17 years ago updated over 17 years ago
#20

Test failures when using Bison 2.3 resolved

in hst part of 1.0-α4 assigned to Douglas Creager created over 17 years ago updated over 17 years ago
#19

Multiple Channels resolved

in hst part of none assigned to Douglas Creager created over 17 years ago updated over 17 years ago
#8

Need replicated version of several operators open

in hst part of none assigned to Douglas Creager created over 18 years ago updated over 17 years ago
#16

CSPM comments resolved

in hst part of 1.0-α4 assigned to Douglas Creager created over 17 years ago updated over 17 years ago
#18

Include files new

in hst part of none assigned to Douglas Creager created over 17 years ago updated over 17 years ago
#14

Set comprehensions new

in hst part of none assigned to Douglas Creager created over 17 years ago updated over 17 years ago
#2

CSPM to CSP₀ compiler resolved

in hst part of 1.0-α3 assigned to Douglas Creager created over 18 years ago updated almost 18 years ago
#12

Need better representation for sets resolved

in hst part of none assigned to Douglas Creager created about 18 years ago updated about 18 years ago
#11

Staticly scoped environments resolved

in hst part of none assigned to Douglas Creager created about 18 years ago updated about 18 years ago
#10

Create Cabal package for CSPM library resolved

in hst part of none assigned to Douglas Creager created about 18 years ago updated about 18 years ago
#3

Failures refinement resolved

in hst part of 1.0-α2 assigned to Douglas Creager created over 18 years ago updated over 18 years ago
#9

is_superset_with_proof sometimes gives incorrect proof resolved

in hst part of 1.0-α2 assigned to Douglas Creager created over 18 years ago updated over 18 years ago
#7

CSP₀ identifiers should be able to contain underscores resolved

in hst part of 1.0-α2 assigned to Douglas Creager created over 18 years ago updated over 18 years ago
#4

“Interrupt” operator is actually “timeout” resolved

in hst part of 1.0-α2 assigned to Douglas Creager created over 18 years ago updated over 18 years ago
#6

Interleave doesn't handle ✓ events correctly resolved

in hst part of 1.0-α2 assigned to Douglas Creager created over 18 years ago updated over 18 years ago

Tickets

Keyword searching