aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* interface.mli and serialize.ml reworked to avoid copy/paste of typesGravatar gareuselesinge2013-04-19
* More in IArrayGravatar ppedrot2013-04-16
* votour: a small tool for guided tours of .voGravatar letouzey2013-04-15
* More functional implementation of locality_flag and program_modeGravatar gareuselesinge2013-04-15
* Added a module of immutable arrays. Not as full as CArray, but shouldGravatar ppedrot2013-04-09
* Minor code cleaning in CArray / CList.Gravatar ppedrot2013-03-23
* Removing mandatory suffixes for library files.Gravatar ppedrot2013-03-21
* Checker: simplify a bit its exception handlerGravatar letouzey2013-03-17
* Embedded exns in LtacLocated and EvaluatedError satisfy Errors.noncriticalGravatar letouzey2013-03-14
* Made the backtrace type opaqueGravatar ppedrot2013-03-13
* Vernac+Toplevel: get rid of Error_in_fileGravatar letouzey2013-03-13
* Restrict (try...with...) to avoid catching critical exn (part 13)Gravatar letouzey2013-03-13
* Restrict (try...with...) to avoid catching critical exn (part 8)Gravatar letouzey2013-03-13
* Restrict (try...with...) to avoid catching critical exn (part 5)Gravatar letouzey2013-03-13
* Restrict (try...with...) to avoid catching critical exn (part 4)Gravatar letouzey2013-03-12
* invalid_arg instead of raise (Invalid_argement ...)Gravatar letouzey2013-03-12
* New function Errors.noncritical for restricting try ... with ...Gravatar letouzey2013-03-12
* Updated Exninfo to the new Store type.Gravatar ppedrot2013-03-12
* Allowing different types of, not to be mixed, generic Stores throughGravatar ppedrot2013-03-12
* More monomorphization.Gravatar ppedrot2013-03-05
* Missing primitive in CArrayGravatar ppedrot2013-03-05
* New -no-native-compiler flag for configure, globally disabling the nativeGravatar mdenes2013-02-24
* Removing Exc_located and using the new exception enrichementGravatar ppedrot2013-02-18
* Adding more primitives to ExninfoGravatar ppedrot2013-02-18
* Updating the backtrace handling mechanism to accomodate the newGravatar ppedrot2013-02-18
* Added exception enrichment. Now one can define additional arbitraryGravatar ppedrot2013-02-18
* v8.4: Granting bug/wish #2976 (turning anomaly on input_value into nice message)Gravatar herbelin2013-02-01
* Actually adding backtrace handling.Gravatar ppedrot2013-01-28
* Added backtrace primitives.Gravatar ppedrot2013-01-28
* Uniformization of the "anomaly" command.Gravatar ppedrot2013-01-28
* Added backtrace information to anomaliesGravatar ppedrot2013-01-28
* New implementation of the conversion test, using normalization by evaluation toGravatar mdenes2013-01-22
* Envar: in w32, add .exe when searching for caml binariesGravatar letouzey2013-01-12
* Array.create is deprecatedGravatar pboutill2012-12-19
* Fix coqtop -config when absolute path have been given for ocaml*Gravatar pboutill2012-12-19
* Moving hcons_string to String namespace.Gravatar ppedrot2012-12-14
* Moved Stringset and Stringmap to String namespace.Gravatar ppedrot2012-12-14
* Moved Intset and Intmap to Int namespace.Gravatar ppedrot2012-12-14
* Documented CString.Gravatar ppedrot2012-12-13
* Renamed Option.Misc.compare to the more uniform Option.equal.Gravatar ppedrot2012-12-13
* Ensure that a function declared with a label is used with itGravatar letouzey2012-12-08
* 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