index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
plugins
/
micromega
/
coq_micromega.ml
Age
Commit message (
Expand
)
Author
2010-03-08
Application des patches envoyés par F. Besson pour micromega
notin
2009-11-03
OrderedType implementation for various numerical datatypes + min/max structures
letouzey
2009-10-04
Removal of trailing spaces.
serpyc
2009-09-18
micromega: better handling of exponentiation + correction of test-suite termi...
fbesson
2009-09-17
Delete trailing whitespaces in all *.{v,ml*} files
glondu
2009-08-25
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12294 85f007b7-540e-0...
fbesson
2009-08-20
new csdp cache + improved error message
fbesson
2009-08-20
new csdp cache + improved error message
fbesson
2009-07-31
addition of lia.cache - csdp.cache is now handled by micromega not csdpcert
fbesson
2009-07-30
micromega : Better parsing of formulae - smaller proof terms for Z - redesign...
fbesson
2009-05-11
micromega: proof compression bugfix
fbesson
2009-03-29
Micromega: improvement of the code obtained by extraction
letouzey
2009-03-20
Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...
letouzey
