Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
315 workflow runs
315 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
have the TermList default constructor zero-initialise CI #1293: Pull request #541 opened by MichaelRawson
March 22, 2024 13:21 15m 5s michael-term-default
michael-term-default
March 22, 2024 13:21 15m 5s
Demodulation cosmetics CI #1292: Pull request #539 synchronize by quickbeam123
March 21, 2024 14:35 14m 52s martin-demodulation-cosmetics
martin-demodulation-cosmetics
March 21, 2024 14:35 14m 52s
Demodulation cosmetics CI #1291: Pull request #539 synchronize by mezpusz
March 21, 2024 11:15 14m 39s martin-demodulation-cosmetics
martin-demodulation-cosmetics
March 21, 2024 11:15 14m 39s
Demodulation cosmetics CI #1290: Pull request #539 synchronize by mezpusz
March 21, 2024 10:59 10m 46s martin-demodulation-cosmetics
martin-demodulation-cosmetics
March 21, 2024 10:59 10m 46s
file-based portfolio synchronisation CI #1289: Pull request #540 opened by MichaelRawson
March 20, 2024 13:28 14m 44s michael-portfolio-synchronisation
michael-portfolio-synchronisation
March 20, 2024 13:28 14m 44s
Demodulation cosmetics CI #1288: Pull request #539 opened by quickbeam123
March 20, 2024 09:40 14m 55s martin-demodulation-cosmetics
martin-demodulation-cosmetics
March 20, 2024 09:40 14m 55s
switch to C++17 CI #1287: Pull request #537 synchronize by MichaelRawson
March 19, 2024 08:29 14m 59s cpp17
cpp17
March 19, 2024 08:29 14m 59s
manual bitfield in TermList to improve portability CI #1286: Pull request #524 synchronize by quickbeam123
March 18, 2024 16:13 14m 55s michael-termlist-portability
michael-termlist-portability
March 18, 2024 16:13 14m 55s
manual bitfield in TermList to improve portability CI #1285: Pull request #524 synchronize by MichaelRawson
March 18, 2024 15:50 14m 36s michael-termlist-portability
michael-termlist-portability
March 18, 2024 15:50 14m 36s
manual bitfield in TermList to improve portability CI #1284: Pull request #524 synchronize by MichaelRawson
March 18, 2024 15:26 14m 41s michael-termlist-portability
michael-termlist-portability
March 18, 2024 15:26 14m 41s
switch to C++17 CI #1283: Pull request #537 synchronize by joe-hauns
March 18, 2024 13:35 14m 56s cpp17
cpp17
March 18, 2024 13:35 14m 56s
Storing Custom Data in SubstitutionTree and friends CI #1282: Pull request #532 synchronize by joe-hauns
March 18, 2024 13:18 14m 23s substitution-tree-custom-leaf-data
substitution-tree-custom-leaf-data
March 18, 2024 13:18 14m 23s
improve FMB output CI #1281: Pull request #538 opened by MichaelRawson
March 18, 2024 11:32 14m 19s michael-fmb-output
michael-fmb-output
March 18, 2024 11:32 14m 19s
switch to C++17 CI #1280: Pull request #537 synchronize by quickbeam123
March 18, 2024 10:14 14m 38s cpp17
cpp17
March 18, 2024 10:14 14m 38s
switch to C++17 CI #1279: Pull request #537 opened by MichaelRawson
March 15, 2024 15:51 14m 30s cpp17
cpp17
March 15, 2024 15:51 14m 30s
Induction improvements CI #1278: Pull request #525 synchronize by mezpusz
March 15, 2024 14:28 14m 33s rule-induction-sorting
rule-induction-sorting
March 15, 2024 14:28 14m 33s
Induction improvements CI #1277: Pull request #525 synchronize by mezpusz
March 15, 2024 11:30 14m 27s rule-induction-sorting
rule-induction-sorting
March 15, 2024 11:30 14m 27s
Induction improvements CI #1276: Pull request #525 synchronize by quickbeam123
March 15, 2024 10:55 14m 34s rule-induction-sorting
rule-induction-sorting
March 15, 2024 10:55 14m 34s
Induction improvements CI #1275: Pull request #525 synchronize by mezpusz
March 15, 2024 10:37 14m 25s rule-induction-sorting
rule-induction-sorting
March 15, 2024 10:37 14m 25s
Induction improvements CI #1274: Pull request #525 synchronize by quickbeam123
March 15, 2024 09:19 14m 17s rule-induction-sorting
rule-induction-sorting
March 15, 2024 09:19 14m 17s
Induction improvements CI #1273: Pull request #525 synchronize by quickbeam123
March 15, 2024 09:09 14m 30s rule-induction-sorting
rule-induction-sorting
March 15, 2024 09:09 14m 30s
fixed use after free bug CI #1272: Pull request #536 synchronize by quickbeam123
March 15, 2024 08:51 14m 10s fix-subs-tree
fix-subs-tree
March 15, 2024 08:51 14m 10s
fixed use after free bug CI #1271: Pull request #536 opened by joe-hauns
March 15, 2024 08:18 14m 28s fix-subs-tree
fix-subs-tree
March 15, 2024 08:18 14m 28s
Storing Custom Data in SubstitutionTree and friends CI #1270: Pull request #532 synchronize by joe-hauns
March 15, 2024 08:04 14m 25s substitution-tree-custom-leaf-data
substitution-tree-custom-leaf-data
March 15, 2024 08:04 14m 25s
Induction improvements CI #1269: Pull request #525 synchronize by mezpusz
March 14, 2024 19:43 14m 3s rule-induction-sorting
rule-induction-sorting
March 14, 2024 19:43 14m 3s