Skip to content
Commits on May 4, 2010
  1. Update readme some more.

    committed May 4, 2010
  2. Update readme

    committed May 4, 2010
  3. Update makefile.

    committed May 4, 2010
  4. Remove warning

    committed May 4, 2010
  5. Update readme

    committed May 4, 2010
  6. Add readme

    committed May 4, 2010
Commits on May 3, 2010
  1. Add license note

    committed May 4, 2010
  2. Introduce a set of already tested values in both the check_forall loo…

    …p, and in the simplify loop; so as to avoid rerunning succeeded tests (becomes obviously valuable when the tests are slow).
    committed May 3, 2010
  3. Make sized generators work

    committed May 3, 2010
  4. Record counter example

    committed May 3, 2010
  5. Remove compiler warnings

    committed May 3, 2010
Commits on May 2, 2010
Commits on Apr 29, 2010
  1. Update .gitignore

    committed Apr 29, 2010
Commits on Apr 28, 2010
  1. initial commit

    committed Apr 28, 2010
Something went wrong with that request. Please try again.