Commit 13ad1cc4 authored by Sylvain's avatar Sylvain

ci: use only altergo 2.0.0 (the others are not installed)

parent b25d66a2
......@@ -7,7 +7,7 @@ insertion_sort
# kmp # randomly fail with z3 4.8.4
leftist_heap
mergesort_array
# pairing_heap # currently uses Altergo 2.3.0
pairing_heap
rightmostbittrick
sieve
# sudoku # some goals are too long for the continuous integration
......
[uninstalled_prover altergo_2_0_0]
[uninstalled_prover altergo_2_3_0]
name = "Alt-Ergo"
version = "2.0.0"
version = "2.3.0"
alternative = ""
policy = "upgrade"
target_alternative = ""
target_name = "Alt-Ergo"
target_version = "2.2.0"
target_version = "2.0.0"
[uninstalled_prover altergo_2_2_0]
name = "Alt-Ergo"
version = "2.2.0"
alternative = ""
policy = "upgrade"
target_alternative = ""
target_name = "Alt-Ergo"
target_version = "2.0.0"
[uninstalled_prover altergo_2_1_0]
name = "Alt-Ergo"
version = "2.1.0"
alternative = ""
policy = "upgrade"
target_alternative = ""
target_name = "Alt-Ergo"
target_version = "2.0.0"
[uninstalled_prover coq_8_7_1]
name = "Coq"
......
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