Permalink
Switch branches/tags
Nothing to show
Commits on Aug 15, 2011
  1. other otp libs

    wardbekker committed Aug 15, 2011
  2. added travis

    wardbekker committed Aug 15, 2011
Commits on Aug 12, 2011
  1. added unsupported version

    wardbekker committed Aug 12, 2011
  2. added updated travis

    wardbekker committed Aug 12, 2011
Commits on Aug 1, 2011
  1. added alternative erlang

    wardbekker committed Aug 1, 2011
Commits on Jul 30, 2011
  1. remove dialyze step

    wardbekker committed Jul 30, 2011
  2. added target

    wardbekker committed Jul 30, 2011
  3. added different erlangs

    wardbekker committed Jul 30, 2011
Commits on Jul 29, 2011
  1. verbose build

    wardbekker committed Jul 29, 2011
  2. add compile step

    wardbekker committed Jul 29, 2011
  3. re-added eunit

    wardbekker committed Jul 29, 2011
  4. wip

    wardbekker committed Jul 29, 2011
  5. whitespace

    wardbekker committed Jul 29, 2011
  6. add dialyzer

    wardbekker committed Jul 29, 2011
  7. add dialyzer

    wardbekker committed Jul 29, 2011
  8. travis

    wardbekker committed Jul 29, 2011
  9. added travis config

    wardbekker committed Jul 29, 2011
Commits on Jul 24, 2011
  1. Fix formatting in README.md

    tuncer committed Jul 24, 2011
  2. Minor change in documentation

    manopapad committed Jul 24, 2011
Commits on Jul 1, 2011
  1. small fix in parallel statem testing

    eiriniar committed Jul 1, 2011
    * 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
Commits on Jun 7, 2011
  1. Merge remote branch 'origin/doc' into doc

    eiriniar committed Jun 7, 2011
    Conflicts:
    	src/proper.erl
    	src/proper_fsm.erl
    	src/proper_statem.erl
    	src/proper_types.erl
    	src/proper_typeserver.erl
  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