index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
checker
Commit message (
Expand
)
Author
Age
*
Minor code cleaning in CArray / CList.
ppedrot
2013-03-23
*
Removing mandatory suffixes for library files.
ppedrot
2013-03-21
*
Checker: simplify a bit its exception handler
letouzey
2013-03-17
*
Fix compilation of coqchk (broken by commit 16268), bis repetita
letouzey
2013-03-13
*
Fix compilation of coqchk (broken by commit 16268)
letouzey
2013-03-13
*
Restrict (try...with...) to avoid catching critical exn (part 2)
letouzey
2013-03-12
*
Restrict (try...with...) to avoid catching critical exn (part 1)
letouzey
2013-03-12
*
More monomorphization.
ppedrot
2013-03-05
*
Names: shortcuts for building {kn, constant, mind} with empty sections
letouzey
2013-02-26
*
Names: Modularize constant and mutual_inductive
letouzey
2013-02-26
*
Dir_path --> DirPath
letouzey
2013-02-19
*
Names: revised representation of constants and mutual_inductive
letouzey
2013-02-19
*
Removing Exc_located and using the new exception enrichement
ppedrot
2013-02-18
*
Added exception enrichment. Now one can define additional arbitrary
ppedrot
2013-02-18
*
use List.rev_map whenever possible
letouzey
2013-02-18
*
Minor code cleanups, especially take advantage of Dir_path.is_empty
letouzey
2013-02-18
*
make validate repaired via a temporary fix for #2949
letouzey
2013-02-13
*
Checker: re-sync vo structures after Maxime's commit 16136
letouzey
2013-02-12
*
Fixing coqchk compilation after commit r16183
ppedrot
2013-02-03
*
Added backtrace primitives.
ppedrot
2013-01-28
*
Uniformization of the "anomaly" command.
ppedrot
2013-01-28
*
Added backtrace information to anomalies
ppedrot
2013-01-28
*
Array.create is deprecated
pboutill
2012-12-19
*
Modulification of mod_bound_id
ppedrot
2012-12-18
*
Modulification of Label
ppedrot
2012-12-18
*
Modulification of dir_path
ppedrot
2012-12-14
*
Modulification of identifier
ppedrot
2012-12-14
*
Moving hcons_string to String namespace.
ppedrot
2012-12-14
*
Cleaning and small optimization in CList.
ppedrot
2012-11-20
*
Added a CString module.
ppedrot
2012-11-13
*
Added an Int module with dummy utility functions.
ppedrot
2012-11-08
*
univ inconsistency error message gives evidence of a cycle
barras
2012-10-17
*
still some more dead code removal
letouzey
2012-10-06
*
Getting rid of Compat in the checker.
ppedrot
2012-10-04
*
Moved Compat to parsing. This permits to break the dependency of the
ppedrot
2012-10-04
*
Reusing the Hashset data structure in Hashcons. Hopefully, this should
ppedrot
2012-09-26
*
More cleanup of Util: utf8 aspects moved to a new file unicode.ml
letouzey
2012-09-18
*
Cleaning interface of Util.
ppedrot
2012-09-18
*
More cleaning on Utils and CList. Some parts of the code being
ppedrot
2012-09-17
*
As r15801: putting everything from Util.array_* to CArray.*.
ppedrot
2012-09-14
*
Moving Utils.list_* to a proper CList module, which includes stdlib
ppedrot
2012-09-14
*
Made Pp.std_ppcmds opaque.
ppedrot
2012-09-13
*
Updating headers.
herbelin
2012-08-08
*
Fixing camlp4 compilation w.r.t previous commit
ppedrot
2012-06-22
*
Added an indirection with respect to Loc in Compat. As many [open Compat]
ppedrot
2012-06-22
*
Flushing formatters before program exit.
ppedrot
2012-06-02
*
Getting rid of Pp.msgnl and Pp.message.
ppedrot
2012-06-01
*
Getting rid of Pp.msg
ppedrot
2012-05-30
*
More uniformisation in Pp.warn functions.
ppedrot
2012-05-30
*
remove many excessive open Util & Errors in mli's
letouzey
2012-05-29
[next]