Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Commits on Jul 11, 2011
  1. [enhance] Set: choose become quicker

    Arthur Milchior authored Mathieu Barbin committed
    It gave the minimum element in O(log(n))
    Now it works in O(1), giving the element in the top of the tree
    
    Conflicts:
    
    	libbase/baseSetSig.ml
    	libbase/intSet.ml
  2. [feature] libbase: Taking an element to show the difference between …

    Arthur Milchior authored Mathieu Barbin committed
    …two set/map
    
        Usefull to explain why two sets are not equal.
  3. [feature] libbase: choose_opt in Maps and Sets

    Arthur Milchior authored Mathieu Barbin committed
    Same as choose, but giving an option instead of an exception on empty map/set
Commits on Jun 21, 2011
  1. Initial open-source release

    MLstate authored
Something went wrong with that request. Please try again.