Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
401 workflow runs
401 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Synthesis of non-recursive programs CI #1148: Pull request #442 synchronize by hzzv
October 16, 2023 14:47 17m 30s synthesis-pr
synthesis-pr
October 16, 2023 14:47 17m 30s
Synthesis of non-recursive programs CI #1147: Pull request #442 synchronize by hzzv
October 16, 2023 14:21 18m 41s synthesis-pr
synthesis-pr
October 16, 2023 14:21 18m 41s
Synthesis of non-recursive programs CI #1146: Pull request #442 synchronize by quickbeam123
October 16, 2023 09:28 17m 0s synthesis-pr
synthesis-pr
October 16, 2023 09:28 17m 0s
do not axiomatise congruence for introduced symbols CI #1145: Pull request #489 synchronize by quickbeam123
October 12, 2023 15:29 18m 22s michael-skip-introduced-for-ep
michael-skip-introduced-for-ep
October 12, 2023 15:29 18m 22s
Synthesis of non-recursive programs CI #1144: Pull request #442 synchronize by hzzv
October 12, 2023 15:05 17m 14s synthesis-pr
synthesis-pr
October 12, 2023 15:05 17m 14s
do not axiomatise congruence for introduced symbols CI #1143: Pull request #489 synchronize by MichaelRawson
October 12, 2023 08:24 16m 28s michael-skip-introduced-for-ep
michael-skip-introduced-for-ep
October 12, 2023 08:24 16m 28s
do not axiomatise congruence for introduced symbols CI #1142: Pull request #489 opened by MichaelRawson
October 11, 2023 09:42 16m 42s michael-skip-introduced-for-ep
michael-skip-introduced-for-ep
October 11, 2023 09:42 16m 42s
Implement assert-claim in smtlib2 (a vampiric extension of the format) CI #1141: Pull request #488 opened by quickbeam123
October 9, 2023 15:09 27m 13s martin-claims-for-smt
martin-claims-for-smt
October 9, 2023 15:09 27m 13s
iterative version of CNF::clausify CI #1140: Pull request #487 synchronize by quickbeam123
October 9, 2023 13:39 18m 49s martin-cnf-iter
martin-cnf-iter
October 9, 2023 13:39 18m 49s
iterative version of CNF::clausify CI #1139: Pull request #487 opened by quickbeam123
October 9, 2023 10:23 21m 22s martin-cnf-iter
martin-cnf-iter
October 9, 2023 10:23 21m 22s
New strategy randomization CI #1138: Pull request #486 synchronize by quickbeam123
October 9, 2023 09:17 24m 6s new_strategy_randomization
new_strategy_randomization
October 9, 2023 09:17 24m 6s
New strategy randomization CI #1137: Pull request #486 synchronize by quickbeam123
October 6, 2023 15:12 17m 52s new_strategy_randomization
new_strategy_randomization
October 6, 2023 15:12 17m 52s
New strategy randomization CI #1136: Pull request #486 opened by quickbeam123
October 6, 2023 08:54 17m 56s new_strategy_randomization
new_strategy_randomization
October 6, 2023 08:54 17m 56s
Synthesis of non-recursive programs CI #1135: Pull request #442 synchronize by hzzv
October 5, 2023 14:59 24m 47s synthesis-pr
synthesis-pr
October 5, 2023 14:59 24m 47s
Synthesis of non-recursive programs CI #1134: Pull request #442 synchronize by hzzv
October 5, 2023 14:28 17m 0s synthesis-pr
synthesis-pr
October 5, 2023 14:28 17m 0s
Synthesis of non-recursive programs CI #1133: Pull request #442 synchronize by hzzv
October 5, 2023 13:11 16m 40s synthesis-pr
synthesis-pr
October 5, 2023 13:11 16m 40s
Synthesis of non-recursive programs CI #1132: Pull request #442 synchronize by daneshvar-amrollahi
October 4, 2023 21:30 23m 20s synthesis-pr
synthesis-pr
October 4, 2023 21:30 23m 20s
Synthesis of non-recursive programs CI #1131: Pull request #442 synchronize by hzzv
October 4, 2023 14:41 28m 10s synthesis-pr
synthesis-pr
October 4, 2023 14:41 28m 10s
FOOL proofs TPTP compliant CI #1130: Pull request #485 opened by quickbeam123
October 4, 2023 13:16 24m 31s martin-fool-proofs-tptp-compliant
martin-fool-proofs-tptp-compliant
October 4, 2023 13:16 24m 31s
Synthesis of non-recursive programs CI #1129: Pull request #442 synchronize by daneshvar-amrollahi
October 4, 2023 12:01 17m 4s synthesis-pr
synthesis-pr
October 4, 2023 12:01 17m 4s
Synthesis of non-recursive programs CI #1128: Pull request #442 synchronize by hzzv
October 4, 2023 09:10 19m 47s synthesis-pr
synthesis-pr
October 4, 2023 09:10 19m 47s
Synthesis of non-recursive programs CI #1127: Pull request #442 synchronize by hzzv
October 3, 2023 19:38 18m 37s synthesis-pr
synthesis-pr
October 3, 2023 19:38 18m 37s
Synthesis of non-recursive programs CI #1126: Pull request #442 synchronize by daneshvar-amrollahi
October 3, 2023 13:14 15m 47s synthesis-pr
synthesis-pr
October 3, 2023 13:14 15m 47s
remove dollar signs from inference names, not allowed in TSTP output CI #1125: Pull request #484 opened by MichaelRawson
October 2, 2023 15:53 17m 32s michael-no-dollars-in-inferences
michael-no-dollars-in-inferences
October 2, 2023 15:53 17m 32s
Synthesis of non-recursive programs CI #1124: Pull request #442 synchronize by hzzv
September 29, 2023 14:21 19m 48s synthesis-pr
synthesis-pr
September 29, 2023 14:21 19m 48s
ProTip! You can narrow down the results and go further in time using created:<2023-09-29 or the other filters available.