Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
314 workflow runs
314 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Induction improvements CI #1242: Pull request #525 synchronize by mezpusz
March 1, 2024 14:15 1h 11m 39s rule-induction-sorting
rule-induction-sorting
March 1, 2024 14:15 1h 11m 39s
Induction improvements CI #1241: Pull request #525 synchronize by mezpusz
March 1, 2024 13:28 15m 30s rule-induction-sorting
rule-induction-sorting
March 1, 2024 13:28 15m 30s
Induction improvements CI #1240: Pull request #525 synchronize by mezpusz
February 29, 2024 16:02 15m 49s rule-induction-sorting
rule-induction-sorting
February 29, 2024 16:02 15m 49s
Induction improvements CI #1239: Pull request #525 synchronize by quickbeam123
February 29, 2024 15:34 16m 23s rule-induction-sorting
rule-induction-sorting
February 29, 2024 15:34 16m 23s
Induction improvements CI #1238: Pull request #525 synchronize by mezpusz
February 29, 2024 13:08 15m 46s rule-induction-sorting
rule-induction-sorting
February 29, 2024 13:08 15m 46s
Induction improvements CI #1237: Pull request #525 synchronize by mezpusz
February 29, 2024 12:42 15m 27s rule-induction-sorting
rule-induction-sorting
February 29, 2024 12:42 15m 27s
Minor improvement in instruction limiting, randomization, and strategy sampling CI #1236: Pull request #526 synchronize by quickbeam123
February 29, 2024 11:48 15m 32s martin-measurement-and-sampling
martin-measurement-and-sampling
February 29, 2024 11:48 15m 32s
Minor improvement in instruction limiting, randomization, and strategy sampling CI #1235: Pull request #526 opened by quickbeam123
February 29, 2024 11:17 15m 46s martin-measurement-and-sampling
martin-measurement-and-sampling
February 29, 2024 11:17 15m 46s
Induction improvements CI #1234: Pull request #525 synchronize by mezpusz
February 29, 2024 11:03 19m 3s rule-induction-sorting
rule-induction-sorting
February 29, 2024 11:03 19m 3s
Induction improvements CI #1233: Pull request #525 opened by mezpusz
February 29, 2024 09:57 15m 52s rule-induction-sorting
rule-induction-sorting
February 29, 2024 09:57 15m 52s
CI CI #1232: Manually run by MichaelRawson
February 19, 2024 15:58 15m 41s master
master
February 19, 2024 15:58 15m 41s
manual bitfield in TermList to improve portability CI #1231: Pull request #524 opened by MichaelRawson
February 19, 2024 15:05 15m 30s michael-termlist-portability
michael-termlist-portability
February 19, 2024 15:05 15m 30s
Refactoring and Extending Unification with Abstraction CI #1230: Pull request #508 synchronize by quickbeam123
February 16, 2024 11:55 15m 12s joe-uwa-refactor
joe-uwa-refactor
February 16, 2024 11:55 15m 12s
Refactoring and Extending Unification with Abstraction CI #1229: Pull request #508 synchronize by quickbeam123
February 16, 2024 11:24 14m 5s joe-uwa-refactor
joe-uwa-refactor
February 16, 2024 11:24 14m 5s
check for perf headers so that we support old or otherwise perfless Linux CI #1228: Pull request #523 opened by MichaelRawson
February 13, 2024 12:19 15m 8s michael-perf-portability
michael-perf-portability
February 13, 2024 12:19 15m 8s
Small demodulation improvement CI #1227: Pull request #522 opened by mezpusz
February 12, 2024 17:30 14m 57s demodulation-dont-index-symmetric-equations-twice
demodulation-dont-index-symmetric-equations-twice
February 12, 2024 17:30 14m 57s
Add coverage CI #1226: Pull request #518 synchronize by inpefess
February 1, 2024 20:15 14m 48s inpefess:add-coverage
inpefess:add-coverage
February 1, 2024 20:15 14m 48s
Refactoring and Extending Unification with Abstraction CI #1225: Pull request #508 synchronize by joe-hauns
January 22, 2024 09:38 14m 3s joe-uwa-refactor
joe-uwa-refactor
January 22, 2024 09:38 14m 3s
Refactoring and Extending Unification with Abstraction CI #1224: Pull request #508 synchronize by joe-hauns
January 22, 2024 09:24 14m 33s joe-uwa-refactor
joe-uwa-refactor
January 22, 2024 09:24 14m 33s
Refactoring and Extending Unification with Abstraction CI #1223: Pull request #508 synchronize by joe-hauns
January 22, 2024 09:21 14m 27s joe-uwa-refactor
joe-uwa-refactor
January 22, 2024 09:21 14m 27s
Refactoring and Extending Unification with Abstraction CI #1222: Pull request #508 synchronize by joe-hauns
January 22, 2024 09:12 14m 42s joe-uwa-refactor
joe-uwa-refactor
January 22, 2024 09:12 14m 42s
prevent loops with anc caused by AVATAR models flip-flopping CI #1221: Pull request #521 opened by MichaelRawson
January 16, 2024 15:52 13m 56s michael-fix-anc-loops
michael-fix-anc-loops
January 16, 2024 15:52 13m 56s
Refactoring and Extending Unification with Abstraction CI #1220: Pull request #508 synchronize by joe-hauns
January 15, 2024 14:26 14m 34s joe-uwa-refactor
joe-uwa-refactor
January 15, 2024 14:26 14m 34s
Refactoring and Extending Unification with Abstraction CI #1219: Pull request #508 synchronize by joe-hauns
January 15, 2024 09:56 14m 39s joe-uwa-refactor
joe-uwa-refactor
January 15, 2024 09:56 14m 39s
Refactoring and Extending Unification with Abstraction CI #1218: Pull request #508 synchronize by joe-hauns
January 15, 2024 09:51 14m 12s joe-uwa-refactor
joe-uwa-refactor
January 15, 2024 09:51 14m 12s