aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/micromega/mfourier.ml
Commit message (Expand)AuthorAge
* Micromega clean-upGravatar Maxime Dénès2018-06-07
* Disambiguate Polynomial.Hyp and Mfourier.Hyp -> AssumGravatar Gaetan Gilbert2017-04-27
* errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...Gravatar Pierre Letouzey2016-07-03
* Fix typos.Gravatar Guillaume Melquiond2016-01-01
* Merge branch 'v8.5'Gravatar Pierre-Marie Pédrot2015-10-15
|\
| * Fix some typos.Gravatar Guillaume Melquiond2015-10-13
* | micromega : options to limit proof searchGravatar Frédéric Besson2015-05-26
|/
* Correct a spelling mistakeGravatar Jason Gross2014-08-25
* Fixing ml-doc.Gravatar Pierre-Marie Pédrot2014-05-01
* Fixing some generic equalities in Micromega.Gravatar Pierre-Marie Pédrot2014-03-03
* Fixing pervasive comparisonsGravatar Pierre-Marie Pédrot2014-03-01
* Restrict (try...with...) to avoid catching critical exn (part 11)Gravatar letouzey2013-03-13
* Monomorphized a lot of equalities over OCaml integers, thanks toGravatar ppedrot2012-11-08
* Improved lia + experimental nliaGravatar fbesson2011-05-09
* Delete trailing whitespaces in all *.{v,ml*} filesGravatar glondu2009-09-17
* micromega : Better parsing of formulae - smaller proof terms for Z - redesign...Gravatar fbesson2009-07-30
* Directory 'contrib' renamed into 'plugins', to end confusion with archive of ...Gravatar letouzey2009-03-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-13 15:53:52 +0000