Permalink
Commits on Jun 9, 2011
Commits on Jun 7, 2011
  1. Merge remote branch 'origin/doc' into doc

    Conflicts:
    	src/proper.erl
    	src/proper_fsm.erl
    	src/proper_statem.erl
    	src/proper_types.erl
    	src/proper_typeserver.erl
    eiriniar committed Jun 7, 2011
  2. better indentation

    eiriniar committed Jun 3, 2011
Commits on Jun 6, 2011
Commits on Jun 3, 2011
  1. better indentation

    eiriniar committed Jun 3, 2011
Commits on Jun 2, 2011
Commits on May 28, 2011
Commits on May 21, 2011
Commits on May 20, 2011
  1. bigger timeout in unit test

    eiriniar committed May 20, 2011
Commits on May 19, 2011
  1. remove unused functions

    eiriniar committed May 19, 2011
  2. cleanups in statem

    eiriniar committed May 19, 2011
Commits on May 18, 2011
Commits on May 16, 2011
Commits on May 15, 2011
  1. Merge remote branch 'origin/master' into statem

    Conflicts:
    	src/proper_statem.erl
    eiriniar committed May 15, 2011
Commits on May 14, 2011
Commits on May 11, 2011
  1. some documentation added

    eiriniar committed May 11, 2011
Commits on May 7, 2011
  1. Merge remote branch 'origin/statem' into statem

    Conflicts:
    	src/proper_statem.erl
    	test/proper_tests.erl
    eiriniar committed May 7, 2011
  2. Merge branch 'master' of github.com:manopapad/proper into statem

    Conflicts:
    	src/proper_statem.erl
    eiriniar committed May 7, 2011
  3. Fix rebar configuration bug

    committed May 7, 2011
Commits on May 6, 2011
Commits on May 4, 2011
  1. Fix some specs

    committed May 4, 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.
    committed May 1, 2011
Commits on Apr 29, 2011
  1. changes in ets_statem example

    eiriniar committed Apr 29, 2011