aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/micromega
ModeNameSize
-rw-r--r--Env.v3099logplain
-rw-r--r--EnvRing.v31047logplain
-rw-r--r--LICENSE.sos1583logplain
-rw-r--r--Lia.v1707logplain
-rw-r--r--Lqa.v2003logplain
-rw-r--r--Lra.v2065logplain
-rw-r--r--MExtraction.v2323logplain
-rw-r--r--OrderedRing.v14119logplain
-rw-r--r--Psatz.v2058logplain
-rw-r--r--QMicromega.v6646logplain
-rw-r--r--RMicromega.v13836logplain
-rw-r--r--Refl.v3548logplain
-rw-r--r--RingMicromega.v31534logplain
-rw-r--r--Tauto.v14186logplain
-rw-r--r--VarMap.v2502logplain
-rw-r--r--ZCoeff.v5381logplain
-rw-r--r--ZMicromega.v31069logplain
-rw-r--r--certificate.ml38962logplain
-rw-r--r--coq_micromega.ml80094logplain
-rw-r--r--csdpcert.ml6827logplain
-rw-r--r--g_micromega.ml43071logplain
-rw-r--r--mfourier.ml28521logplain
-rw-r--r--micromega.ml50022logplain
-rw-r--r--micromega.mli11735logplain
-rw-r--r--micromega_plugin.mlpack102logplain
-rw-r--r--mutils.ml11232logplain
-rw-r--r--persistent_cache.ml6117logplain
-rw-r--r--polynomial.ml19228logplain
-rw-r--r--sos.ml74902logplain
-rw-r--r--sos.mli1161logplain
-rw-r--r--sos_lib.ml22310logplain
-rw-r--r--sos_types.ml2796logplain
-rw-r--r--vo.itarget159logplain