Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Commits on Aug 3, 2011
  1. [enhance] list: add filter_stable

    Mathieu Barbin authored
Commits on Aug 1, 2011
  1. @BourgerieQuentin

    [feature] session: Add some stats

    BourgerieQuentin authored Thomas Refis committed
Commits on Jul 29, 2011
  1. @fpessaux

    [cleanup] remove chars: compiler

    fpessaux authored François-Régis Sinot committed
  2. @OpaOnWindowsNow

    [fix] IntMap: update and update_default were no ops on new key

    OpaOnWindowsNow authored
    update now follows BaseIntMap spec and raise Not_found
    update_default has been optimised to only fold the map once
Commits on Jul 21, 2011
  1. [enhance] option: add merge in opa and modify ml

    Damien Graux authored
Commits on Jul 12, 2011
  1. [fix] libbase: File.check_create_path now goes though all symbolic links

    Valentin Gatien-Baron authored
    and not only the final ones
Commits on Jul 11, 2011
  1. [enhance] baseMap: iteratore are now tail-recursive

    Arthur Milchior authored Mathieu Barbin committed
    There should be no lose of performance, there were no reason not to use an accumulator as far as I can tell
  2. [feature] list: assoc_custom_equality_opt

    Arthur Milchior authored Mathieu Barbin committed
    Adding a function as assoc_custom_equality, but returning an option and not raising an exception
  3. [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
  4. [feature] Map: adding fold_map_2

    Arthur Milchior authored Mathieu Barbin committed
    As in Lists, it is usefull to be able to unify to map with the same elements, and fold on it.
  5. [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.
  6. [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
  7. [feature] Map: Adding the function choose

    Arthur Milchior authored Mathieu Barbin committed
    I needed "choose" in my map, hence I added it, as in set.
  8. [enhance] Stdlib: Comments in Standard Library

    Arthur Milchior authored Mathieu Barbin committed
    Documenting some function, and commenting the implemantation
Commits on Jul 8, 2011
  1. @akoprow
  2. [enhance] libbase/List: added assq_opt

    Louis Gesbert authored
Commits on Jul 6, 2011
  1. [enhance] libbase: add RAList

    Raja authored
Commits on Jun 30, 2011
  1. [fix] database: adding the possibility to automatically attempt to re…

    Louis Gesbert authored
    …connect to a lost database server
  2. [fix] libbase: remove_symlinks behaves better when finding symbolic l…

    Valentin Gatien-Baron authored
    …inks to absolute paths
    
    if a points to /b, remove_symlink "a" returns "/b" and not ".//b"
  3. [cleanup] Base: remove sprintf

    Raja authored
  4. [cleanup] Base: remove error

    Raja authored
  5. [cleanup] Base: remove warning

    Raja authored
  6. [cleanup] Base: remove log_error

    Raja authored
Commits on Jun 27, 2011
  1. [fix] baseArg: wrong update of Arg.split with the new String.splice_c…

    Valentin Gatien-Baron authored
    …hars
Commits on Jun 24, 2011
  1. @BourgerieQuentin

    [fix] libbase: not quietly discarding jlog (even though it is depreca…

    BourgerieQuentin authored François-Régis Sinot committed
    …ted)
  2. [cleanup] Base.String: changed String.split to a much simpler String.…

    Louis Gesbert authored
    …slice
    
    (which corresponds to every single call case)
Commits on Jun 22, 2011
  1. [cleanup] libbase: remove io

    Raja authored
  2. [cleanup] jlog: remove Base.jlog

    Raja authored
  3. [cleanup] Log: add a debug variable for xml

    Raja authored
  4. [cleanup] Tag: unused

    Raja authored
Commits on Jun 21, 2011
  1. Initial open-source release

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