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.

Activity (RSS)

Friday, November 21 2008
Updating README and INSTALL to mentio... was committed by Douglas Creager at 1:59 PM
“let”s now allow pattern definitions ... was committed by Douglas Creager at 1:59 PM
Wednesday, November 19 2008
Functions defined in multiple branche... was committed by Douglas Creager at 11:48 PM
Lambda expressions now implemented us... was committed by Douglas Creager at 11:48 PM
Patterns on left-hand sides of top-le... was committed by Douglas Creager at 11:48 PM
Lambdas now implemented using pattern... was committed by Douglas Creager at 11:48 PM
Adding Show instance for patterns Th... was committed by Douglas Creager at 11:48 PM
Initial pattern matching support Thi... was committed by Douglas Creager at 11:48 PM
Implementing built-in functions as ke... was committed by Douglas Creager at 11:48 PM
Allow newlines before and after binar... was committed by Douglas Creager at 11:48 PM
Prefix CSPM expressions should create... was committed by Douglas Creager at 11:48 PM
CSP₀ identifiers can now contain peri... was committed by Douglas Creager at 11:48 PM
Friday, November 14 2008
2 CSPM to CSP₀ compiler was updated
  • Douglas Creager
    Douglas Creager commented at 5:32 AM

    (from [449a427b153538a6bd72d9128d1f3fb9471d19ff]) Initial support for CSP₀ scripts

    This patch introduces support for CSP₀ scripts. It has functions for creating...
  • Douglas Creager
    Douglas Creager commented at 5:32 AM

    (from [449a427b153538a6bd72d9128d1f3fb9471d19ff]) Initial support for CSP₀ scripts

    This patch introduces support for CSP₀ scripts. It has functions for creating...
Sunday, November 09 2008
Adding process expressions to CSPM pa... was committed by Douglas Creager at 12:07 AM
Definitions no longer need to be in a... was committed by Douglas Creager at 12:07 AM
Allow trailing newlines at end of CSP... was committed by Douglas Creager at 12:07 AM
Parentheses in expressions This patc... was committed by Douglas Creager at 12:07 AM
Adding additional (non-QuickCheck) te... was committed by Douglas Creager at 12:07 AM
Thursday, November 06 2008
2 CSPM to CSP₀ compiler was updated
  • Douglas Creager
    Douglas Creager commented at 10:04 PM

    (from [aa9d7b026e4d5b6c7d06ca08a849c33b0c680888]) Distinct process names for each application of a function

    Before, a process created by a function application ...
  • Douglas Creager
    Douglas Creager commented at 10:04 PM

    (from [d67f471b5af179c9f0d865c425c0542dbe3fa9cd]) Adding predefined SKIP and STOP processes

    This patch introduces CSPM keywords for the predefined SKIP and STOP...
  • Douglas Creager
    Douglas Creager commented at 10:04 PM

    (from [6257983d18e9ad718d8dbc9d7e528bda55098fcd]) Evaluate process expressions

    This patch introduces initial support for evaluating process expressions into the...
  • Douglas Creager
    Douglas Creager commented at 10:04 PM

    (from [7ed2249fe1b6063e163cc121b3289f37bfdf5969]) Binding and evaluation now take place in a monad

    Once we add process terms to the CSPM language, we'll need a ...
Simple “channel” statement This patc... was committed by Douglas Creager at 10:04 PM
Top-level script no longer implemente... was committed by Douglas Creager at 10:04 PM
Basic CSPM parser and command-line ut... was committed by Douglas Creager at 10:04 PM
Helper methods for evaluating CSPM ex... was committed by Douglas Creager at 10:04 PM
Distinct process names for each appli... was committed by Douglas Creager at 10:04 PM
Initial support for CSP₀ scripts Thi... was committed by Douglas Creager at 10:04 PM
Adding predefined SKIP and STOP proce... was committed by Douglas Creager at 10:04 PM
Evaluate process expressions This pa... was committed by Douglas Creager at 10:04 PM
Binding and evaluation now take place... was committed by Douglas Creager at 10:04 PM
Initial support for CSP₀ scripts Thi... was committed by Douglas Creager at 10:04 PM
Tuesday, September 30 2008
Evaluate process expressions This pa... was committed by Douglas Creager at 11:20 PM
2 CSPM to CSP₀ compiler was updated
  • Douglas Creager
    Douglas Creager commented at 11:20 PM

    (from [06628c3b6114894c0d8cac5a3f5b327a0e922acd]) Evaluate process expressions

    This patch introduces initial support for evaluating process expressions into the...
  • Douglas Creager
    Douglas Creager commented at 11:20 PM

    (from [893bd7eea2410221f85d076815f92f677d8c72ae]) Binding and evaluation now take place in a monad

    Once we add process terms to the CSPM language, we'll need a ...
  • Douglas Creager
    Douglas Creager commented at 11:20 PM

    (from [6ee10a95b2524c1f021968f4e51d028c206df988]) Initial support for CSP₀ scripts

    This patch introduces support for CSP₀ scripts. It has functions for creating...
Binding and evaluation now take place... was committed by Douglas Creager at 11:20 PM
Initial support for CSP₀ scripts Thi... was committed by Douglas Creager at 11:20 PM
Tuesday, September 09 2008
Infinite sets This patch introduces ... was committed by Douglas Creager at 3:28 PM
12 Need better representation for sets was updated
  • Douglas Creager
    • State changed from new to resolved
    by Douglas Creager at 3:28 PM

    (from [86b9163741d52e3212bc93f57b7660a06e6deacf]) Infinite sets

    This patch introduces another new implementation for sets, which supports any infinite set. (The...
Saturday, September 06 2008
New implementation of sets This patc... was committed by Douglas Creager at 11:58 PM
12 Need better representation for sets was updated
  • Douglas Creager
    Douglas Creager commented at 11:58 PM

    (from [667366c6ebf41bc7b5ba2d6923339de02bbc56c9]) New implementation of sets

    This patch introduces a new implementation for sets. It's based on the Data.Set sta...
Tuesday, September 02 2008
Evaluation rules for lambdas This pa... was committed by Douglas Creager at 7:12 PM
11 Staticly scoped environments was updated
  • Douglas Creager
    • State changed from new to resolved
    by Douglas Creager at 7:12 PM

    (from [5767f91d2daf37310ef12fbfd1c7f0617780cc46]) Evaluation rules for lambdas

    This patch introduces lambdas and application statements. This requires carrying ...
  • Douglas Creager
    Douglas Creager commented at 7:11 PM

    (from [260a78539f5808c2553f028caf28fc47e57ddb0c]) Let bindings

    This patch introduces evaluation rules for let bindings and variable references. Currently, this ...
  • Douglas Creager
    Douglas Creager commented at 7:11 PM

    (from [37739ef6e867fa53cb039c707bf15d4e1affd1ba]) Flattening the Expression type

    Before, we had separate datatypes for each “class” of expression; for instance,...
Let bindings This patch introduces e... was committed by Douglas Creager at 7:11 PM
Flattening the Expression type Befor... was committed by Douglas Creager at 7:11 PM
CSPM environments An environment is ... was committed by Douglas Creager at 7:10 PM