Permalink
Commits on May 19, 2011
  1. 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
  2. small change in computation of initial state + cleanups

    * Now the callback function initial_state/0 is not only called at command
      generation time, but also in order to initialize the state every time the
      command sequence is run (i.e. during normal execution, while shrinking and
      when checking a counterexample). For this reason, it should be deterministic.
    * With this approach, an init command is useless when commands are generated
      using proper_statem:commands/1 or proper_fsm:commands/1, so finally we don't
      include it.
    eiriniar committed Apr 29, 2011
Commits on Apr 28, 2011
  1. spec correction

    eiriniar committed Apr 28, 2011
  2. fixed type definition

    eiriniar committed Apr 28, 2011
Commits on Apr 27, 2011
  1. added copyright notice

    eiriniar committed Apr 27, 2011
Commits on Apr 26, 2011
  1. clean-ups

    eiriniar committed Apr 26, 2011
Commits on Apr 22, 2011
  1. Fix copyright notices

    committed Apr 22, 2011
  2. Documentation fixes

    committed Apr 22, 2011
Commits on Apr 19, 2011
  1. correction in unit test

    eiriniar committed Apr 19, 2011
  2. more clean-ups

    eiriniar committed Apr 19, 2011
  3. clean-ups

    eiriniar committed Apr 19, 2011
  4. Tidier cleanups in tests

    kostis committed Apr 19, 2011