misc/bench-coq-why3-conf

   1 [uninstalled_prover coq85]
   2 name = "Coq"
   3 version = "8.5"
   4 alternative = ""
   5 policy = "upgrade"
   6 target_alternative = ""
   7 target_name = "Coq"
   8 target_version = "@COQVER@"
   9
  10 [uninstalled_prover coq86]
  11 name = "Coq"
  12 version = "8.6"
  13 alternative = ""
  14 policy = "upgrade"
  15 target_alternative = ""
  16 target_name = "Coq"
  17 target_version = "@COQVER@"
  18
  19 [uninstalled_prover coq861]
  20 name = "Coq"
  21 version = "8.6.1"
  22 alternative = ""
  23 policy = "upgrade"
  24 target_alternative = ""
  25 target_name = "Coq"
  26 target_version = "@COQVER@"
  27
  28 [uninstalled_prover coq871]
  29 name = "Coq"
  30 version = "8.7.1"
  31 alternative = ""
  32 policy = "upgrade"
  33 target_alternative = ""
  34 target_name = "Coq"
  35 target_version = "@COQVER@"
  36
  37 [uninstalled_prover coq872]
  38 name = "Coq"
  39 version = "8.7.2"
  40 alternative = ""
  41 policy = "upgrade"
  42 target_alternative = ""
  43 target_name = "Coq"
  44 target_version = "@COQVER@"
  45
  46 [uninstalled_prover coq882]
  47 name = "Coq"
  48 version = "8.8.2"
  49 alternative = ""
  50 policy = "upgrade"
  51 target_alternative = ""
  52 target_name = "Coq"
  53 target_version = "@COQVER@"
  54
  55 [uninstalled_prover coq890]
  56 name = "Coq"
  57 version = "8.9.0"
  58 alternative = ""
  59 policy = "upgrade"
  60 target_alternative = ""
  61 target_name = "Coq"
  62 target_version = "@COQVER@"
  63
  64 [uninstalled_prover coq891]
  65 name = "Coq"
  66 version = "8.9.1"
  67 alternative = ""
  68 policy = "upgrade"
  69 target_alternative = ""
  70 target_name = "Coq"
  71 target_version = "@COQVER@"
  72
  73 [uninstalled_prover coq8112]
  74 name = "Coq"
  75 version = "8.11.2"
  76 alternative = ""
  77 policy = "upgrade"
  78 target_alternative = ""
  79 target_name = "Coq"
  80 target_version = "@COQVER@"
  81
  82 [uninstalled_prover coq8161]
  83 name = "Coq"
  84 version = "8.16.1"
  85 alternative = ""
  86 policy = "upgrade"
  87 target_alternative = ""
  88 target_name = "Coq"
  89 target_version = "@COQVER@"
  90
  91 [uninstalled_prover coq8180]
  92 name = "Coq"
  93 version = "8.18.0"
  94 alternative = ""
  95 policy = "upgrade"
  96 target_alternative = ""
  97 target_name = "Coq"
  98 target_version = "@COQVER@"
  99
 100 [uninstalled_prover coq8191]
 101 name = "Coq"
 102 version = "8.19.1"
 103 alternative = ""
 104 policy = "upgrade"
 105 target_alternative = ""
 106 target_name = "Coq"
 107 target_version = "@COQVER@"