diff options
author | Frédéric Besson <frederic.besson@inria.fr> | 2015-04-27 17:35:59 +0200 |
---|---|---|
committer | Frédéric Besson <frederic.besson@inria.fr> | 2015-04-28 18:52:12 +0200 |
commit | 72644c7f7b3f0fcc56779acfcfa4bfc9f041ebde (patch) | |
tree | e7ca6d2bb16047debdbc0232519c99a11d9a8d0d /test-suite/bugs/opened/1338.v-disabled | |
parent | 148cf78a4d85ec56818a8ff00719a775670950b9 (diff) |
maintenance micromega plugin
- add a nra tactic (similar to nia) for non-linear real arithmetic tactic
- fix a long-standing bug in the reification code
- port to the new proof-engine
Diffstat (limited to 'test-suite/bugs/opened/1338.v-disabled')
0 files changed, 0 insertions, 0 deletions