aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Removed a unused function in PpGravatar ppedrot2012-12-08
* Envars: repair failed compilation after yann's commitsGravatar letouzey2012-12-07
* * lib/Envars:Gravatar regisgia2012-12-07
* * lib/Envars:Gravatar regisgia2012-12-07
* More equality functionsGravatar ppedrot2012-11-25
* Monomorphization (lib)Gravatar ppedrot2012-11-22
* Cleaning and small optimization in CList.Gravatar ppedrot2012-11-20
* Serialize: no need anymore to export of_value / to_value in the mliGravatar letouzey2012-11-19
* Serialize: dead codeGravatar letouzey2012-11-19
* Serialize: fix dyn-typing of GetOptions (oups), also adapt of_answerGravatar letouzey2012-11-19
* Serialize.to_answer: dynamically check that answer & call correspondGravatar letouzey2012-11-19
* Small uniformization in StringGravatar ppedrot2012-11-13
* More monomorphizationsGravatar ppedrot2012-11-13
* Added a CString module.Gravatar ppedrot2012-11-13
* Xml_parser: detect immediate EOF + disable check_eof by defaultGravatar letouzey2012-11-12
* Monomorphized a lot of equalities over OCaml integers, thanks toGravatar ppedrot2012-11-08
* Added an Int module with dummy utility functions.Gravatar ppedrot2012-11-08
* Removed many calls to OCaml generic equality. This was done byGravatar ppedrot2012-10-29
* Using weak tables instead of plain hash tables while hashconsing.Gravatar ppedrot2012-10-17
* avoid using rectypes in dnet.mlGravatar letouzey2012-10-06
* More accurate timings for "Time foo"Gravatar letouzey2012-10-05
* Moved Compat to parsing. This permits to break the dependency of theGravatar ppedrot2012-10-04
* Remove some more "open" and dead code thanks to OCaml4 warningsGravatar letouzey2012-10-02
* Reusing the Hashset data structure in Hashcons. Hopefully, this shouldGravatar ppedrot2012-09-26
* Cleaning, renaming obscure functions and documenting in Hashcons.Gravatar ppedrot2012-09-26
* Fixing ocamldoc errorsGravatar ppedrot2012-09-25
* More cleaning in CArray...Gravatar ppedrot2012-09-18
* More cleanup of Util: utf8 aspects moved to a new file unicode.mlGravatar letouzey2012-09-18
* Cleaning interface of Util.Gravatar ppedrot2012-09-18
* More cleaning on Utils and CList. Some parts of the code beingGravatar ppedrot2012-09-17
* More type-safe interface to Coq XML API.Gravatar ppedrot2012-09-17
* Some documentation and cleaning of CList and Util interfaces.Gravatar ppedrot2012-09-15
* As r15801: putting everything from Util.array_* to CArray.*.Gravatar ppedrot2012-09-14
* Added some tricky tail-rec versions of List functions to CListGravatar ppedrot2012-09-14
* Partial revert of Yann commit in order to use CLib.List when openingGravatar ppedrot2012-09-14
* Moving Utils.list_* to a proper CList module, which includes stdlibGravatar ppedrot2012-09-14
* This patch removes unused "open" (automatically generated fromGravatar regisgia2012-09-14
* lib/Pp:Gravatar regisgia2012-09-14
* The new ocaml compiler (4.00) has a lot of very cool warnings,Gravatar regisgia2012-09-14
* Made Pp.std_ppcmds opaque.Gravatar ppedrot2012-09-13
* Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5Gravatar ppedrot2012-09-10
* When asked for a SearchAbout request, Coq now returns a more preciseGravatar ppedrot2012-09-09
* correct some ends of .mllib files (avoid a broken tolink.ml)Gravatar letouzey2012-08-24
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* Updating headers.Gravatar herbelin2012-08-08
* Bigint: new functions of_int and to_int, 2nd arg of pow in intGravatar letouzey2012-08-02
* Bigint: adds a missing -1 in hugo's last commit 15659Gravatar letouzey2012-07-31
* Bigint : better ensure canonicity of arrays of int blocksGravatar letouzey2012-07-30
* Bigint: avoid dependency over PpGravatar letouzey2012-07-30
* Better fixing propagation of carry in sub_mult used for euclidianGravatar herbelin2012-07-29