Overview - hst

Type definitions was updated by Douglas Creager
Saturday Feb 28

#17 / 1.0-α4 / new
ticket
Type definitions was updated by Douglas Creager 12:50 PM
#17 / 1.0-α4 / new
ticket
Multiple channels This patch allows ... was committed by Douglas Creager 12:50 PM
Commit [f9591022a48f40452d33739778ac658f1330e1ee]
changeset
Product types In a type expression, ... was committed by Douglas Creager 12:50 PM
Commit [8da06dd715d084d42f086b1df9e6730417a30d17]
changeset
Product types In a type expression, ... was committed by Douglas Creager 12:50 PM
Commit [8da06dd715d084d42f086b1df9e6730417a30d17]
changeset
Multiple Channels was updated by Douglas Creager 12:36 PM
#19 / new
ticket
Multiple Channels was created by Moritz Kleine
Tuesday Feb 24

#19 / new
ticket
Home was edited by Douglas Creager
Wednesday Feb 18

Project hst
page
Home was edited by Douglas Creager 04:15 PM
Project hst
page
Type definitions was updated by Douglas Creager 04:13 PM
#17 / 1.0-α4 / new
ticket
Type definitions was updated by Douglas Creager
Friday Feb 13

#17 / new
ticket
Type definitions was updated by Douglas Creager 10:21 PM
#17 / new
ticket
temp http://github.com/hst/hst/commit... was committed by Douglas Creager 10:21 PM
Commit [a8d154e3c000801f5c78fcbdd13b865e6909c0b0]
changeset
“nametype” statements The CSPM parse... was committed by Douglas Creager 10:21 PM
Commit [1d240247d57548c7162181ab816f4dceb9f5253b]
changeset
Int and Bool built-in types This pat... was committed by Douglas Creager 10:21 PM
Commit [44b7758612fa95b1b7cd5f9900977473eb7a6cc4]
changeset
Include error messages in expected CS... was committed by Douglas Creager
Wednesday Feb 11

Commit [5f662d02701695ac8a293670463347eceefaa886]
changeset
Need replicated version of several operators was updated by Douglas Creager 12:37 AM
#8 / open
ticket
Replicated internal choice This patc... was committed by Douglas Creager 12:37 AM
Commit [81b1e221f6c39660782d9d2d785e477829371297]
changeset
Using Markdown for documentation Thi... was committed by Douglas Creager 12:37 AM
Commit [3cdeaa17b28a30df5243e196b8ae0d7a3c4e4aab]
changeset
Remove tabs from source files http://... was committed by Douglas Creager
Monday Feb 09

Commit [a73d42deb6d0f2112324af333dacd42faa33e11a]
changeset
Removing “doc” target from “make all”... was committed by Douglas Creager
Saturday Feb 07

Commit [3a314e60cf2d537f35e84525795c09725d667ede]
changeset
Use shared_ptr from Boost instead of ... was committed by Douglas Creager 12:23 AM
Commit [fd0feadbfe694d7c0359eb9cf3a159c260b0545b]
changeset
Removing “doc” target from “make all”... was committed by Douglas Creager 12:20 AM
Commit [024dc438eba9134de7e4f91925c4a11d9bd5304c]
changeset
Use shared_ptr from Boost instead of ... was committed by Douglas Creager 12:20 AM
Commit [03d2e271091b6b91527fd322189364b0ad0703db]
changeset
Dotted channels was updated by Douglas Creager
Tuesday Jan 13

#15 / new
ticket
~~CSPM comments~~ was updated by Douglas Creager 12:08 AM
~~#16~~ / 1.0-α4 / ✓resolved
ticket
CSPM comments was updated by Douglas Creager 12:04 AM
#16 / new
ticket
Block comments The CSPM compiler now... was committed by Douglas Creager 12:04 AM
Commit [80bcfc675379f024f3f4c37770bb755c07e2ce8e]
changeset
CSPM comments was updated by Douglas Creager 12:00 AM
#16 / new
ticket
Single-line comments The CSPM compil... was committed by Douglas Creager 12:00 AM
Commit [fd9cdd7357a88d95e8b3400bf730bd3ed2675653]
changeset
Updating CSPM libraries to work with ... was committed by Douglas Creager 12:00 AM
Commit [f07c54e44204674721d73d15dcea6e33b6896f8b]
changeset
Include files was created by Douglas Creager
Monday Jan 12

#18 / new
ticket
Type definitions was created by Douglas Creager 10:56 PM
#17 / new
ticket
CSPM comments was created by Douglas Creager 10:55 PM
#16 / new
ticket
Dotted channels was created by Douglas Creager 10:55 PM
#15 / new
ticket
Set comprehensions was created by Douglas Creager 10:54 PM
#14 / new
ticket
Sequence comprehensions was created by Douglas Creager 10:54 PM
#13 / 1.0-α4 / new
ticket
Merge branch 'master' into rel * mas... was committed by Douglas Creager
Thursday Nov 27

Commit [01425ad90737d6c48b75407cba488597cef16ff5]
changeset
Mac OS X packaging script creates dis... was committed by Douglas Creager 11:09 PM
Commit [5508ed2701e92efd96e633ed7443a920d4d8ab3c]
changeset
Including “cspm” in Mac OS X installa... was committed by Douglas Creager 11:09 PM
Commit [e86a1dc8440d75a6075607e0f053f42fac9bf0a2]
changeset
Adding scripts for creating Mac OS X ... was committed by Douglas Creager 11:09 PM
Commit [c09f657965b26f7050f82e9e3e2780c48139272e]
changeset
1.0-α3 was updated by Douglas Creager
Friday Nov 21

No open tickets, 1 total
milestone
1.0-α3 was updated by Douglas Creager 02:06 PM
No open tickets, 1 total
milestone
1.0-α3 was updated by Douglas Creager 02:06 PM
No open tickets, 1 total
milestone
Need to implement “interrupt” operator was updated by Douglas Creager 02:05 PM
#5 / 1.0-α4 / open
ticket
1.0-α4 was created by Douglas Creager 02:05 PM
No open tickets, 6 total
milestone
~~CSPM to CSP₀ compiler~~ was updated by Douglas Creager 02:04 PM
#2 / 1.0-α3 / ✓resolved
ticket
Releasing 1.0-α3 http://github.com/hs... was committed by Douglas Creager 02:00 PM
Commit [b10069b0c92198f6f330d8f98788ff2e8d735101]
changeset
Merge branch 'master' into rel * mas... was committed by Douglas Creager 02:00 PM
Commit [3f119b64501e22b9b652410bf043f00f58c3932e]
changeset
“create-source-package” script now wo... was committed by Douglas Creager 01:59 PM
Commit [48599d503f16233ef3b8ce0655f19ba2241fbbbe]
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