| Commit message (Expand) | Author | Age |
* | Modularization of BinInt, related fixes in the stdlib | letouzey | 2011-05-05 |
* | Modularization of BinNat + fixes of stdlib | letouzey | 2011-05-05 |
* | Modularization of BinPos + fixes in Stdlib | letouzey | 2011-05-05 |
* | Definitions of positive, N, Z moved in Numbers/BinNums.v | letouzey | 2011-05-05 |
* | bug fix: concurrent access of persistent_cache | fbesson | 2011-04-21 |
* | Rename rawterm.ml into glob_term.ml | glondu | 2010-12-23 |
* | Some more revision of {P,N,Z}Arith + bitwise ops in Ndigits | letouzey | 2010-11-18 |
* | Solve name conflict about pow introduced by commit 13546. | letouzey | 2010-10-21 |
* | Still some more Cpow in Type rather than Set (cf. r13542) | letouzey | 2010-10-21 |
* | Fix unescaped end-of-lines (OCaml warning 29) | glondu | 2010-09-13 |
* | Updated all headers for 8.3 and trunk | herbelin | 2010-07-24 |
* | Reverted 13293 commited mistakenly. Sorry for the noise. | herbelin | 2010-07-18 |
* | Tentative de suppression de l'import automatique des hints et coercions. | herbelin | 2010-07-18 |
* | QArith: typo in name of hint db (fix #2346) | letouzey | 2010-06-29 |
* | A little bit of cleanup, and some annotations. | fkirchne | 2010-05-28 |
* | Modify the test for csdp and associated message. | fkirchne | 2010-05-28 |
* | ... | fkirchne | 2010-05-28 |
* | Remove the svn-specific $Id$ annotations | letouzey | 2010-04-29 |
* | Look for csdp in $PATH at runtime, remove -csdpdir configure option | glondu | 2010-04-11 |
* | Remove unused functions run_sdpa | glondu | 2010-04-11 |
* | Manual qualification of Mfourier.Proof in micromega to avoid ocamldep using i... | letouzey | 2010-03-30 |
* | Application des patches envoyés par F. Besson pour micromega | notin | 2010-03-08 |
* | Factorisation between Makefile and ocamlbuild systems : .vo to compile are in... | letouzey | 2009-12-09 |
* | Sos.ml: no more warnings | letouzey | 2009-12-08 |
* | OrderedType implementation for various numerical datatypes + min/max structures | letouzey | 2009-11-03 |
* | Removal of trailing spaces. | serpyc | 2009-10-04 |
* | Fix the stdlib doc compilation + switch all .v file to utf8 | letouzey | 2009-09-28 |
* | micromega: better handling of exponentiation + correction of test-suite termi... | fbesson | 2009-09-18 |
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | Znumtheory + Zdiv enriched with stuff from ZMicromega, misc improvements | letouzey | 2009-09-09 |
* | git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 85f007b7-540e-0... | fbesson | 2009-08-25 |
* | new csdp cache + improved error message | fbesson | 2009-08-20 |
* | new csdp cache + improved error message | fbesson | 2009-08-20 |
* | addition of lia.cache - csdp.cache is now handled by micromega not csdpcert | fbesson | 2009-07-31 |
* | micromega : Better parsing of formulae - smaller proof terms for Z - redesign... | fbesson | 2009-07-30 |
* | micromega: proof compression bugfix | fbesson | 2009-05-11 |
* | Csdpcert: adaptation after last commit | letouzey | 2009-03-29 |
* | Micromega: improvement of the code obtained by extraction | letouzey | 2009-03-29 |
* | ZMicromega: useless dependency toward ZArith.Int | letouzey | 2009-03-28 |
* | Many changes in the Makefile infrastructure + a beginning of ocamlbuild | letouzey | 2009-03-20 |
* | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | letouzey | 2009-03-20 |