aboutsummaryrefslogtreecommitdiffhomepage
path: root/checker
Commit message (Expand)AuthorAge
* ported r14149 from v8.3 branch: bug in checker (redefined global)Gravatar barras2011-05-23
* Modops: the strengthening functions can work without any env argumentGravatar letouzey2011-05-17
* Add directories in COQPATH to search path.Gravatar herbelin2011-04-14
* Reorder search path order, so the standard library is search last.Gravatar herbelin2011-04-14
* Subtyping: align coqtop behavior concerning opaque csts on coqchk's oneGravatar letouzey2011-04-12
* Lazy loading of opaque proofs: fast as -dont-load-proofs without its drawbacksGravatar letouzey2011-04-03
* checker: cleanupGravatar glondu2011-03-04
* checker: add eta-expansionGravatar glondu2011-03-04
* Propagate recent kernel changes to the checkerGravatar letouzey2011-03-03
* - Use transparency information all the way through unification andGravatar msozeau2011-02-17
* A fine-grain control of inlining at functor application via priority levelsGravatar letouzey2011-01-31
* Univ.constraints made fully abstract instead of being a Set of abstract stuffGravatar letouzey2010-12-18
* Fix function applications without labels (OCaml warning 6)Gravatar glondu2010-09-28
* Checker: remove some dead codeGravatar letouzey2010-09-24
* Some dead code removal, thanks to Oug analyzerGravatar letouzey2010-09-24
* Fix inconsistency in Prop/Set conversion checkGravatar glondu2010-09-23
* Explicit Mod_checking signatureGravatar glondu2010-09-16
* Sharing is not anymore broken by traverse_module.Gravatar soubiran2010-09-15
* Fix likely semantic typosGravatar glondu2010-09-15
* Fix unescaped end-of-lines (OCaml warning 29)Gravatar glondu2010-09-13
* * checker/Safe_typing.LightenLibrary:Gravatar regisgia2010-08-27
* * (checker|kernel)/Safe_typing:Gravatar regisgia2010-08-27
* * (checker|kernel)/Safe_typing:Gravatar regisgia2010-08-27
* * checker/SafeTyping kernel/SafeTyping:Gravatar regisgia2010-08-27
* * lib/Flags: Replace dont_load_proofs by load_proofs since not loadingGravatar regisgia2010-08-27
* * Improve documentation of LightenLibrary.Gravatar regisgia2010-08-27
* * (checker|kernel)/Safe_typing: New LightenLibrary.Gravatar regisgia2010-08-27
* adpated the checker to handle coomutative cuts and lazynessGravatar barras2010-07-30
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* ported bug fix r13290 to checkerGravatar barras2010-07-22
* Fix typosGravatar glondu2010-06-02
* Cleanup: remove code specific for ocaml 3.06Gravatar letouzey2010-06-01
* Add (almost) compatibility with camlp4, without breaking support for camlp5Gravatar letouzey2010-05-19
* After the approval of Bruno, here the patch for the checker.Gravatar soubiran2010-04-29
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* kills a warning about vo in checker/safe_typingGravatar letouzey2010-03-18
* fixed confusion between number of cstr arguments and number of pattern variab...Gravatar barras2010-03-12
* added validation of delta_resolver (which seem to have an impact on typing)Gravatar barras2010-02-19
* [checker] fixed vo validation problems, module incompatibilities remainGravatar barras2010-02-19
* * Segmenttree: New. A very simple implementation of segment trees.Gravatar regisgia2010-01-08
* * Rewrite [classify_unicode] using standard unicode tables.Gravatar regisgia2009-12-20
* fix coqchk options documentationGravatar barras2009-12-01
* This big commit addresses two problems:Gravatar soubiran2009-10-21
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* Fix a small oversight in checker commit 12288.Gravatar herbelin2009-08-23
* Transfers to checker ("let"s in inductive arities + Coq root read-only).Gravatar herbelin2009-08-22
* Some dead code removal + cleanupsGravatar letouzey2009-04-08
* Many changes in the Makefile infrastructure + a beginning of ocamlbuildGravatar letouzey2009-03-20
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
* porting r11900 11905 and 11953 to trunkGravatar barras2009-03-02