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