Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
411 workflow runs
411 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add missing includes CI #1485: Pull request #614 opened by anjapetkovic
October 1, 2024 12:32 14m 56s anjapetkovic:master
anjapetkovic:master
October 1, 2024 12:32 14m 56s
remove the commutative bit, equations still treated as commutative CI #1484: Pull request #612 synchronize by quickbeam123
September 28, 2024 10:10 15m 3s michael-no-commuting
michael-no-commuting
September 28, 2024 10:10 15m 3s
remove the commutative bit, equations still treated as commutative CI #1483: Pull request #612 synchronize by MichaelRawson
September 27, 2024 13:49 15m 17s michael-no-commuting
michael-no-commuting
September 27, 2024 13:49 15m 17s
remove the commutative bit, equations still treated as commutative CI #1482: Pull request #612 synchronize by MichaelRawson
September 26, 2024 13:23 15m 36s michael-no-commuting
michael-no-commuting
September 26, 2024 13:23 15m 36s
remove the commutative bit, equations still treated as commutative CI #1481: Pull request #612 synchronize by MichaelRawson
September 26, 2024 13:19 14m 14s michael-no-commuting
michael-no-commuting
September 26, 2024 13:19 14m 14s
remove the commutative bit, equations still treated as commutative CI #1480: Pull request #612 opened by MichaelRawson
September 26, 2024 13:06 14m 36s michael-no-commuting
michael-no-commuting
September 26, 2024 13:06 14m 36s
SAT subsumption debug check for code trees CI #1479: Pull request #608 synchronize by RobCoutel
September 24, 2024 08:16 15m 19s sat-subsumption-debug-check-for-code-trees
sat-subsumption-debug-check-for-code-trees
September 24, 2024 08:16 15m 19s
SAT subsumption debug check for code trees CI #1478: Pull request #608 synchronize by RobCoutel
September 24, 2024 08:07 15m 0s sat-subsumption-debug-check-for-code-trees
sat-subsumption-debug-check-for-code-trees
September 24, 2024 08:07 15m 0s
raise USER_ERROR on undeclared type constructor CI #1477: Pull request #611 synchronize by MichaelRawson
September 23, 2024 19:55 15m 14s michael-undeclared-typecon
michael-undeclared-typecon
September 23, 2024 19:55 15m 14s
raise USER_ERROR on undeclared type constructor CI #1476: Pull request #611 opened by MichaelRawson
September 23, 2024 18:17 15m 24s michael-undeclared-typecon
michael-undeclared-typecon
September 23, 2024 18:17 15m 24s
Add -DREV_COUNT=OFF build option CI #1475: Pull request #610 opened by kazarmy
September 23, 2024 14:04 15m 18s kazarmy:REV_COUNT=OFF
kazarmy:REV_COUNT=OFF
September 23, 2024 14:04 15m 18s
proof-extra with data rather than strings CI #1474: Pull request #607 synchronize by MichaelRawson
September 23, 2024 10:04 15m 13s michael-proof-extra
michael-proof-extra
September 23, 2024 10:04 15m 13s
SAT subsumption debug check for code trees CI #1473: Pull request #608 opened by mezpusz
September 20, 2024 17:54 15m 22s sat-subsumption-debug-check-for-code-trees
sat-subsumption-debug-check-for-code-trees
September 20, 2024 17:54 15m 22s
proof-extra with data rather than strings CI #1472: Pull request #607 opened by MichaelRawson
September 20, 2024 12:24 15m 28s michael-proof-extra
michael-proof-extra
September 20, 2024 12:24 15m 28s
Code tree subsumption CI #1471: Pull request #605 synchronize by mezpusz
September 19, 2024 18:41 14m 58s code-tree-subsumption
code-tree-subsumption
September 19, 2024 18:41 14m 58s
Code tree subsumption CI #1470: Pull request #605 opened by mezpusz
September 18, 2024 08:01 14m 47s code-tree-subsumption
code-tree-subsumption
September 18, 2024 08:01 14m 47s
Remove VAMPIRE_BINARY_HASH from CMake build script CI #1469: Pull request #603 opened by kazarmy
September 17, 2024 09:23 15m 0s kazarmy:rm-VAMPIRE_BINARY_HASH
kazarmy:rm-VAMPIRE_BINARY_HASH
September 17, 2024 09:23 15m 0s
Calling SharedPtr ctor with nullptr causes violation; call default ctor CI #1468: Pull request #601 opened by mezpusz
September 15, 2024 10:15 15m 2s fix-lpocomparator-sharedptr-violation
fix-lpocomparator-sharedptr-violation
September 15, 2024 10:15 15m 2s
Refactor ordering comparators CI #1467: Pull request #599 synchronize by mezpusz
September 12, 2024 15:28 14m 54s refactor-ordering-comparators
refactor-ordering-comparators
September 12, 2024 15:28 14m 54s
Refactor ordering comparators CI #1466: Pull request #599 synchronize by mezpusz
September 10, 2024 07:55 15m 30s refactor-ordering-comparators
refactor-ordering-comparators
September 10, 2024 07:55 15m 30s
Fix conditional redundancy handler literal constraints with encompassment demodulation incompleteness issue CI #1465: Pull request #600 synchronize by mezpusz
September 9, 2024 16:53 15m 48s fix-crlc-encompassment-incompleteness
fix-crlc-encompassment-incompleteness
September 9, 2024 16:53 15m 48s
Fix conditional redundancy handler literal constraints with encompassment demodulation incompleteness issue CI #1464: Pull request #600 opened by mezpusz
September 9, 2024 16:52 15m 14s fix-crlc-encompassment-incompleteness
fix-crlc-encompassment-incompleteness
September 9, 2024 16:52 15m 14s
Refactor ordering comparators CI #1463: Pull request #599 opened by mezpusz
September 9, 2024 08:19 15m 24s refactor-ordering-comparators
refactor-ordering-comparators
September 9, 2024 08:19 15m 24s
remove our own sort implementation CI #1462: Pull request #598 synchronize by MichaelRawson
September 5, 2024 18:30 15m 28s michael-remove-sort
michael-remove-sort
September 5, 2024 18:30 15m 28s
remove our own sort implementation CI #1461: Pull request #598 opened by MichaelRawson
September 5, 2024 16:55 14m 24s michael-remove-sort
michael-remove-sort
September 5, 2024 16:55 14m 24s