Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
400 workflow runs
400 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
enum class and automatic stringification for SMTLIBLogic CI #1460: Pull request #597 opened by MichaelRawson
September 5, 2024 16:01 15m 57s michael-smtliblogic-safety
michael-smtliblogic-safety
September 5, 2024 16:01 15m 57s
AO_EQUAL is never used CI #1459: Pull request #596 opened by MichaelRawson
September 5, 2024 15:16 14m 57s michael-ao-equal
michael-ao-equal
September 5, 2024 15:16 14m 57s
invoke a debugger instead of going via addr2line and friends CI #1458: Pull request #579 synchronize by MichaelRawson
September 5, 2024 14:20 15m 16s michael-debugger-tracebacks
michael-debugger-tracebacks
September 5, 2024 14:20 15m 16s
invoke a debugger instead of going via addr2line and friends CI #1457: Pull request #579 synchronize by MichaelRawson
September 5, 2024 13:15 14m 54s michael-debugger-tracebacks
michael-debugger-tracebacks
September 5, 2024 13:15 14m 54s
use rlimit to enforce memory limits rather than global allocators CI #1456: Pull request #594 synchronize by quickbeam123
September 5, 2024 12:17 15m 5s michael-memory-rlimit
michael-memory-rlimit
September 5, 2024 12:17 15m 5s
use rlimit to enforce memory limits rather than global allocators CI #1455: Pull request #594 synchronize by MichaelRawson
September 5, 2024 09:25 15m 10s michael-memory-rlimit
michael-memory-rlimit
September 5, 2024 09:25 15m 10s
use rlimit to enforce memory limits rather than global allocators CI #1454: Pull request #594 synchronize by MichaelRawson
September 5, 2024 06:49 11m 19s michael-memory-rlimit
michael-memory-rlimit
September 5, 2024 06:49 11m 19s
remove Z3/pthreads workarounds from CMakeLists CI #1453: Pull request #595 synchronize by quickbeam123
September 4, 2024 20:32 15m 37s michael-cmake-threads
michael-cmake-threads
September 4, 2024 20:32 15m 37s
remove Z3/pthreads workarounds from CMakeLists CI #1452: Pull request #595 synchronize by quickbeam123
September 4, 2024 18:36 15m 16s michael-cmake-threads
michael-cmake-threads
September 4, 2024 18:36 15m 16s
remove Z3/pthreads workarounds from CMakeLists CI #1451: Pull request #595 synchronize by MichaelRawson
September 4, 2024 07:07 15m 8s michael-cmake-threads
michael-cmake-threads
September 4, 2024 07:07 15m 8s
use rlimit to enforce memory limits rather than global allocators CI #1450: Pull request #594 synchronize by MichaelRawson
September 3, 2024 15:41 15m 2s michael-memory-rlimit
michael-memory-rlimit
September 3, 2024 15:41 15m 2s
remove Z3/pthreads workarounds from CMakeLists CI #1449: Pull request #595 opened by MichaelRawson
September 3, 2024 15:38 15m 11s michael-cmake-threads
michael-cmake-threads
September 3, 2024 15:38 15m 11s
use rlimit to enforce memory limits rather than global allocators CI #1448: Pull request #594 opened by MichaelRawson
September 3, 2024 15:24 14m 39s michael-memory-rlimit
michael-memory-rlimit
September 3, 2024 15:24 14m 39s