aboutsummaryrefslogtreecommitdiffhomepage
path: root/contrib/micromega
Commit message (Expand)AuthorAge
* Install csdpcert with librariesGravatar glondu2008-08-16
* micromega : bug fixes and optimisationsGravatar fbesson2008-08-07
* Micromega: doc + test-suite updateGravatar fbesson2008-07-07
* Fix bug #1899: no more strange notations for Qge and QgtGravatar letouzey2008-07-04
* Improved robustness of micromega parser. Proof search of Micromega test-suite...Gravatar fbesson2008-07-02
* Micromega : bugs fixes - renaming of tactics - documentationGravatar fbesson2008-06-25
* Suppression de la dépendance de Micromega envers Coq.Reals.Reals. Corrige le...Gravatar notin2008-06-10
* Corrections d'erreurs rapportées par Frédéric Besson sur le précédentGravatar herbelin2008-05-20
* Intégration de micromega ("omicron" pour fourier et sa variante sur Z,Gravatar herbelin2008-05-19
* Adaptation des fichiers de micromega suite aux changements dansGravatar notin2008-04-25
* Added NIso.v to Makefile.common. Changed Examples.v in contrib/micromega to u...Gravatar emakarov2007-10-25
* Changed RingMicromega to use NRing instead of Ring_polynom. NRing is a versio...Gravatar emakarov2007-10-18
* Added transitivity and irreflexivity of <, as well as < -elimination for bina...Gravatar emakarov2007-10-16
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-10 00:46:03 +0000