Permalink
Commits on Dec 13, 2010
Commits on Dec 12, 2010
  1. Removed minor warnings.

    leepike committed Dec 12, 2010
  2. Function calls in triggers and sampling work. Still need to get array…

    leepike committed Dec 12, 2010
    … return types working.
Commits on Dec 11, 2010
  1. Casting in it's own file.

    leepike committed Dec 11, 2010
Commits on Dec 9, 2010
  1. Merged conflict.

    leepike committed Dec 9, 2010
  2. Substantial refactoring. Changed syntax for sampling external variabl…

    leepike committed Dec 9, 2010
    …es. Removed the ability to directly reference phases in the language, simplifying it.
Commits on Dec 5, 2010
  1. Updated todo.

    leepike committed Dec 5, 2010
  2. Minor changes.

    leepike committed Dec 5, 2010
Commits on Dec 4, 2010
  1. Generalizing sampling from variables to arbitrary function calls. Sti…

    leepike committed with Lee Pike Dec 4, 2010
    …ll doesn't work yet. I need to revise the model and remove phases and control when sampling can happen since I'm passing Copilot variables.
Commits on Dec 2, 2010
Commits on Dec 1, 2010
Commits on Nov 30, 2010
  1. Updated documentation.

    leepike committed Nov 30, 2010
  2. Added triggers to the language.

    leepike committed Nov 30, 2010
Commits on Nov 22, 2010
  1. Added back const function in the language. You still need to lift con…

    leepike committed Nov 22, 2010
    …stants for operators like comparisons (e.g., '3 <= a'). See TODO for more details.
Commits on Nov 21, 2010
  1. Updated Haddock documentation.

    leepike committed Nov 21, 2010
Commits on Nov 20, 2010
  1. Typo in cabal file.

    leepike committed Nov 20, 2010
Commits on Nov 13, 2010
Commits on Nov 12, 2010
  1. Modified examples slightly.

    leepike committed Nov 12, 2010
  2. Change syntax so vars are declared before defining streams. Make cast…

    leepike committed Nov 12, 2010
    … polymorphic. No need for const operators.
Commits on Nov 8, 2010
  1. Tweaked example in cabal file.

    leepike committed Nov 8, 2010