Overview - hst

Updating README and INSTALL to mentio... was committed by Douglas Creager
Friday Nov 21

Commit [dedd0a41c52d715a92ce2d61f940e6a9e199f20a]
changeset
“let”s now allow pattern definitions ... was committed by Douglas Creager 01:59 PM
Commit [712ada84eb96967ccda4008b9f7a089f158e4edc]
changeset
Functions defined in multiple branche... was committed by Douglas Creager
Wednesday Nov 19

Commit [dc52e1d16eebfbca200add57115bf33d95f9962d]
changeset
Lambda expressions now implemented us... was committed by Douglas Creager 11:48 PM
Commit [3f306f37f3a138f587eca1ef93dbee325c929a76]
changeset
Patterns on left-hand sides of top-le... was committed by Douglas Creager 11:48 PM
Commit [72a21eb5cb201615ffc64a7d5ef7dadf511544e0]
changeset
Lambdas now implemented using pattern... was committed by Douglas Creager 11:48 PM
Commit [aa4f0a0fbe13d5ddaee85075421c916546d869e3]
changeset
Adding Show instance for patterns Th... was committed by Douglas Creager 11:48 PM
Commit [aa51f35ee12ffb704183bdd0dfabe0f49a5e2037]
changeset
Initial pattern matching support Thi... was committed by Douglas Creager 11:48 PM
Commit [16bd7ca6cb94a2cb867977092d1fbdfedd81577f]
changeset
Implementing built-in functions as ke... was committed by Douglas Creager 11:48 PM
Commit [846067b5d5a95e857ca96abbe5d136d14a2ddd4e]
changeset
Allow newlines before and after binar... was committed by Douglas Creager 11:48 PM
Commit [f8e3caa3db95587d03fc54fc7d403ab1a0f79a84]
changeset
Prefix CSPM expressions should create... was committed by Douglas Creager 11:48 PM
Commit [f4b77aca530fc358c54402ff372d5ed8e8aece25]
changeset
CSP₀ identifiers can now contain peri... was committed by Douglas Creager 11:48 PM
Commit [d47497c50ce9a2b80f7bf7b8cf4ecd89eaf52ef3]
changeset
CSPM to CSP₀ compiler was updated by Douglas Creager
Friday Nov 14

#2 / open
ticket
CSPM to CSP₀ compiler was updated by Douglas Creager 05:32 AM
#2 / open
ticket
Adding process expressions to CSPM pa... was committed by Douglas Creager
Sunday Nov 09

Commit [a2d98032c9e2a1b0526b948876c81783156e9f71]
changeset
Definitions no longer need to be in a... was committed by Douglas Creager 12:07 AM
Commit [900dcad0972a827542f9bff774d31fb2bb1534cb]
changeset
Allow trailing newlines at end of CSP... was committed by Douglas Creager 12:07 AM
Commit [e862ad863583088b9bce5eec6e5a172272419e35]
changeset
Parentheses in expressions This patc... was committed by Douglas Creager 12:07 AM
Commit [08483818cdbfc8832f53bd0d14fd7186a8b004ab]
changeset
Adding additional (non-QuickCheck) te... was committed by Douglas Creager 12:07 AM
Commit [afc55eb4453ab4a9813491acbf6ef2a7276eaf42]
changeset
CSPM to CSP₀ compiler was updated by Douglas Creager
Thursday Nov 06

