Permalink
Commits on Dec 4, 2016
Commits on Nov 11, 2016
Commits on Oct 17, 2016
Commits on Sep 18, 2016
Commits on Jun 25, 2016
  1. Merge pull request #128 from fenollp/maps-next_state

    Make next_state/3 handle maps -- Some fixes for indentation to come in the next push.
    kostis committed on GitHub Jun 25, 2016
  2. handle maps in next_state/3

    test shows broken maps manipulation in next_state/3
    handle maps when walking symbolic tree for next_state/3 to work
    revert names
    maps-next_state: adapt to coding style
    fenollp committed Jun 25, 2016
  3. Merge pull request #127 from fenollp/fenollp-patch-1

    Add 19.0 to Travis CI
    kostis committed on GitHub Jun 25, 2016
  4. Add 19.0 to Travis CI

    fenollp committed on GitHub Jun 25, 2016
Commits on Jun 20, 2016
  1. Remove R15B* from travis

    The change to use -callback attributes for proper_statem and proper_fsm
    broke the making of the PropEr documentation in OTP releases where edoc
    does not recognize these module attributes.
    
    "Fix" by removing testing PropEr using these OTP releases in Travis.
    kostis committed Jun 20, 2016
  2. Modernize the callbacks of proper_fsm and proper_statem

    The code, written long ago, used behaviour_info/1 to describe the
    callbacks that the behaviour modules should export. Modernize the
    code to use -callback attributes instead and describe the types of
    the callbacks.
    
    While at it, the types symb_var() and symb_call() were renamed to
    symbolic_var() and symbolic_call() for consistency, and small errors
    in the Edoc documentation were corrected.
    kostis committed Jun 20, 2016
Commits on Jun 18, 2016
  1. Inline some hot and short functions

    Thanks to @pichi (#80).
    kostis committed Jun 18, 2016
  2. Simplify clean_instance/1

    Also add an inline declaration.  Thanks to @pichi (#80).
    kostis committed Jun 18, 2016
  3. Simplify is_raw_type/1 and is_raw_type_list/1

    Also inline is_raw_type/1, the hottest function.
    
    Thanks to @pichi (#80).
    kostis committed Jun 18, 2016
  4. Improve efficiency of jumble/1

    Change complexity from O(N^2) to O(N*logN).
    
    Thanks to @pichi (#80)
    kostis committed Jun 18, 2016
  5. Improve efficiency of proper_arith:partition/2 and proper_arith:filter/2

    Traverse list in reverse order to avoid four or two reversing at the end.
    
    Build only required lists for filter.
    
    Thanks to @pichi (#80)
    kostis committed Jun 18, 2016
Commits on Jun 14, 2016
  1. Merge pull request #125 from jaynel/patch-1

    Bump proper.app.src to 1.2 to match the new tag
    kostis committed on GitHub Jun 14, 2016
  2. Bump proper.app.src to 1.2 to match the new tag

    You will need to move the tag forward one commit.
    jaynel committed on GitHub Jun 14, 2016
Commits on Jun 13, 2016
  1. Merge pull request #124 from manopapad/prepare19

    Code changes in preparation for Erlang/OTP 19.0
    kostis committed on GitHub Jun 13, 2016
  2. Use the rand module in 19.x instead of deprecated random (if not SFMT)

    kostis committed Jun 13, 2016
  3. Fix typo

    kostis committed Jun 13, 2016
  4. Do not use deprecated function queue:lait/1

    kostis committed Jun 13, 2016
  5. Do not forge line annotations

    kostis committed Jun 13, 2016
Commits on Apr 26, 2016
  1. Handle type_record_fields returned by the 19.x Erlang parser

    kostis committed Apr 26, 2016
  2. Merge pull request #102 from matthiaskr/matthiaskr/bugfix/non-proper-…

    …lists
    
    try to fix non-proper lists in state
    kostis committed Apr 26, 2016