Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Jul 24, 2011
Commits on Jun 9, 2011
Commits on Jun 6, 2011
Commits on May 1, 2011
  1. Better handling of non-deterministic properties

    authored
    * Display an error message instead of crashing whenever a property returns
      something other than a boolean.
    * Don't crash whenever a counterexample doesn't consistently cause the property
      to fail.
Commits on Apr 22, 2011
  1. Fix copyright notices

    authored
Commits on Jun 12, 2010
Something went wrong with that request. Please try again.