index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
plugins
/
micromega
/
coq_micromega.ml
Commit message (
Expand
)
Author
Age
*
Monomorphized a lot of equalities over OCaml integers, thanks to
ppedrot
2012-11-08
*
The new ocaml compiler (4.00) has a lot of very cool warnings,
regisgia
2012-09-14
*
Updating headers.
herbelin
2012-08-08
*
ZArith + other : favor the use of modern names instead of compat notations
letouzey
2012-07-05
*
More cleaning
ppedrot
2012-06-01
*
lib directory is cut in 2 cma.
pboutill
2012-04-12
*
coq_micromega.ml: fix order of recursive calls to rconstant
glondu
2012-01-14
*
More newlines in debugging output of psatzl
glondu
2012-01-14
*
Coq_micromega: generic = on constr replaced by eq_constr
puech
2011-07-29
*
Q2R -> IQR
fbesson
2011-05-25
*
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14152 85f007b7-540e-0...
fbesson
2011-05-23
*
added support to handle division by a constant over R
fbesson
2011-05-20
*
apply zeta reduction before syntaxification
fbesson
2011-05-18
*
Improved lia + experimental nlia
fbesson
2011-05-09
*
Definitions of positive, N, Z moved in Numbers/BinNums.v
letouzey
2011-05-05
*
Solve name conflict about pow introduced by commit 13546.
letouzey
2010-10-21
*
Updated all headers for 8.3 and trunk
herbelin
2010-07-24
*
Modify the test for csdp and associated message.
fkirchne
2010-05-28
*
...
fkirchne
2010-05-28
*
Look for csdp in $PATH at runtime, remove -csdpdir configure option
glondu
2010-04-11
*
Application des patches envoyés par F. Besson pour micromega
notin
2010-03-08
*
OrderedType implementation for various numerical datatypes + min/max structures
letouzey
2009-11-03
*
Removal of trailing spaces.
serpyc
2009-10-04
*
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
*
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
*
Micromega: improvement of the code obtained by extraction
letouzey
2009-03-29
*
Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...
letouzey
2009-03-20