Overview - hst

Staticly scoped environments was updated by Douglas Creager
Tuesday Sep 02

#11 / new
ticket
Need better representation for sets was created by Douglas Creager
Tuesday Aug 26

#12 / new
ticket
Adding more test cases for booleans ... was committed by Douglas Creager 11:44 PM
Commit [eefa050ea24b224a956ca442752678d9a23c441c]
changeset
Adding more test cases for sets This... was committed by Douglas Creager 11:44 PM
Commit [6c92ff8cd645665253dc5604ed9aa4cd1ba43967]
changeset
Cabal build infrastructure This patc... was committed by Douglas Creager 04:36 PM
Commit [015d87c470e1e67cba3de830767d2413aa3f78a7]
changeset
~~Create Cabal package for CSPM library~~ was updated by Douglas Creager 04:36 PM
~~#10~~ / ✓resolved
ticket
Initial Haskell CSPM implementation ... was committed by Douglas Creager 04:36 PM
Commit [2b108c39f9179982b3d2447a980928aeb81e99d5]
changeset
CSPM to CSP₀ compiler was updated by Douglas Creager 04:36 PM
#2 / open
ticket
Staticly scoped environments was created by Douglas Creager
Monday Aug 25

#11 / new
ticket
Create Cabal package for CSPM library was created by Douglas Creager 07:13 PM
#10 / new
ticket
CSPM to CSP₀ compiler was updated by Douglas Creager 07:11 PM
#2 / open
ticket
1.0-α2 was updated by Douglas Creager
Friday Jul 11

No open tickets, 6 total
milestone
1.0-α2 was updated by Douglas Creager
Sunday Jul 06

No open tickets, 6 total
milestone
1.0-α3 was updated by Douglas Creager 01:57 PM
No open tickets, 1 total
milestone
Need to implement “interrupt” operator was updated by Douglas Creager 01:56 PM
#5 / 1.0-α3 / open
ticket
Merge branch 'master' into rel * mas... was committed by Douglas Creager 01:48 PM
Commit [205d6b4d286d2739e36f8ce7870c9c3896c0d861]
changeset
Adding comments to CSP₀ scripts This... was committed by Douglas Creager 01:48 PM
Commit [7c29484dc2c66b9afc90f23782049eacf5e1c6ec]
changeset
~~Comments in CSP₀ scripts~~ was updated by Douglas Creager 01:48 PM
#1 / 1.0-α2 / ✓resolved
ticket
Adding failures refinement option to ... was committed by Douglas Creager 01:31 PM
Commit [8317134761619c5c0b768c2c2d0493936913e5db]
changeset
~~Failures refinement~~ was updated by Douglas Creager 01:31 PM
#3 / 1.0-α2 / ✓resolved
ticket
Fixed superset proof for integer sets... was committed by Douglas Creager
Monday Jun 23

Commit [d9c7dc294b48e2f3a5009e26a27a96b33f562db8]
changeset
~~is_superset_with_proof sometimes gives incorrect proof~~ was updated by Douglas Creager 09:12 PM
#9 / 1.0-α2 / ✓resolved
ticket
is_superset_with_proof sometimes give... was created by Douglas Creager 08:52 PM
#9 / 1.0-α2 / new
ticket
Scratch was edited by Douglas Creager 08:49 PM
Project hst
page
Failures refinement This patch adds ... was committed by Douglas Creager
Saturday May 31

Commit [4754d168e43124cb467c6c82b6333905bd208a7c]
changeset
~~Failures refinement~~ was updated by Douglas Creager 06:48 PM
#3 / 1.0-α2 / ✓resolved
ticket
1.0-α3 was created by Douglas Creager 04:23 PM
No open tickets, 1 total
milestone
Refactoring refinement code to suppor... was committed by Douglas Creager 01:29 PM
Commit [fb172a05812c6f2ed5ffa44f088c5ab0f822a41a]
changeset
Failures refinement was updated by Douglas Creager 01:29 PM
#3 / 1.0-α2 / open
ticket
Using new superset algorithm in trace... was committed by Douglas Creager 01:29 PM
Commit [de0feac4e64d84398444568d99918fa8d9f6cdde]
changeset
Replacing custom proxy_iterator with ... was committed by Douglas Creager 01:25 PM
Commit [0c111239b97698f412c09a3cbbd78ffcbba43257]
changeset
Better equality and superset comparis... was committed by Douglas Creager 12:12 AM
Commit [aa82cf80491c76c99e24d03d775f73340f3f07d8]
changeset
Replacing custom proxy_iterator with ... was committed by Douglas Creager 12:12 AM
Commit [88b0ad4a7832f877c5d05a2081b339d84f3b7442]
changeset
Scratch was edited by Douglas Creager
Tuesday May 27

Project hst
page
Need replicated version of several operators was updated by Douglas Creager
Saturday May 24

#8 / open
ticket
Replicated external choice This patc... was committed by Douglas Creager 06:09 PM
Commit [272fa182e899bc777bf57e13e9c53257c549f608]
changeset
Need replicated version of several operators was updated by Douglas Creager 06:09 PM
#8 / new
ticket
Scratch was edited by Douglas Creager
Friday May 16

Project hst
page
Scratch was edited by Douglas Creager 04:21 PM
Project hst
page
Scratch was edited by Douglas Creager 04:21 PM
Project hst
page
1.0-α2 was updated by Douglas Creager
Wednesday May 14

No open tickets, 6 total
milestone
Scratch was edited by Douglas Creager 04:16 PM
Project hst
page
Need replicated version of several op... was created by Douglas Creager
Thursday May 01

#8 / new
ticket
CSP₀ can now contain internal undersc... was committed by Douglas Creager
Monday Apr 28

Commit [61b37e197ef47a91949befb3fc773ee79ce9a31d]
changeset
~~CSP₀ identifiers should be able to contain underscores~~ was updated by Douglas Creager 06:11 PM
#7 / 1.0-α2 / ✓resolved
ticket
CSP₀ identifiers should be able to co... was created by Douglas Creager 06:06 PM
#7 / 1.0-α2 / new
ticket
Failures normalization With this pat... was committed by Douglas Creager 04:02 PM
Commit [35472266389a85d5aef424ec8e4b804d7dce659f]
changeset
Failures refinement was updated by Douglas Creager 04:02 PM
#3 / 1.0-α2 / open
ticket
~~“Interrupt” operator is actually “timeout”~~ was updated by Douglas Creager 01:47 PM
#4 / 1.0-α2 / ✓resolved
ticket
~~Comments in CSP₀ scripts~~ was updated by Douglas Creager 01:47 PM
#1 / 1.0-α2 / ✓resolved
ticket

« 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