Author Commit Message Labels Comments Date
Sébastien Ferré avatarSébastien Ferré
[monad] cleaning [makefile]
Sébastien Ferré avatarSébastien Ferré
[jni_common] utilities for JNI bindings to Java libraries
Sébastien Ferré avatarSébastien Ferré
[logicMonad] new version of [sumonad], based on related paper
Sébastien Ferré avatarSébastien Ferré
[sumonad] Last changes before renaming to [monad]
Sébastien Ferré avatarSébastien Ferré
New monadic constructs: try with, yield
Sébastien Ferré avatarSébastien Ferré
[sumonad] new version with more syntax extension
Sébastien Ferré avatarSébastien Ferré
[sumonad] small improvements in extended syntax and example [essai]
Sébastien Ferré avatarSébastien Ferré
[sumonad] first stable version
Sébastien Ferré avatarSébastien Ferré
[camljava/jni] robust to missing camljava.jar on CLASSPATH
Sébastien Ferré avatarSébastien Ferré
[camljava] integration of library for JNI interface (from Xavier Leroy)
Sébastien Ferré avatarSébastien Ferré
[dcg] bug fix about iterations
Sébastien Ferré avatarSébastien Ferré
[dcg] Serious bug fix in last optimization of Dcg.many and Dcg.list1
Sébastien Ferré avatarSébastien Ferré
Failing with exceptions to customize error messages
Sébastien Ferré avatarSébastien Ferré
Commenting memory measures in Common.prof
Sébastien Ferré avatarSébastien Ferré
Bug fix in [makefile]
Sébastien Ferré avatarSébastien Ferré
Removed deprecated files (belonging to Camelis)
Sébastien Ferré avatarSébastien Ferré
Removal of profiling on very quick functions.
Sébastien Ferré avatarSébastien Ferré
new [intrel2.ml] as specialization of [intreln] for binary relation
Sébastien Ferré avatarSébastien Ferré
[dcg] simplifications and optimisations (no skip, deterministic MANY/SOME/LIST)
Sébastien Ferré avatarSébastien Ferré
[makefile] use of ocamlfind
Sébastien Ferré avatarSébastien Ferré
[intreln] bug fix
Sébastien Ferré avatarSébastien Ferré
[ipp] bug fix about printing of empty lists
Sébastien Ferré avatarSébastien Ferré
Dcg.check predicate receives context and cursor; notation '@' for Dcg.rise.
Sébastien Ferré avatarSébastien Ferré
Fixed typo in common.ml
Sébastien Ferré avatarSébastien Ferré
First Commit. Adding a README.
Sébastien Ferré avatarSébastien Ferré
Added the GPL license
Sébastien Ferré avatarSébastien Ferré
Completed .gitignore for a clean status
Sébastien Ferré avatarSébastien Ferré
[dcg] fixed bug about recognizing EOF
Sébastien Ferré avatarSébastien Ferré
Addition of ML source files.
Sébastien Ferré avatarSébastien Ferré
Assoc functions.
  1. Prev
  2. Next
Tip: Filter by directory path e.g. /media app.js to search for public/media/app.js.
Tip: Use camelCasing e.g. ProjME to search for ProjectModifiedEvent.java.
Tip: Filter by extension type e.g. /repo .js to search for all .js files in the /repo directory.
Tip: Separate your search with spaces e.g. /ssh pom.xml to search for src/ssh/pom.xml.
Tip: Use ↑ and ↓ arrow keys to navigate and return to view the file.
Tip: You can also navigate files with Ctrl+j (next) and Ctrl+k (previous) and view the file with Ctrl+o.
Tip: You can also navigate files with Alt+j (next) and Alt+k (previous) and view the file with Alt+o.