Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Commits on Aug 15, 2011
  1. other otp libs

    authored
  2. added travis

    authored
Commits on Aug 12, 2011
  1. added unsupported version

    authored
  2. added updated travis

    authored
Commits on Aug 1, 2011
  1. added alternative erlang

    authored
Commits on Jul 30, 2011
  1. remove dialyze step

    authored
  2. added target

    authored
  3. added different erlangs

    authored
Commits on Jul 29, 2011
  1. verbose build

    authored
  2. add compile step

    authored
  3. re-added eunit

    authored
  4. wip

    authored
  5. whitespace

    authored
  6. add dialyzer

    authored
  7. add dialyzer

    authored
  8. travis

    authored
  9. added travis config

    authored
Commits on Jul 24, 2011
  1. @tuncer

    Fix formatting in README.md

    tuncer authored
  2. @manopapad
Commits on Jul 1, 2011
  1. @EiriniArvaniti

    small fix in parallel statem testing

    EiriniArvaniti authored
    * only data internally used by PropEr (i.e. atoms starting with "$")
      should be copied from the process dictionary when spawning new
      processes for parallel testing.
    * better description about parallel test cases added in doc
Commits on Jun 9, 2011
  1. @manopapad
  2. @manopapad
  3. @manopapad
  4. @EiriniArvaniti
Commits on Jun 7, 2011
  1. @EiriniArvaniti

    Merge remote branch 'origin/doc' into doc

    EiriniArvaniti authored
    Conflicts:
    	src/proper.erl
    	src/proper_fsm.erl
    	src/proper_statem.erl
    	src/proper_types.erl
    	src/proper_typeserver.erl
  2. @EiriniArvaniti

    better indentation

    EiriniArvaniti authored
  3. @EiriniArvaniti
  4. @EiriniArvaniti
  5. @EiriniArvaniti
Commits on Jun 6, 2011
  1. @manopapad
Commits on Jun 3, 2011
  1. @EiriniArvaniti

    better indentation

    EiriniArvaniti authored
  2. @EiriniArvaniti
Commits on Jun 2, 2011
  1. @EiriniArvaniti
Commits on May 28, 2011
  1. @EiriniArvaniti
Commits on May 21, 2011
  1. @EiriniArvaniti
Something went wrong with that request. Please try again.