...
 
Commits (1)
......@@ -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"
......