summaryrefslogtreecommitdiff
path: root/plugins/micromega
ModeNameSize
-rw-r--r--CheckerMaker.v4858logplain
-rw-r--r--Env.v4817logplain
-rw-r--r--EnvRing.v43797logplain
-rw-r--r--LICENSE.sos1583logplain
-rw-r--r--MExtraction.v2051logplain
-rw-r--r--OrderedRing.v14122logplain
-rw-r--r--Psatz.v3718logplain
-rw-r--r--QMicromega.v6259logplain
-rw-r--r--RMicromega.v5407logplain
-rw-r--r--Refl.v3548logplain
-rw-r--r--RingMicromega.v27315logplain
-rw-r--r--Tauto.v8949logplain
-rw-r--r--VarMap.v6716logplain
-rw-r--r--ZCoeff.v5256logplain
-rw-r--r--ZMicromega.v29901logplain
-rw-r--r--certificate.ml25303logplain
-rw-r--r--coq_micromega.ml54142logplain
-rw-r--r--csdpcert.ml6832logplain
-rw-r--r--g_micromega.ml42160logplain
-rw-r--r--mfourier.ml31316logplain
-rw-r--r--micromega.ml52302logplain
-rw-r--r--micromega.mli10246logplain
-rw-r--r--micromega_plugin.mllib112logplain
-rw-r--r--mutils.ml9215logplain
-rw-r--r--persistent_cache.ml4566logplain
-rw-r--r--sos.ml74309logplain
-rw-r--r--sos.mli1161logplain
-rw-r--r--sos_lib.ml22335logplain
-rw-r--r--sos_types.ml2796logplain
-rw-r--r--vo.itarget154logplain