Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
404 workflow runs
404 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

remove clause unblocking, unused CI #1493: Pull request #620 opened by MichaelRawson
November 3, 2024 16:27 15m 1s michael-remove-clause-unblocking
michael-remove-clause-unblocking
November 3, 2024 16:27 15m 1s
add (equality) factoring proof_extra information, simplify factoring CI #1492: Pull request #619 synchronize by MichaelRawson
October 31, 2024 11:28 15m 3s michael-proof-extra2
michael-proof-extra2
October 31, 2024 11:28 15m 3s
add (equality) factoring proof_extra information, simplify factoring CI #1491: Pull request #619 synchronize by MichaelRawson
October 30, 2024 19:36 15m 39s michael-proof-extra2
michael-proof-extra2
October 30, 2024 19:36 15m 39s
add (equality) factoring proof_extra information, simplify factoring CI #1490: Pull request #619 opened by MichaelRawson
October 30, 2024 16:49 15m 26s michael-proof-extra2
michael-proof-extra2
October 30, 2024 16:49 15m 26s
Configure version.cpp at build time if git repo CI #1489: Pull request #618 opened by kazarmy
October 26, 2024 11:06 15m 22s kazarmy:conf-version-cpp-build-time
kazarmy:conf-version-cpp-build-time
October 26, 2024 11:06 15m 22s
Remove clauses with multiple answer literals (for -qa synthesis) CI #1488: Pull request #617 opened by hzzv
October 22, 2024 16:52 15m 34s synthesis-remove-multiple-als
synthesis-remove-multiple-als
October 22, 2024 16:52 15m 34s
Implement Geoff's idea to have an option stating the users "intent" for invoking Vampire (i.e., proving / disproving) CI #1487: Pull request #616 opened by quickbeam123
October 21, 2024 15:00 15m 26s martin-intent
martin-intent
October 21, 2024 15:00 15m 26s
Polymorphism + Arithmetic CI #1486: Pull request #615 opened by joe-hauns
October 4, 2024 09:08 15m 26s poly-arith
poly-arith
October 4, 2024 09:08 15m 26s
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