aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/micromega
ModeNameSize
-rw-r--r--Env.v3249logplain
-rw-r--r--EnvRing.v31377logplain
-rw-r--r--LICENSE.sos1583logplain
-rw-r--r--Lia.v1857logplain
-rw-r--r--Lqa.v2153logplain
-rw-r--r--Lra.v2215logplain
-rw-r--r--MExtraction.v2684logplain
-rw-r--r--OrderedRing.v14269logplain
-rw-r--r--Psatz.v2208logplain
-rw-r--r--QMicromega.v6796logplain
-rw-r--r--RMicromega.v8485logplain
-rw-r--r--Refl.v3698logplain
-rw-r--r--RingMicromega.v31705logplain
-rw-r--r--Tauto.v14324logplain
-rw-r--r--VarMap.v2502logplain
-rw-r--r--ZCoeff.v5531logplain
-rw-r--r--ZMicromega.v31219logplain
-rw-r--r--certificate.ml34753logplain
-rw-r--r--certificate.mli1232logplain
-rw-r--r--coq_micromega.ml74049logplain
-rw-r--r--coq_micromega.mli1406logplain
-rw-r--r--csdpcert.ml6190logplain
-rw-r--r--csdpcert.mli675logplain
-rw-r--r--g_micromega.ml43195logplain
-rw-r--r--g_micromega.mli675logplain
-rw-r--r--mfourier.ml27171logplain
-rw-r--r--mfourier.mli1473logplain
-rw-r--r--micromega.ml49662logplain
-rw-r--r--micromega.mli11724logplain
-rw-r--r--micromega_plugin.mlpack102logplain
-rw-r--r--mutils.ml8987logplain
-rw-r--r--mutils.mli2225logplain
-rw-r--r--persistent_cache.ml6282logplain
-rw-r--r--persistent_cache.mli1902logplain
-rw-r--r--polynomial.ml17824logplain
-rw-r--r--polynomial.mli2936logplain
-rw-r--r--sos.ml45413logplain
-rw-r--r--sos.mli1311logplain
-rw-r--r--sos_lib.ml19519logplain
-rw-r--r--sos_lib.mli3051logplain
-rw-r--r--sos_types.ml2946logplain
-rw-r--r--sos_types.mli1421logplain