Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
305 workflow runs
305 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Ordering check with applied terms + optimised unidirectional comparison for LPO and KBO CI #1333: Pull request #547 synchronize by mezpusz
April 29, 2024 08:56 15m 5s ordering-applied-term-isgreater
ordering-applied-term-isgreater
April 29, 2024 08:56 15m 5s
Ordering check with applied terms + optimised unidirectional comparison for LPO and KBO CI #1332: Pull request #547 synchronize by mezpusz
April 29, 2024 08:42 14m 30s ordering-applied-term-isgreater
ordering-applied-term-isgreater
April 29, 2024 08:42 14m 30s
Ordering check with applied terms + optimised unidirectional comparison for LPO and KBO CI #1331: Pull request #547 synchronize by mezpusz
April 26, 2024 09:28 14m 50s ordering-applied-term-isgreater
ordering-applied-term-isgreater
April 26, 2024 09:28 14m 50s
Ordering check with applied terms + optimised unidirectional comparison for LPO and KBO CI #1330: Pull request #547 synchronize by mezpusz
April 26, 2024 08:52 14m 53s ordering-applied-term-isgreater
ordering-applied-term-isgreater
April 26, 2024 08:52 14m 53s
Ordering check with applied terms + optimised unidirectional comparison for LPO and KBO CI #1329: Pull request #547 synchronize by mezpusz
April 26, 2024 08:39 14m 55s ordering-applied-term-isgreater
ordering-applied-term-isgreater
April 26, 2024 08:39 14m 55s
Ordering check with applied terms + optimised unidirectional comparison for LPO and KBO CI #1328: Pull request #547 synchronize by joe-hauns
April 26, 2024 07:31 14m 31s ordering-applied-term-isgreater
ordering-applied-term-isgreater
April 26, 2024 07:31 14m 31s
Subsumption and Subsumption Resolution via SAT solving CI #1327: Pull request #546 synchronize by RobCoutel
April 24, 2024 12:46 14m 46s robin_c-sat-s-sr-for-master
robin_c-sat-s-sr-for-master
April 24, 2024 12:46 14m 46s
Ordering check with applied terms + optimised unidirectional comparison for LPO and KBO CI #1326: Pull request #547 synchronize by mezpusz
April 24, 2024 07:21 15m 2s ordering-applied-term-isgreater
ordering-applied-term-isgreater
April 24, 2024 07:21 15m 2s
Ordering check with applied terms + optimised unidirectional comparison for LPO and KBO CI #1325: Pull request #547 synchronize by mezpusz
April 23, 2024 12:18 15m 23s ordering-applied-term-isgreater
ordering-applied-term-isgreater
April 23, 2024 12:18 15m 23s
Subsumption and Subsumption Resolution via SAT solving CI #1324: Pull request #546 synchronize by RobCoutel
April 22, 2024 08:17 14m 40s robin_c-sat-s-sr-for-master
robin_c-sat-s-sr-for-master
April 22, 2024 08:17 14m 40s
Ordering check with applied terms + optimised unidirectional comparison for LPO and KBO CI #1323: Pull request #547 opened by mezpusz
April 19, 2024 15:15 14m 51s ordering-applied-term-isgreater
ordering-applied-term-isgreater
April 19, 2024 15:15 14m 51s
Subsumption and Subsumption Resolution via SAT solving CI #1322: Pull request #546 synchronize by RobCoutel
April 19, 2024 12:40 14m 34s robin_c-sat-s-sr-for-master
robin_c-sat-s-sr-for-master
April 19, 2024 12:40 14m 34s
Subsumption and Subsumption Resolution via SAT solving CI #1321: Pull request #546 opened by RobCoutel
April 19, 2024 12:35 21s robin_c-sat-s-sr-for-master
robin_c-sat-s-sr-for-master
April 19, 2024 12:35 21s
Code tree search structs refactor + lazily expanded flat terms CI #1320: Pull request #543 synchronize by mezpusz
April 12, 2024 08:22 14m 29s code-tree-refactor
code-tree-refactor
April 12, 2024 08:22 14m 29s
Code tree search structs refactor + lazily expanded flat terms CI #1319: Pull request #543 synchronize by mezpusz
April 11, 2024 12:41 14m 57s code-tree-refactor
code-tree-refactor
April 11, 2024 12:41 14m 57s
Code tree search structs refactor + lazily expanded flat terms CI #1318: Pull request #543 synchronize by mezpusz
April 11, 2024 12:35 12m 35s code-tree-refactor
code-tree-refactor
April 11, 2024 12:35 12m 35s
Code tree search structs refactor + lazily expanded flat terms CI #1317: Pull request #543 synchronize by mezpusz
April 11, 2024 10:28 12m 39s code-tree-refactor
code-tree-refactor
April 11, 2024 10:28 12m 39s
file-based portfolio synchronisation CI #1316: Pull request #540 synchronize by MichaelRawson
April 10, 2024 13:33 14m 52s michael-portfolio-synchronisation
michael-portfolio-synchronisation
April 10, 2024 13:33 14m 52s
file-based portfolio synchronisation CI #1315: Pull request #540 synchronize by MichaelRawson
April 10, 2024 11:41 14m 49s michael-portfolio-synchronisation
michael-portfolio-synchronisation
April 10, 2024 11:41 14m 49s
avoid sortedness errors with polymorphically let-bound constants CI #1314: Pull request #544 opened by MichaelRawson
April 10, 2024 09:59 15m 0s michael-sorthelper-let
michael-sorthelper-let
April 10, 2024 09:59 15m 0s
file-based portfolio synchronisation CI #1313: Pull request #540 synchronize by MichaelRawson
April 10, 2024 08:52 14m 41s michael-portfolio-synchronisation
michael-portfolio-synchronisation
April 10, 2024 08:52 14m 41s
Code tree search structs refactor + lazily expanded flat terms CI #1312: Pull request #543 opened by mezpusz
April 10, 2024 08:09 16m 4s code-tree-refactor
code-tree-refactor
April 10, 2024 08:09 16m 4s
file-based portfolio synchronisation CI #1311: Pull request #540 synchronize by MichaelRawson
April 10, 2024 08:05 14m 44s michael-portfolio-synchronisation
michael-portfolio-synchronisation
April 10, 2024 08:05 14m 44s
file-based portfolio synchronisation CI #1310: Pull request #540 synchronize by MichaelRawson
April 10, 2024 06:47 14m 59s michael-portfolio-synchronisation
michael-portfolio-synchronisation
April 10, 2024 06:47 14m 59s
have the TermList default constructor zero-initialise CI #1309: Pull request #541 synchronize by quickbeam123
April 8, 2024 14:38 14m 54s michael-term-default
michael-term-default
April 8, 2024 14:38 14m 54s