Changesets

Type	To find
responsible:me	tickets assigned to you
tagged:"@high"	tickets tagged @high
milestone:next	tickets in the upcoming milestone
state:invalid	tickets with the state invalid
created:"last week"	tickets created last week
sort:number, importance, updated	tickets sorted by #, importance or updated
Combine keywords for powerful searching.
Use advanced searching »

List changesets

Helper methods for evaluating CSPM ex... was committed by Douglas Creager
Thursday Nov 06

Commit [88bddf90f3f22143be928a9d0196cf1891102525]
Distinct process names for each appli... was committed by Douglas Creager 09:30 PM
Commit [aa9d7b026e4d5b6c7d06ca08a849c33b0c680888]
Adding predefined SKIP and STOP proce... was committed by Douglas Creager 09:30 PM
Commit [d67f471b5af179c9f0d865c425c0542dbe3fa9cd]
Evaluate process expressions This pa... was committed by Douglas Creager 09:29 PM
Commit [6257983d18e9ad718d8dbc9d7e528bda55098fcd]
Binding and evaluation now take place... was committed by Douglas Creager 09:28 PM
Commit [7ed2249fe1b6063e163cc121b3289f37bfdf5969]
Initial support for CSP₀ scripts Thi... was committed by Douglas Creager 09:27 PM
Commit [449a427b153538a6bd72d9128d1f3fb9471d19ff]
Initial support for CSP₀ scripts Thi... was committed by Douglas Creager 09:27 PM
Commit [449a427b153538a6bd72d9128d1f3fb9471d19ff]
Evaluate process expressions This pa... was committed by Douglas Creager
Tuesday Sep 30

Commit [06628c3b6114894c0d8cac5a3f5b327a0e922acd]
Binding and evaluation now take place... was committed by Douglas Creager
Tuesday Sep 16

Commit [893bd7eea2410221f85d076815f92f677d8c72ae]
Initial support for CSP₀ scripts Thi... was committed by Douglas Creager
Friday Sep 12

Commit [6ee10a95b2524c1f021968f4e51d028c206df988]
Infinite sets This patch introduces ... was committed by Douglas Creager
Tuesday Sep 09

Commit [86b9163741d52e3212bc93f57b7660a06e6deacf]
New implementation of sets This patc... was committed by Douglas Creager
Saturday Sep 06

Commit [667366c6ebf41bc7b5ba2d6923339de02bbc56c9]
Evaluation rules for lambdas This pa... was committed by Douglas Creager
Sunday Aug 31

Commit [5767f91d2daf37310ef12fbfd1c7f0617780cc46]
Let bindings This patch introduces e... was committed by Douglas Creager
Saturday Aug 30

Commit [260a78539f5808c2553f028caf28fc47e57ddb0c]
Flattening the Expression type Befor... was committed by Douglas Creager 04:50 PM
Commit [37739ef6e867fa53cb039c707bf15d4e1affd1ba]
CSPM environments An environment is ... was committed by Douglas Creager 04:42 PM
Commit [2a3f31e387e7b41c1856ff79a47ad5bfebdea5cc]
Adding more test cases for booleans ... was committed by Douglas Creager
Tuesday Aug 26

Commit [eefa050ea24b224a956ca442752678d9a23c441c]
Adding more test cases for sets This... was committed by Douglas Creager 11:24 PM
Commit [6c92ff8cd645665253dc5604ed9aa4cd1ba43967]
Cabal build infrastructure This patc... was committed by Douglas Creager
Monday Aug 25

Commit [015d87c470e1e67cba3de830767d2413aa3f78a7]
Initial Haskell CSPM implementation ... was committed by Douglas Creager 07:09 PM
Commit [2b108c39f9179982b3d2447a980928aeb81e99d5]
Merge branch 'master' into rel * mas... was committed by Douglas Creager
Sunday Jul 06

Commit [205d6b4d286d2739e36f8ce7870c9c3896c0d861]
Adding failures refinement option to ... was committed by Douglas Creager 01:30 PM
Commit [8317134761619c5c0b768c2c2d0493936913e5db]
Fixed superset proof for integer sets... was committed by Douglas Creager
Monday Jun 23

Commit [d9c7dc294b48e2f3a5009e26a27a96b33f562db8]
Failures refinement This patch adds ... was committed by Douglas Creager
Saturday May 31

Commit [4754d168e43124cb467c6c82b6333905bd208a7c]
Refactoring refinement code to suppor... was committed by Douglas Creager 01:28 PM
Commit [fb172a05812c6f2ed5ffa44f088c5ab0f822a41a]
Using new superset algorithm in trace... was committed by Douglas Creager 01:28 PM
Commit [de0feac4e64d84398444568d99918fa8d9f6cdde]
Replacing custom proxy_iterator with ... was committed by Douglas Creager 01:25 PM
Commit [0c111239b97698f412c09a3cbbd78ffcbba43257]
Replacing custom proxy_iterator with ... was committed by Douglas Creager
Friday May 30

Commit [88b0ad4a7832f877c5d05a2081b339d84f3b7442]
Better equality and superset comparis... was committed by Douglas Creager 11:43 PM
Commit [aa82cf80491c76c99e24d03d775f73340f3f07d8]
Replicated external choice This patc... was committed by Douglas Creager
Saturday May 24

Commit [272fa182e899bc777bf57e13e9c53257c549f608]
CSP₀ can now contain internal undersc... was committed by Douglas Creager
Monday Apr 28

Commit [61b37e197ef47a91949befb3fc773ee79ce9a31d]
Failures normalization With this pat... was committed by Douglas Creager 04:02 PM
Commit [35472266389a85d5aef424ec8e4b804d7dce659f]
Interleave now synchronizes on ✓ The... was committed by Douglas Creager 01:46 PM
Commit [c07efc77da81821cbca65c1df3aba7959bba2e1e]
Adding acceptance sets for LTSs This... was committed by Douglas Creager 12:32 PM
Commit [b692420844370837a19641f3b29f71bad483b21a]
Current “interrupt” operator is actua... was committed by Douglas Creager
Sunday Apr 27

Commit [58e5a3a4444fde5983b86b446359223f2ca9d598]
Adding comments to CSP₀ scripts This... was committed by Douglas Creager
Saturday Apr 26

Commit [7c29484dc2c66b9afc90f23782049eacf5e1c6ec]
Adding counterexamples to the traces ... was committed by Douglas Creager
Tuesday Apr 15

Commit [04ffccc1b5572d80415bac200d0544576e8078b9]

« Previous 1 2 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.

Hst hst

Keyword searching

Create your profile