Permalink
Commits on May 16, 2012
Commits on May 11, 2012
  1. Remove debugging info.

    leepike committed May 11, 2012
Commits on May 10, 2012
Commits on May 6, 2012
  1. Clean up pretty-printing.

    leepike committed May 6, 2012
  2. Update TODOs.

    leepike committed May 6, 2012
  3. Remove debugging info.

    leepike committed May 6, 2012
Commits on May 5, 2012
  1. Refactor substitution function in a tree. Fix extrapolation bug (need…

    leepike committed May 5, 2012
    … to keep entire Tree for tracking).
Commits on May 4, 2012
Commits on May 3, 2012
  1. Omitted files.

    leepike committed May 3, 2012
  2. Updates.

    leepike committed May 3, 2012
  3. Get the examples to compile.

    leepike committed May 3, 2012
Commits on Apr 27, 2012
  1. Typo!

    leepike committed Apr 27, 2012
  2. Updated todos.

    leepike committed Apr 27, 2012
  3. Tweaks to read-eval-print loop.

    leepike committed Apr 27, 2012
  4. Example from the QC testsuite.

    leepike committed Apr 27, 2012
  5. Change package name.

    leepike committed Apr 27, 2012
  6. Renamed the package.

    leepike committed Apr 27, 2012
Commits on Apr 23, 2012
  1. Refactored to reduce using the original property. That way, we are mo…

    leepike committed Apr 23, 2012
    …re likely to find a failure that satisfies the original precondition.
  2. Update TODO.

    leepike committed Apr 23, 2012
  3. Add a second test in reduce to check if a subterm directly satisfies …

    leepike committed Apr 23, 2012
    …the property (and is well-typed).
  4. Factor out function.

    leepike committed Apr 23, 2012
Commits on Apr 22, 2012
  1. BUG: fixed bug in the breadth-first-search for reducing: forgot to re…

    leepike committed Apr 22, 2012
    …set column when moving to a new row.
  2. Updated TODO.

    leepike committed Apr 22, 2012
  3. Refactor call to iterateArb.

    leepike committed Apr 22, 2012
  4. Make iterateArb more informative: tells you if a property succeeded, …

    leepike committed Apr 22, 2012
    …failed, or failed the precondition.
  5. Updated todos.

    leepike committed Apr 22, 2012