Commits

Author Commit Message Labels Comments Date
Sébastien Ferré
Explicit signature, and functorisation.
Sébastien Ferré
Abstraction over paths.
Sébastien Ferré
Initial revision
Sébastien Ferré
Well, many changes, related to use of axioms.
Sébastien Ferré
Initial revision
Sébastien Ferré
Reverse of 'compare' for compatibility with LSet.
Sébastien Ferré
Initial revision
Sébastien Ferré
subset, equal, partitioner, ...
Sébastien Ferré
Better handling of PP_* tokens (removing them when parsing, e.g.). Some utilities.
Sébastien Ferré
Ocamldoc.
Sébastien Ferré
Functionals over options. More applications.
Sébastien Ferré
Add of "string_of_file", and functions about external applications and Cygwin.
Sébastien Ferré
Bug in 'children' because of wrong interpretation of Hashtbl.fold when several values associated to a same key.
Sébastien Ferré
Ocamldoc.
Sébastien Ferré
simplifications about the definition of links.
Sébastien Ferré
Initial revision
Sébastien Ferré
Modif of chance_ge to make it compatible with the 'better than' partial order on concepts w.r.t. target.
Sébastien Ferré
Improved syntax error messages.
sbf
Initial revision
Sébastien Ferré
Definitions using threads have been moved into file 'threads_common.ml' to avoid unnecessary dependancies on threads.
Sébastien Ferré
Add of 'length' and parsing of options.
sbf
Sub-module 'Ext' externalized as a stand-alone module for sharing.
sbf
Add of value 'simpl' in LOG.
Sébastien Ferré
Add of functions 'fold_for', 'fold_for_down', and 'stream_map'.
sbf
Replace an unsafe '0' by a reference to 'nil'.
sbf
Add of function 'simpl' in the signature of a logic.
sbf
Modif in unget_chunk by using a counter instead of Random.int to trigger an unget.
sbf
Lazy evaluation of (get nid) in traversal functionals (fold, first, last, glbs, lubs).
sbf
New implementation with the module Cache.
sbf
Initial revision
  1. Prev
  2. Next