aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/micromega
ModeNameSize
-rw-r--r--CheckerMaker.v4896logplain
-rw-r--r--Env.v4557logplain
-rw-r--r--EnvRing.v43736logplain
-rw-r--r--LICENSE.sos1583logplain
-rw-r--r--MExtraction.v2316logplain
-rw-r--r--OrderedRing.v14122logplain
-rw-r--r--Psatz.v4129logplain
-rw-r--r--QMicromega.v6629logplain
-rw-r--r--RMicromega.v13867logplain
-rw-r--r--Refl.v3548logplain
-rw-r--r--RingMicromega.v31624logplain
-rw-r--r--Tauto.v14168logplain
-rw-r--r--VarMap.v1862logplain
-rw-r--r--ZCoeff.v5235logplain
-rw-r--r--ZMicromega.v31273logplain
-rw-r--r--certificate.ml37439logplain
-rw-r--r--coq_micromega.ml64888logplain
-rw-r--r--csdpcert.ml6833logplain
-rw-r--r--g_micromega.ml42324logplain
-rw-r--r--mfourier.ml28270logplain
-rw-r--r--micromega.ml99626logplain
-rw-r--r--micromega.mli24673logplain
-rw-r--r--micromega_plugin.mllib123logplain
-rw-r--r--mutils.ml10885logplain
-rw-r--r--persistent_cache.ml5228logplain
-rw-r--r--polynomial.ml19419logplain
-rw-r--r--sos.ml74411logplain
-rw-r--r--sos.mli1161logplain
-rw-r--r--sos_lib.ml22335logplain
-rw-r--r--sos_types.ml2796logplain
-rw-r--r--vo.itarget154logplain