Commit f086a68c authored by Guillaume Melquiond's avatar Guillaume Melquiond

Clean prover settings a bit.

parent f226c87c
[uninstalled_prover Alt-Ergo1.01]
name = "Alt-Ergo"
version = "1.01"
alternative = ""
policy = "upgrade"
target_alternative = ""
target_name = "Alt-Ergo"
target_version = "2.2.0"
[uninstalled_prover Alt-Ergo1.30]
name = "Alt-Ergo"
version = "1.30"
alternative = ""
policy = "upgrade"
target_alternative = ""
target_name = "Alt-Ergo"
target_version = "2.2.0"
[uninstalled_prover altergo_95_2]
name = "Alt-Ergo"
version = "0.95.2"
alternative = ""
policy = "upgrade"
target_alternative = ""
target_name = "Alt-Ergo"
target_version = "2.2.0"
[uninstalled_prover altergo_99_1]
name = "Alt-Ergo"
version = "0.99.1"
alternative = ""
policy = "upgrade"
target_alternative = ""
target_name = "Alt-Ergo"
target_version = "2.2.0"
[uninstalled_prover altergo_1_01]
name = "Alt-Ergo"
version = "0.1.01"
alternative = ""
policy = "upgrade"
target_alternative = ""
target_name = "Alt-Ergo"
target_version = "2.2.0"
[uninstalled_prover altergo_2_0_0]
name = "Alt-Ergo"
version = "2.0.0"
......@@ -79,6 +34,54 @@ target_alternative = ""
target_name = "CVC4"
target_version = "1.4"
[uninstalled_prover Eprover1.8-001]
name = "Eprover"
version = "1.8-001"
alternative = ""
policy = "remove"
[uninstalled_prover Eprover1.9.1-001]
name = "Eprover"
version = "1.9.1-001"
alternative = ""
policy = "remove"
[uninstalled_prover Eprover2.0]
name = "Eprover"
version = "2.0"
alternative = ""
policy = "remove"
[uninstalled_prover Gappa1.3.0]
name = "Gappa"
version = "1.3.0"
alternative = ""
policy = "remove"
[uninstalled_prover MetiTarski2.4]
name = "MetiTarski"
version = "2.4"
alternative = ""
policy = "remove"
[uninstalled_prover PolyPaver0.3]
name = "PolyPaver"
version = "0.3"
alternative = ""
policy = "remove"
[uninstalled_prover Vampire0.6]
name = "Vampire"
version = "0.6"
alternative = ""
policy = "remove"
[uninstalled_prover veriT201410]
name = "veriT"
version = "201410"
alternative = ""
policy = "remove"
[uninstalled_prover Z33.2]
name = "Z3"
version = "3.2"
......@@ -132,51 +135,3 @@ policy = "upgrade"
target_name = "Z3"
target_version = "4.6.0"
target_alternative = ""
[uninstalled_prover Eprover1.8-001]
name = "Eprover"
version = "1.8-001"
alternative = ""
policy = "remove"
[uninstalled_prover Eprover1.9.1-001]
name = "Eprover"
version = "1.9.1-001"
alternative = ""
policy = "remove"
[uninstalled_prover Eprover2.0]
name = "Eprover"
version = "2.0"
alternative = ""
policy = "remove"
[uninstalled_prover Gappa1.3.0]
name = "Gappa"
version = "1.3.0"
alternative = ""
policy = "remove"
[uninstalled_prover MetiTarski2.4]
name = "MetiTarski"
version = "2.4"
alternative = ""
policy = "remove"
[uninstalled_prover PolyPaver0.3]
name = "PolyPaver"
version = "0.3"
alternative = ""
policy = "remove"
[uninstalled_prover Vampire0.6]
name = "Vampire"
version = "0.6"
alternative = ""
policy = "remove"
[uninstalled_prover veriT201410]
name = "veriT"
version = "201410"
alternative = ""
policy = "remove"
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