-
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.