Activity (RSS)

The following (autogenerated) csp0-spec gives a
segmentation fault with 'csp0 lts ..'

In a prefix process, you can use a ! instead of a . to specify a particular event for a complex channel. For instance, in

channel a: {0..5}
P = a!1 -> P
Q = a....

(from [8688d0c33a4e61d217d90d71d8e3a9de201b7c05]) Include package ID when calling packagemaker utility

It would seem that the Mac OS packagemaker command-line u...

(from [8688d0c33a4e61d217d90d71d8e3a9de201b7c05]) Include package ID when calling packagemaker utility

It would seem that the Mac OS packagemaker command-line u...

(from [43b5d5b17fb6bcfc3d983d3fee99b099c0d088cd]) Complex channels

This patch introduces support for complex channels — those which carry data values. The “chan...

(from [43b5d5b17fb6bcfc3d983d3fee99b099c0d088cd]) Complex channels

This patch introduces support for complex channels — those which carry data values. The “chan...

Currently you can only define “simple” channels — i.e, those that don't take any data:

channel a, b
P = (a -> P) ||| (b -> P)

We also need to support channel...

(from [efa9cd5893cf6fded4995ce7354c323c11e41672]) Complex datatypes

This patch introduces support for “complex” datatype statements — i.e., those with data valu...

(from [efa9cd5893cf6fded4995ce7354c323c11e41672]) Complex datatypes

This patch introduces support for “complex” datatype statements — i.e., those with data valu...

(from [89f4f7bd2000767025f65ac4aa62769d871a7e8f]) Simple datatypes

This patch introduces support for “simple” datatype statements — i.e., those whose constructo...

(from [0dcc09f518d1117c73122ed5b0466a3d4fc159bb]) Dotted values in patterns

Dotted values can occur in a pattern, such as in the parameters to a named function:

(from [0dcc09f518d1117c73122ed5b0466a3d4fc159bb]) Dotted values in patterns

Dotted values can occur in a pattern, such as in the parameters to a named function:

(from [624f65caa7bc15a6281e6df7ece2d90bca9ed279]) Dotted values in “nametype” statements

Dotted values in a type expression create product types, just like tupl...

(from [624f65caa7bc15a6281e6df7ece2d90bca9ed279]) Dotted values in “nametype” statements

Dotted values in a type expression create product types, just like tupl...

(from [a086a735566dd10bebe7f0d85ccb209242c06317]) Dotted values

This patch introduces basic support for dotted values. A dotted value is similar to a tuple:

1.2...

We need to add support for datatype statements to the CSPM library. Examples from the FDR manual:

datatype T = A.{0..3} | B.Set({0,1}) | C
-- A.0, B.{0}, B.{0,...

We've got nametype statements implemented, so I'm going to retroactively focus this ticket on that one feature, and close the ticket.

I'll open a new ticket for...

(from [cfbf8e98479f1270f396db888adb9a01c8bc60dc]) Fixed column numbers when using Bison 2.3

Bison 2.3 numbers the columns in an input file from 0, whereas 2.4 n...

Here is a thread on the Bison mailing list describing the change:

http://www.mail-archive.com/bison-patches@gnu.org/msg01142.html

More information. The position class is defined by /usr/share/bison/location.cc. In 2.3, the default constructor uses a hard-coded 0 for the initial value of th...

On my Ubuntu Intrepid system, I get five test failures when building the csp0 library:

         41 - csp:compile:00-repl-intchoice0 (Failed)
        118 - csp:...

(from [f9591022a48f40452d33739778ac658f1330e1ee]) Multiple channels

This patch allows you to define multiple channels in a single channel statement:

channel a, ...