#2 / open
ticket
CSPM to CSP₀ compiler was updated by Douglas Creager 10:04 PM
#2 / open
ticket
CSPM to CSP₀ compiler was updated by Douglas Creager 10:04 PM
#2 / open
ticket
CSPM to CSP₀ compiler was updated by Douglas Creager 10:04 PM
#2 / open
ticket
Simple “channel” statement This patc... was committed by Douglas Creager 10:04 PM
Commit [545d048bee82af04b56391cecd19ac8746625a1c]
changeset
Top-level script no longer implemente... was committed by Douglas Creager 10:04 PM
Commit [af5c2c1ec7c7a6bbce67caaf911a25e5f8edf6da]
changeset
Basic CSPM parser and command-line ut... was committed by Douglas Creager 10:04 PM
Commit [8f7d2e0fd5068fcf74d12c94afbcfdb045f7f58c]
changeset
Helper methods for evaluating CSPM ex... was committed by Douglas Creager 10:04 PM
Commit [88bddf90f3f22143be928a9d0196cf1891102525]
changeset
Distinct process names for each appli... was committed by Douglas Creager 10:04 PM
Commit [aa9d7b026e4d5b6c7d06ca08a849c33b0c680888]
changeset
Initial support for CSP₀ scripts Thi... was committed by Douglas Creager 10:04 PM
Commit [449a427b153538a6bd72d9128d1f3fb9471d19ff]
changeset
Adding predefined SKIP and STOP proce... was committed by Douglas Creager 10:04 PM
Commit [d67f471b5af179c9f0d865c425c0542dbe3fa9cd]
changeset
Evaluate process expressions This pa... was committed by Douglas Creager 10:04 PM
Commit [6257983d18e9ad718d8dbc9d7e528bda55098fcd]
changeset
Binding and evaluation now take place... was committed by Douglas Creager 10:04 PM
Commit [7ed2249fe1b6063e163cc121b3289f37bfdf5969]
changeset
Initial support for CSP₀ scripts Thi... was committed by Douglas Creager 10:04 PM
Commit [449a427b153538a6bd72d9128d1f3fb9471d19ff]
changeset
Evaluate process expressions This pa... was committed by Douglas Creager
Tuesday Sep 30

Commit [06628c3b6114894c0d8cac5a3f5b327a0e922acd]
changeset
CSPM to CSP₀ compiler was updated by Douglas Creager 11:20 PM
#2 / open
ticket
Binding and evaluation now take place... was committed by Douglas Creager 11:20 PM
Commit [893bd7eea2410221f85d076815f92f677d8c72ae]
changeset
CSPM to CSP₀ compiler was updated by Douglas Creager 11:20 PM
#2 / open
ticket
Initial support for CSP₀ scripts Thi... was committed by Douglas Creager 11:20 PM
Commit [6ee10a95b2524c1f021968f4e51d028c206df988]
changeset
CSPM to CSP₀ compiler was updated by Douglas Creager 11:20 PM
#2 / open
ticket
Infinite sets This patch introduces ... was committed by Douglas Creager
Tuesday Sep 09

Commit [86b9163741d52e3212bc93f57b7660a06e6deacf]
changeset
~~Need better representation for sets~~ was updated by Douglas Creager 03:28 PM
~~#12~~ / ✓resolved
ticket
New implementation of sets This patc... was committed by Douglas Creager
Saturday Sep 06

Commit [667366c6ebf41bc7b5ba2d6923339de02bbc56c9]
changeset
Need better representation for sets was updated by Douglas Creager 11:58 PM
#12 / new
ticket
Evaluation rules for lambdas This pa... was committed by Douglas Creager
Tuesday Sep 02

Commit [5767f91d2daf37310ef12fbfd1c7f0617780cc46]
changeset
~~Staticly scoped environments~~ was updated by Douglas Creager 07:12 PM
~~#11~~ / ✓resolved
ticket
Let bindings This patch introduces e... was committed by Douglas Creager 07:11 PM
Commit [260a78539f5808c2553f028caf28fc47e57ddb0c]
changeset
Staticly scoped environments was updated by Douglas Creager 07:11 PM
#11 / new
ticket
Flattening the Expression type Befor... was committed by Douglas Creager 07:11 PM
Commit [37739ef6e867fa53cb039c707bf15d4e1affd1ba]
changeset
Staticly scoped environments was updated by Douglas Creager 07:11 PM
#11 / new
ticket
CSPM environments An environment is ... was committed by Douglas Creager 07:10 PM
Commit [2a3f31e387e7b41c1856ff79a47ad5bfebdea5cc]
changeset

« Previous 1 2 3 4 5 Next »

Create new ticket

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.

1.0-α5—0% complete

Completed 0 of 3 tickets

Pages

↓↑ dragHome
↓↑ dragScratch

Tags