Permalink
Commits on May 24, 2012
  1. Major refactoring.

     * Bug fixes.
     * Complete conversion from Data.Data to GHC.Generics.
    committed May 24, 2012
Commits on May 22, 2012
  1. Updated README.

    committed May 22, 2012
Commits on May 17, 2012
  1. Markdown bugs.

    committed May 17, 2012
  2. Tweak README.

    committed May 17, 2012
  3. Updated README; other tweaks.

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

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

    committed May 6, 2012
  2. Update TODOs.

    committed May 6, 2012
  3. Remove debugging info.

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

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

    committed May 3, 2012
  2. Updates.

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

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

    committed Apr 27, 2012
  2. Updated todos.

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

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

    committed Apr 27, 2012
  5. Change package name.

    committed Apr 27, 2012
  6. Renamed the package.

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

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

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

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

    committed Apr 23, 2012