Skip to content

Actions: vprover/vampire

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
434 workflow runs
434 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

refactored output library CI #1500: Pull request #624 synchronize by joe-hauns
December 10, 2024 11:20 15m 12s output-refactor
output-refactor
December 10, 2024 11:20 15m 12s
Extended internal Time Profiling CI #1499: Pull request #626 synchronize by joe-hauns
December 10, 2024 09:52 15m 4s time-tracing-focus
time-tracing-focus
December 10, 2024 09:52 15m 4s
Extended internal Time Profiling CI #1498: Pull request #626 opened by joe-hauns
December 10, 2024 09:39 15m 3s time-tracing-focus
time-tracing-focus
December 10, 2024 09:39 15m 3s
Added compiler-independed ALLOW_UNUSED CI #1497: Pull request #625 opened by joe-hauns
December 10, 2024 09:29 17m 10s assertion-additions
assertion-additions
December 10, 2024 09:29 17m 10s
refactored output library CI #1496: Pull request #624 opened by joe-hauns
December 10, 2024 09:23 10m 49s output-refactor
output-refactor
December 10, 2024 09:23 10m 49s
simplify GlobalSubsumptionGrounder interface CI #1495: Pull request #623 opened by MichaelRawson
December 1, 2024 22:07 15m 11s michael-cleanup-grounder
michael-cleanup-grounder
December 1, 2024 22:07 15m 11s
use atomic instead of mutex to allow multiple calls to disableLimitEnforcement CI #1494: Pull request #622 opened by MichaelRawson
November 18, 2024 17:17 15m 15s michael-multiple-disable-limit
michael-multiple-disable-limit
November 18, 2024 17:17 15m 15s
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