aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
Commit message (Expand)AuthorAge
* Restrict (try...with...) to avoid catching critical exn (part 2)Gravatar letouzey2013-03-12
* Restrict (try...with...) to avoid catching critical exn (part 1)Gravatar letouzey2013-03-12
* More monomorphization.Gravatar ppedrot2013-03-05
* Names: shortcuts for building {kn, constant, mind} with empty sectionsGravatar letouzey2013-02-26
* Names: Modularize constant and mutual_inductiveGravatar letouzey2013-02-26
* Dir_path --> DirPathGravatar letouzey2013-02-19
* Names: revised representation of constants and mutual_inductiveGravatar letouzey2013-02-19
* Removing Exc_located and using the new exception enrichementGravatar ppedrot2013-02-18
* Added exception enrichment. Now one can define additional arbitraryGravatar ppedrot2013-02-18
* use List.rev_map whenever possibleGravatar letouzey2013-02-18
* Minor code cleanups, especially take advantage of Dir_path.is_emptyGravatar letouzey2013-02-18
* make validate repaired via a temporary fix for #2949Gravatar letouzey2013-02-13
* Checker: re-sync vo structures after Maxime's commit 16136Gravatar letouzey2013-02-12
* Fixing coqchk compilation after commit r16183Gravatar ppedrot2013-02-03
* Added backtrace primitives.Gravatar ppedrot2013-01-28
* Uniformization of the "anomaly" command.Gravatar ppedrot2013-01-28
* Added backtrace information to anomaliesGravatar ppedrot2013-01-28
* Array.create is deprecatedGravatar pboutill2012-12-19
* Modulification of mod_bound_idGravatar ppedrot2012-12-18
* Modulification of LabelGravatar ppedrot2012-12-18
* Modulification of dir_pathGravatar ppedrot2012-12-14
* Modulification of identifierGravatar ppedrot2012-12-14
* Moving hcons_string to String namespace.Gravatar ppedrot2012-12-14
* Cleaning and small optimization in CList.Gravatar ppedrot2012-11-20
* Added a CString module.Gravatar ppedrot2012-11-13
* Added an Int module with dummy utility functions.Gravatar ppedrot2012-11-08
* univ inconsistency error message gives evidence of a cycleGravatar barras2012-10-17
* still some more dead code removalGravatar letouzey2012-10-06
* Getting rid of Compat in the checker.Gravatar ppedrot2012-10-04
* Moved Compat to parsing. This permits to break the dependency of theGravatar ppedrot2012-10-04
* Reusing the Hashset data structure in Hashcons. Hopefully, this shouldGravatar ppedrot2012-09-26
* 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
* As r15801: putting everything from Util.array_* to CArray.*.Gravatar ppedrot2012-09-14
* Moving Utils.list_* to a proper CList module, which includes stdlibGravatar ppedrot2012-09-14
* Made Pp.std_ppcmds opaque.Gravatar ppedrot2012-09-13
* Updating headers.Gravatar herbelin2012-08-08
* Fixing camlp4 compilation w.r.t previous commitGravatar ppedrot2012-06-22
* Added an indirection with respect to Loc in Compat. As many [open Compat]Gravatar ppedrot2012-06-22
* Flushing formatters before program exit.Gravatar ppedrot2012-06-02
* Getting rid of Pp.msgnl and Pp.message.Gravatar ppedrot2012-06-01
* Getting rid of Pp.msgGravatar ppedrot2012-05-30
* More uniformisation in Pp.warn functions.Gravatar ppedrot2012-05-30
* remove many excessive open Util & Errors in mli'sGravatar letouzey2012-05-29
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12
* Adapt the checker after commit 15080Gravatar letouzey2012-03-26
* Module names and constant/inductive names are now in two separate namespacesGravatar letouzey2012-03-26
* Univ: enforce_leq instead of enforce_geq for more uniformityGravatar letouzey2012-03-22
* Noise for nothingGravatar pboutill2012-03-02