Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Mar 8, 2014
  1. @Motiejus

    UTF8 generator

    Motiejus authored
    WIP; currently not possible to test proper shrinking because of
    implementation using ?FORALL().
Commits on Apr 2, 2013
  1. @kostis

    Update copyright year

    kostis authored
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

    * 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

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