Commits

Show all
Author Commit Message Labels Comments Date
Sébastien Ferré
[camljava] updated path to JDK for Fedora 21
Sébastien Ferré
[camljava/lib/Makefile] not depending on [.depend]
Sébastien Ferré
[monad/example_sparql] bug fix
Sébastien Ferré
[intreln] function 'matches' as a generalization of 'mem'
Sébastien Ferré
[monad] cleaning [makefile]
Sébastien Ferré
[jni_common] utilities for JNI bindings to Java libraries
Sébastien Ferré
[logicMonad] new version of [sumonad], based on related paper
Sébastien Ferré
[sumonad] Last changes before renaming to [monad]
Sébastien Ferré
New monadic constructs: try with, yield
Sébastien Ferré
[sumonad] new version with more syntax extension
Sébastien Ferré
[sumonad] small improvements in extended syntax and example [essai]
Sébastien Ferré
[sumonad] first stable version
Sébastien Ferré
[camljava/jni] robust to missing camljava.jar on CLASSPATH - impact: callbacks are not available
Sébastien Ferré
[camljava] integration of library for JNI interface (from Xavier Leroy)
Sébastien Ferré
[dcg] bug fix about iterations
Sébastien Ferré
[dcg] Serious bug fix in last optimization of Dcg.many and Dcg.list1
Sébastien Ferré
Failing with exceptions to customize error messages
Sébastien Ferré
Commenting memory measures in Common.prof
Sébastien Ferré
Bug fix in [makefile]
Sébastien Ferré
Removed deprecated files (belonging to Camelis)
Sébastien Ferré
Removal of profiling on very quick functions.
Sébastien Ferré
new [intrel2.ml] as specialization of [intreln] for binary relation
Sébastien Ferré
[dcg] simplifications and optimisations (no skip, deterministic MANY/SOME/LIST)
Sébastien Ferré
[makefile] use of ocamlfind
Sébastien Ferré
[intreln] bug fix
Sébastien Ferré
[ipp] bug fix about printing of empty lists
Sébastien Ferré
Dcg.check predicate receives context and cursor; notation '@' for Dcg.rise.
Sébastien Ferré
Fixed typo in common.ml
Sébastien Ferré
First Commit. Adding a README.
Sébastien Ferré
Added the GPL license
  1. Prev
  2. Next