Commit 1e35d2e3 authored by MARCHE Claude's avatar MARCHE Claude

Support for Alt-Ergo 2.2.0

parent 031f2398
:x: marks a potential source of incompatibility
Provers
* support for Alt-Ergo 2.2.0 (released Apr 26, 2018)
* support for Alt-Ergo 2.1.0 (released Mar 14, 2018)
Version 1.0.0, June 25, 2018
----------------------------
......
......@@ -34,6 +34,7 @@
<prover id="29" name="Alt-Ergo" version="1.30" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="30" name="Isabelle" version="2016-1" timelimit="100" steplimit="1" memlimit="1000"/>
<prover id="31" name="CVC4" version="1.5" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="32" name="Alt-Ergo" version="2.2.0" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="33" name="Z3" version="4.6.0" timelimit="1" steplimit="0" memlimit="1000"/>
<prover id="34" name="Coq" version="8.7.1" timelimit="5" steplimit="1" memlimit="4000"/>
<file name="../genealogy.why" proved="true">
......@@ -67,6 +68,7 @@
<proof prover="29"><result status="valid" time="0.00" steps="10"/></proof>
<proof prover="30" edited="genealogy_Genealogy_Child_is_son_or_daughter_1.xml"><result status="valid" time="21.67"/></proof>
<proof prover="31"><result status="valid" time="0.00"/></proof>
<proof prover="32"><result status="valid" time="0.00" steps="5"/></proof>
<proof prover="33"><result status="valid" time="0.02"/></proof>
<proof prover="34" edited="genealogy_Genealogy_Child_is_son_or_daughter_1.v"><result status="valid" time="0.31"/></proof>
</goal>
......@@ -100,6 +102,7 @@
<proof prover="29"><result status="valid" time="0.00" steps="3"/></proof>
<proof prover="30" edited="genealogy_Genealogy_Sibling_sym_1.xml"><result status="valid" time="21.58"/></proof>
<proof prover="31"><result status="valid" time="0.00"/></proof>
<proof prover="32"><result status="valid" time="0.00" steps="4"/></proof>
<proof prover="33"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="Sibling_is_brother_or_sister" proved="true">
......@@ -130,6 +133,7 @@
<proof prover="29"><result status="valid" time="0.00" steps="10"/></proof>
<proof prover="30" edited="genealogy_Genealogy_Sibling_is_brother_or_sister_1.xml"><result status="valid" time="22.73"/></proof>
<proof prover="31"><result status="valid" time="0.00"/></proof>
<proof prover="32"><result status="valid" time="0.00" steps="5"/></proof>
<proof prover="33"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="Grandparent_is_grandfather_or_grandmother" proved="true">
......@@ -161,6 +165,7 @@
<proof prover="29"><result status="valid" time="0.00" steps="36"/></proof>
<proof prover="30" edited="genealogy_Genealogy_Grandparent_is_grandfather_or_grandmother_1.xml"><result status="valid" time="24.37"/></proof>
<proof prover="31"><result status="valid" time="0.00"/></proof>
<proof prover="32"><result status="valid" time="0.00" steps="20"/></proof>
<proof prover="33"><result status="valid" time="0.01"/></proof>
</goal>
<goal name="Grandfather_male" proved="true">
......@@ -192,6 +197,7 @@
<proof prover="28"><result status="valid" time="0.00"/></proof>
<proof prover="29"><result status="valid" time="0.00" steps="8"/></proof>
<proof prover="31"><result status="valid" time="0.00"/></proof>
<proof prover="32"><result status="valid" time="0.00" steps="11"/></proof>
<proof prover="33"><result status="valid" time="0.02"/></proof>
</goal>
<goal name="Grandmother_female" proved="true">
......@@ -223,6 +229,7 @@
<proof prover="28"><result status="valid" time="0.00"/></proof>
<proof prover="29"><result status="valid" time="0.00" steps="8"/></proof>
<proof prover="31"><result status="valid" time="0.00"/></proof>
<proof prover="32"><result status="valid" time="0.00" steps="11"/></proof>
<proof prover="33"><result status="valid" time="0.01"/></proof>
</goal>
<goal name="Only_two_grandfathers" proved="true">
......@@ -254,6 +261,7 @@
<proof prover="28"><result status="valid" time="0.01"/></proof>
<proof prover="29"><result status="valid" time="0.00" steps="9"/></proof>
<proof prover="31"><result status="valid" time="0.00"/></proof>
<proof prover="32"><result status="valid" time="0.00" steps="18"/></proof>
<proof prover="33"><result status="valid" time="0.02"/></proof>
</goal>
</theory>
......
[ATP alt-ergo]
name = "Alt-Ergo"
exec = "alt-ergo"
exec = "alt-ergo-2.2.0"
exec = "alt-ergo-2.1.0"
exec = "alt-ergo-2.0.0"
exec = "alt-ergo-1.30"
exec = "alt-ergo-1.01"
version_switch = "-version"
version_regexp = "^\\([0-9.]+\\)$"
version_ok = "2.2.0"
version_ok = "2.1.0"
version_ok = "2.0.0"
version_old = "1.30"
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment