aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/lib.mllib
Commit message (Expand)AuthorAge
* RichPp: New module.Gravatar Regis-Gianas2014-11-04
* Moving Dnet-related code to tactics/.Gravatar Pierre-Marie Pédrot2014-05-08
* Adding a stm/ folder, as asked during last workgroup. It was essentially movingGravatar Pierre-Marie Pédrot2014-04-25
* STM: move out a couple of submodulesGravatar Enrico Tassi2014-03-13
* Work around for bug in threads + blocking io streamlinedGravatar Enrico Tassi2014-01-30
* Spawn: managed processesGravatar Enrico Tassi2014-01-26
* Ephemeron: marshaling friendly keysGravatar gareuselesinge2013-10-18
* Moving Searchstack to CStack, and normalizing names a bit.Gravatar ppedrot2013-09-06
* Universe counters on slaves are in sync with masterGravatar gareuselesinge2013-08-20
* Vcs data structure (Git inspired builder for Dag)Gravatar gareuselesinge2013-08-08
* Dag data structureGravatar gareuselesinge2013-08-08
* Searchable stack data structureGravatar gareuselesinge2013-08-08
* Future library to represent pure computationsGravatar gareuselesinge2013-08-08
* Splitted up Genarg in four different levels:Gravatar ppedrot2013-06-21
* Gmap is now useless, hail to Map!Gravatar ppedrot2013-05-14
* Removing Fmap from libraries, it is not used anymore.Gravatar ppedrot2013-05-14
* Removing Fset, since it is not used anymore.Gravatar ppedrot2013-05-12
* Documenting the Tries module, uniformizing the names according toGravatar ppedrot2013-05-09
* Getting rid of module Gmapl.Gravatar ppedrot2013-05-09
* New module Xml_printer (dual to Xml_parser)Gravatar gareuselesinge2013-05-06
* Coqide: Globalization feedback (proof of concept)Gravatar gareuselesinge2013-04-25
* Updated Exninfo to the new Store type.Gravatar ppedrot2013-03-12
* Moving hcons_string to String namespace.Gravatar ppedrot2012-12-14
* Moved Compat to parsing. This permits to break the dependency of theGravatar ppedrot2012-10-04
* Cleaning, renaming obscure functions and documenting in Hashcons.Gravatar ppedrot2012-09-26
* More cleanup of Util: utf8 aspects moved to a new file unicode.mlGravatar letouzey2012-09-18
* Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5Gravatar ppedrot2012-09-10
* Put Option in ClibGravatar pboutill2012-07-20
* Added an indirection with respect to Loc in Compat. As many [open Compat]Gravatar ppedrot2012-06-22
* Revert copy/pasted function in to minilib thanks to clib.cmaGravatar pboutill2012-05-23
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Noise for nothingGravatar pboutill2012-03-02
* Moving XML handling to lib directoryGravatar ppedrot2011-11-24
* Term: Refactoring of hashconsingGravatar puech2011-07-29
* A new mechanism to handle errors.Gravatar aspiwack2011-05-13
* An generic imperative union-find, used for deps of evars in Class_tacticsGravatar letouzey2011-02-11
* Remove Safe_marshalGravatar glondu2011-01-06
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* Coqdep_boot : misc improvementsGravatar letouzey2010-09-17
* CoqIDE goes multiprocessGravatar vgross2010-05-31
* Here comes the commit, announced long ago, of the new tactic engine.Gravatar aspiwack2010-04-22
* * Segmenttree: New. A very simple implementation of segment trees.Gravatar regisgia2010-01-08
* * Rewrite [classify_unicode] using standard unicode tables.Gravatar regisgia2009-12-20
* New functors for gmap and gset.Gravatar soubiran2009-10-26
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20