Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Commits on Apr 12, 2015
  1. Adapt to 18.x time api changes

    authored
Commits on Mar 15, 2015
  1. Merge pull request #6 from hibari/eqc-1.33

    authored
    Support eqc 1.33
Commits on Jun 22, 2014
  1. Update rebar (2.4.0-3-ga00f8c6)

    authored
  2. Refresh edocs

    authored
Commits on Jun 9, 2014
  1. Remove deprecated code

    authored
  2. Complete backwards incompatible, rework of qc_statem

    authored
    - Completely remove legacy implementation based on parameterized
      modules.
    - Add support for PropEr statem.
    - Callback changes
      * Remove scenario_gen/0 and scenario support.
      * Rename command_gen/0 to command/1.
      * Refactor initial_state/1 to take a proplist as 1st argument.
      * Rename setup/0 to init/0.
      * Rename and refactor setup/1 to init/1 to take the initial symbolic
        state as 1st argument.
      * Rename and refactor teardown/2 to stop/2 to take the initial
        symoblic state as 1st argument and the final dynamic state as 2nd
        argument for sequential statem or undefined for parallel statem.
    - Deprecate all except the qc_statem_ets demonstration test.
Commits on May 4, 2014
  1. Correct travis.yml

    authored
  2. Refresh edocs

    authored
  3. Update copyright

    authored
  4. Update overview.edoc

    authored
Commits on Mar 1, 2014
  1. Deprecate R14

    authored
Commits on Feb 2, 2014
Commits on Jun 6, 2013
Commits on Mar 26, 2013
  1. Update docs

    authored
Commits on Mar 25, 2013
  1. Update docs

    authored
Commits on Mar 24, 2013
  1. Add R16B travis target

    authored
  2. Deprecate R13B04

    authored
Commits on Feb 22, 2013
  1. Update copyright

    authored
Commits on Feb 2, 2013
  1. Use tuple modules instead of parameterized modules

    authored
    Erlang/OTP R16, coming soon, will do away with parameterized modules
    (see Issue 4 under http://www.erlang.org/news/35 for details). Change
    QC to use tuple modules instead, since they will continue to be
    supported in R16 and beyond. These changes are backward compatible, so
    current applications should require only recompilation to continue
    working.
    
    Thanks to mochiweb and @vinoski for the inspiration for these changes.
Commits on Jan 19, 2013
  1. Merge pull request #2 from cloudian/dev

    authored
    Bind the parameters also to initial_state/1 generator
Commits on Jan 8, 2013
Commits on Dec 19, 2012
Commits on Nov 26, 2012
Commits on Nov 21, 2012
  1. Generate edocs via asciiedoc

    authored
  2. Fix documentation

    authored
  3. Generate edocs via asciiedoc

    authored
  4. Update documentation

    authored
Commits on Nov 20, 2012
Commits on Nov 19, 2012
Commits on Oct 6, 2012
Something went wrong with that request. Please try again.