Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update headers following #6543. | Théo Zimmermann | 2018-02-27 |
| | |||
* | Replacing Hashtbl.add by Hashtbl.replace in micromega cache building. | Hugo Herbelin | 2017-12-05 |
| | | | | This fixes #6286 as suggested by PMP. See details of discussion at #6286. | ||
* | Bump year in headers. | Pierre-Marie Pédrot | 2017-07-04 |
| | |||
* | errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib ↵ | Pierre Letouzey | 2016-07-03 |
| | | | | | | module) For the moment, there is an Error module in compilers-lib/ocamlbytecomp.cm(x)a | ||
* | Disable memoization rather than failing when files cannot be opened. | Guillaume Melquiond | 2016-05-20 |
| | | | | | Anomaly: Uncaught exception Unix.Unix_error(Unix.EACCES, "open", "lia.cache"). Please report. | ||
* | Update copyright headers. | Maxime Dénès | 2016-01-20 |
| | |||
* | Update headers. | Maxime Dénès | 2015-01-12 |
| | |||
* | Bugfix 3604 : more robust Unix.lockf | Frédéric Besson | 2014-10-22 |
| | |||
* | Fixing some generic equalities in Micromega. | Pierre-Marie Pédrot | 2014-03-03 |
| | |||
* | Restrict (try...with...) to avoid catching critical exn (part 15) | letouzey | 2013-03-13 |
| | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16292 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | Updating headers. | herbelin | 2012-08-08 |
| | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15715 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | Try to make the use of Unix.lockf in micromega compatible with Win32 | letouzey | 2012-08-06 |
| | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15684 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | bug fix: concurrent access of persistent_cache | fbesson | 2011-04-21 |
| | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14037 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
| | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13323 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
| | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12337 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | new csdp cache + improved error message | fbesson | 2009-08-20 |
| | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12286 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | addition of lia.cache - csdp.cache is now handled by micromega not csdpcert | fbesson | 2009-07-31 |
| | | | | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12255 85f007b7-540e-0410-9357-904b9bb8a0f7 | ||
* | micromega : Better parsing of formulae - smaller proof terms for Z - ↵ | fbesson | 2009-07-30 |
redesign of proof cache git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12254 85f007b7-540e-0410-9357-904b9bb8a0f7 |