Unlimited private and public hosted repositories. Free for small teams!Sign up for free Close
Pushed to sebferre/ocaml-lib
535656c [makefile] different targets 'all' and 'all-java' to relax dependency on Java
38e4f40 [find_merge] a new module for the famous 'find-merge' algorithm
aac0426 [common] a number of additional useful functions
9c66d48 [dcg] added function 'once_fold'
f356c49 [intrel2] added function 'choose'
72c87d0 [camljava] updated path to JDK for Fedora 21
fbd9597 [camljava/lib/Makefile] not depending on [.depend]
3bc78c7 [monad/example_sparql] bug fix
27b518b [intreln] function 'matches' as a generalization of 'mem'
a9a20b7 [monad] cleaning [makefile]
275d92c [jni_common] utilities for JNI bindings to Java libraries
73f897a [logicMonad] new version of [sumonad], based on related paper
e98cfe8 [sumonad] Last changes before renaming to [monad]
eacf321 New monadic constructs: try with, yield
130c8fc [dcg] Serious bug fix in last optimization of Dcg.many and Dcg.list1
be350c1 Failing with exceptions to customize error messages
3e1be8c Commenting memory measures in Common.prof
50b244c Bug fix in [makefile]
320a2d3 Removed deprecated files (belonging to Camelis)
9e037c7 Removal of profiling on very quick functions.
e256763 new [intrel2.ml] as specialization of [intreln] for binary relation
456ee21 [dcg] simplifications and optimisations (no skip, deterministic MANY/SOME/LIST)