Douglas Creager's profile

2 CSPM to CSP₀ compiler was updated in hst

Douglas Creager commented at 5:32 AM

(from [449a427b153538a6bd72d9128d1f3fb9471d19ff]) Initial support for CSP₀ scripts

This patch introduces support for CSP₀ scripts. It has functions for creating...
Douglas Creager commented at 5:32 AM

(from [449a427b153538a6bd72d9128d1f3fb9471d19ff]) Initial support for CSP₀ scripts

This patch introduces support for CSP₀ scripts. It has functions for creating...

Adding process expressions to CSPM pa... was committed by Douglas Creager at 12:07 AM

Definitions no longer need to be in a... was committed by Douglas Creager at 12:07 AM

Allow trailing newlines at end of CSP... was committed by Douglas Creager at 12:07 AM

Parentheses in expressions This patc... was committed by Douglas Creager at 12:07 AM

Adding additional (non-QuickCheck) te... was committed by Douglas Creager at 12:07 AM

2 CSPM to CSP₀ compiler was updated in hst

Douglas Creager commented at 10:04 PM

(from [aa9d7b026e4d5b6c7d06ca08a849c33b0c680888]) Distinct process names for each application of a function

Before, a process created by a function application ...
Douglas Creager commented at 10:04 PM

(from [d67f471b5af179c9f0d865c425c0542dbe3fa9cd]) Adding predefined SKIP and STOP processes

This patch introduces CSPM keywords for the predefined SKIP and STOP...
Douglas Creager commented at 10:04 PM

(from [6257983d18e9ad718d8dbc9d7e528bda55098fcd]) Evaluate process expressions

This patch introduces initial support for evaluating process expressions into the...