-
Include package ID when calling packa...
was committed by Douglas Creager
Wednesday Apr 01
-
Build documentation when creating Mac...
was committed by Douglas Creager
10:25 PM
-
Releasing 1.0-α4
http://github.com/hs...
was committed by Douglas Creager
10:05 PM
-
Merge branch 'master' into rel
* mas...
was committed by Douglas Creager
09:56 PM
-
Complex channels
This patch introduc...
was committed by Douglas Creager
Monday Mar 23
-
Complex channels
This patch introduc...
was committed by Douglas Creager
06:43 PM
-
Complex datatypes
This patch introdu...
was committed by Douglas Creager
Wednesday Mar 04
-
Complex datatypes
This patch introdu...
was committed by Douglas Creager
12:01 AM
-
Simple datatypes
This patch introduc...
was committed by Douglas Creager
Tuesday Mar 03
-
Dotted values in patterns
Dotted val...
was committed by Douglas Creager
Monday Mar 02
-
Dotted values in patterns
Dotted val...
was committed by Douglas Creager
07:33 PM
-
Dotted values in “nametype” statement...
was committed by Douglas Creager
06:45 PM
-
Dotted values in “nametype” statement...
was committed by Douglas Creager
06:45 PM
-
Dotted values
This patch introduces ...
was committed by Douglas Creager
06:19 PM
-
Dotted values
This patch introduces ...
was committed by Douglas Creager
06:19 PM
-
Fixed column numbers when using Bison...
was committed by Douglas Creager
04:14 PM
-
Multiple channels
This patch allows ...
was committed by Douglas Creager
Saturday Feb 28
-
Product types
In a type expression, ...
was committed by Douglas Creager
12:32 PM
-
Product types
In a type expression, ...
was committed by Douglas Creager
12:32 PM
-
temp
http://github.com/hst/hst/commit...
was committed by Douglas Creager
Friday Feb 13
-
“nametype” statements
The CSPM parse...
was committed by Douglas Creager
10:13 PM
-
Int and Bool built-in types
This pat...
was committed by Douglas Creager
10:13 PM
-
Replicated internal choice
This patc...
was committed by Douglas Creager
Tuesday Feb 10
-
Include error messages in expected CS...
was committed by Douglas Creager
07:23 PM
-
Using Markdown for documentation
Thi...
was committed by Douglas Creager
06:34 PM
-
Remove tabs from source files
http://...
was committed by Douglas Creager
Monday Feb 09
-
Removing “doc” target from “make all”...
was committed by Douglas Creager
Saturday Feb 07
-
Use shared_ptr from Boost instead of ...
was committed by Douglas Creager
12:22 AM
-
Removing “doc” target from “make all”...
was committed by Douglas Creager
12:08 AM
-
Use shared_ptr from Boost instead of ...
was committed by Douglas Creager
12:04 AM
-
Block comments
The CSPM compiler now...
was committed by Douglas Creager
Tuesday Jan 13
-
Single-line comments
The CSPM compil...
was committed by Douglas Creager
Monday Jan 12
-
Updating CSPM libraries to work with ...
was committed by Douglas Creager
11:45 PM
-
Merge branch 'master' into rel
* mas...
was committed by Douglas Creager
Thursday Nov 27
-
Mac OS X packaging script creates dis...
was committed by Douglas Creager
11:03 PM
-
Including “cspm” in Mac OS X installa...
was committed by Douglas Creager
10:24 PM
-
Adding scripts for creating Mac OS X ...
was committed by Douglas Creager
06:44 PM
-
Releasing 1.0-α3
http://github.com/hs...
was committed by Douglas Creager
Friday Nov 21
-
Merge branch 'master' into rel
* mas...
was committed by Douglas Creager
01:57 PM
-
“create-source-package” script now wo...
was committed by Douglas Creager
Thursday Nov 20
-
Updating README and INSTALL to mentio...
was committed by Douglas Creager
09:27 PM
-
“let”s now allow pattern definitions ...
was committed by Douglas Creager
08:51 PM
-
Functions defined in multiple branche...
was committed by Douglas Creager
Wednesday Nov 19
-
Lambda expressions now implemented us...
was committed by Douglas Creager
11:10 PM
-
Patterns on left-hand sides of top-le...
was committed by Douglas Creager
08:33 AM
-
Lambdas now implemented using pattern...
was committed by Douglas Creager
Monday Nov 17
-
Adding Show instance for patterns
Th...
was committed by Douglas Creager
10:52 PM
-
Initial pattern matching support
Thi...
was committed by Douglas Creager
Friday Nov 14
-
Implementing built-in functions as ke...
was committed by Douglas Creager
Monday Nov 10
-
Allow newlines before and after binar...
was committed by Douglas Creager
12:19 PM
-
Prefix CSPM expressions should create...
was committed by Douglas Creager
10:06 AM
-
CSP₀ identifiers can now contain peri...
was committed by Douglas Creager
09:23 AM
-
Adding process expressions to CSPM pa...
was committed by Douglas Creager
Sunday Nov 09
-
Definitions no longer need to be in a...
was committed by Douglas Creager
Saturday Nov 08
-
Allow trailing newlines at end of CSP...
was committed by Douglas Creager
11:24 PM
-
Parentheses in expressions
This patc...
was committed by Douglas Creager
11:24 PM
-
Adding additional (non-QuickCheck) te...
was committed by Douglas Creager
11:23 PM
-
Simple “channel” statement
This patc...
was committed by Douglas Creager
Thursday Nov 06
-
Top-level script no longer implemente...
was committed by Douglas Creager
09:59 PM
-
Basic CSPM parser and command-line ut...
was committed by Douglas Creager
09:33 PM
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.