aboutsummaryrefslogtreecommitdiff
path: root/checker/check.mllib
AgeCommit message (Expand)Author
2014-08-04STM: encapsulate Pp.message in Feedback.feedbackCarst Tankink
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-06-07Moving a Thread.yield in check_interrupt.Pierre-Marie Pédrot
2014-06-07Adding a new Control file centralizing the control options of Coq.Pierre-Marie Pédrot
2014-05-06- Fix comparison of universes.Matthieu Sozeau
2014-04-08printer for coqchkEnrico Tassi
2014-03-05Adding a canary library. This canary is imperfect. It allows serializationPierre-Marie Pédrot
2014-03-05Added a new module HMap. It works (almost) like Map, except that it expectsPierre-Marie Pédrot
2014-03-05Adding a CSet module in Coq lib.Pierre-Marie Pédrot
2013-10-18Ephemeron: marshaling friendly keysgareuselesinge
2013-09-06Moving Searchstack to CStack, and normalizing names a bit.ppedrot
2013-08-25Added a more efficient way to recover the domain of a map.ppedrot
2013-08-20Fix compilation of coqcheckgareuselesinge
2013-08-08State Transaction Machinegareuselesinge
2013-05-12Added a generic notion of hook. Hooks are functions to be setppedrot
2013-05-08Uniformizing the [if_warn] flag used for warning printing and putppedrot
2013-04-15Checker: vo validation is now done in check.ml (and always)letouzey
2013-04-15Checker: reified encoding of .vo types in values.mlletouzey
2013-03-13Fix compilation of coqchk (broken by commit 16268), bis repetitaletouzey
2013-03-13Fix compilation of coqchk (broken by commit 16268)letouzey
2013-02-18Added exception enrichment. Now one can define additional arbitraryppedrot
2013-01-28Added backtrace primitives.ppedrot
2012-12-14Moving hcons_string to String namespace.ppedrot
2012-11-13Added a CString module.ppedrot
2012-11-08Added an Int module with dummy utility functions.ppedrot
2012-10-04Getting rid of Compat in the checker.ppedrot
2012-10-04Moved Compat to parsing. This permits to break the dependency of theppedrot
2012-09-26Reusing the Hashset data structure in Hashcons. Hopefully, this shouldppedrot
2012-09-18More cleanup of Util: utf8 aspects moved to a new file unicode.mlletouzey
2012-09-18Cleaning interface of Util.ppedrot
2012-09-14As r15801: putting everything from Util.array_* to CArray.*.ppedrot
2012-09-14Moving Utils.list_* to a proper CList module, which includes stdlibppedrot
2012-06-22Added an indirection with respect to Loc in Compat. As many [open Compat]ppedrot
2012-04-12lib directory is cut in 2 cma.pboutill
2012-03-02Noise for nothingpboutill
2010-01-08* Segmenttree: New. A very simple implementation of segment trees.regisgia
2009-12-20* Rewrite [classify_unicode] using standard unicode tables.regisgia
2009-03-20Many changes in the Makefile infrastructure + a beginning of ocamlbuildletouzey
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 02:47:47 +0000