Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

Douglas Creager

Douglas Creager

Account owner

Douglas Creager's latest activity

Tuesday, August 26 2008
Adding more test cases for booleans ... was committed by Douglas Creager at 11:44 PM
Adding more test cases for sets This... was committed by Douglas Creager at 11:44 PM
Cabal build infrastructure This patc... was committed by Douglas Creager at 4:36 PM
10 Create Cabal package for CSPM library was updated in hst
  • Douglas Creager
    • State changed from new to resolved
    by Douglas Creager at 4:36 PM

    (from [015d87c470e1e67cba3de830767d2413aa3f78a7]) Cabal build infrastructure

    This patch introduces a Cabal package description for the current HST library. Th...
Initial Haskell CSPM implementation ... was committed by Douglas Creager at 4:36 PM
2 CSPM to CSP₀ compiler was updated in hst
  • Douglas Creager
    Douglas Creager commented at 4:36 PM

    (from [2b108c39f9179982b3d2447a980928aeb81e99d5]) Initial Haskell CSPM implementation

    This is an initial patch implementing the CSPM language in Haskell. I've ...
Monday, August 25 2008
11 Staticly scoped environments was created in hst
  • Douglas Creager
    Douglas Creager created the ticket at 7:14 PM

    Identifier references in CSPM are staticly scoped. Before implementing let bindings, λ abstractions, and variable references, I'll have to create an implementa...
10 Create Cabal package for CSPM library was created in hst
  • Douglas Creager
    Douglas Creager created the ticket at 7:13 PM

    I need to create a Cabal package for the Haskell CSPM code. It should interface in with the QuickCheck test suite.
2 CSPM to CSP₀ compiler was updated in hst
  • Douglas Creager
    • Tag set to csp0, cspm
    by Douglas Creager at 7:11 PM

    I've decided to use Haskell as the implementation language for the CSPM bits of HST. (Thanks to David Faitelson for the idea!) Since it's a lazy functional la...
Friday, July 11 2008
1.0-α2 was updated by Douglas Creager in hst at 3:38 PM
 
0 of 6 tickets remain in this milestone