aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/micromega/polynomial.ml
Commit message (Expand)AuthorAge
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Update headers.Gravatar Maxime Dénès2015-01-12
* Fixing pervasive comparisonsGravatar Pierre-Marie Pédrot2014-03-01
* Get rid of the uses of deprecated OCaml elements (still remaining compatible ...Gravatar xclerc2013-09-19
* Monomorphized a lot of equalities over OCaml integers, thanks toGravatar ppedrot2012-11-08
* The new ocaml compiler (4.00) has a lot of very cool warnings,Gravatar regisgia2012-09-14
* Updating headers.Gravatar herbelin2012-08-08
* Q2R -> IQRGravatar fbesson2011-05-25
* Improved lia + experimental nliaGravatar fbesson2011-05-09