coq - The formal proof system

Age	Commit message (Expand)	Author
2019-04-01	Several improvements and fixes of Lia	Frédéric Besson
2018-10-16	[micromega] remove dead code	Vincent Laporte
2018-10-09	Refactoring of Micromega code using a Simplex linear solver	Frédéric Besson
2018-06-07	Micromega clean-up	Maxime Dénès
2018-02-27	Update headers following #6543.	Théo Zimmermann
2017-07-04	Bump year in headers.	Pierre-Marie Pédrot
2016-07-03	errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib mod...	Pierre Letouzey
2016-04-18	Bugfix micromega: more careful syntaxification of terms of the form (Rinv t)	Frédéric Besson
2016-01-21	Merge branch 'v8.5'	Pierre-Marie Pédrot
2016-01-20	Update copyright headers.	Maxime Dénès
2015-06-06	micromega : fix silly timeout	Frédéric Besson
2015-05-26	micromega : options to limit proof search	Frédéric Besson
2015-04-28	maintenance micromega plugin	Frédéric Besson
2015-01-12	Update headers.	Maxime Dénès
2014-03-03	Fixing some generic equalities in Micromega.	Pierre-Marie Pédrot
2014-03-01	Fixing pervasive comparisons	Pierre-Marie Pédrot
2013-10-14	Remove some uses of local modules (some were unused, some were costly).	xclerc
2013-03-13	Restrict (try...with...) to avoid catching critical exn (part 11)	letouzey
2012-10-02	Remove some more "open" and dead code thanks to OCaml4 warnings	letouzey
2012-09-14	The new ocaml compiler (4.00) has a lot of very cool warnings,	regisgia
2012-08-08	Updating headers.	herbelin
2011-05-25	Q2R -> IQR	fbesson
2011-05-20	added support to handle division by a constant over R	fbesson
2011-05-09	Improved lia + experimental nlia	fbesson
2010-07-24	Updated all headers for 8.3 and trunk	herbelin
2010-05-28	A little bit of cleanup, and some annotations.	fkirchne
2010-03-30	Manual qualification of Mfourier.Proof in micromega to avoid ocamldep using i...	letouzey
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-07-30	micromega : Better parsing of formulae - smaller proof terms for Z - redesign...	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