Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
401 workflow runs
401 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Allocator.cpp: fix for macOS where aligned_alloc may not be supported CI #1447: Pull request #593 opened by barracuda156
September 3, 2024 10:47 15m 8s barracuda156:macos_alloc_fix
barracuda156:macos_alloc_fix
September 3, 2024 10:47 15m 8s
One reasonable warning from gcc eliminated + updated Makefile CI #1446: Pull request #591 opened by quickbeam123
September 2, 2024 14:38 14m 50s martin-no-gcc14-warnings
martin-no-gcc14-warnings
September 2, 2024 14:38 14m 50s
replace signal-based Timer with a ticking thread CI #1445: Pull request #577 synchronize by quickbeam123
September 2, 2024 07:14 15m 34s michael-timer
michael-timer
September 2, 2024 07:14 15m 34s
replace signal-based Timer with a ticking thread CI #1444: Pull request #577 synchronize by quickbeam123
September 1, 2024 19:14 15m 16s michael-timer
michael-timer
September 1, 2024 19:14 15m 16s
replace signal-based Timer with a ticking thread CI #1443: Pull request #577 synchronize by quickbeam123
August 30, 2024 15:17 15m 18s michael-timer
michael-timer
August 30, 2024 15:17 15m 18s
replace signal-based Timer with a ticking thread CI #1442: Pull request #577 synchronize by MichaelRawson
August 30, 2024 14:47 15m 11s michael-timer
michael-timer
August 30, 2024 14:47 15m 11s
replace signal-based Timer with a ticking thread CI #1441: Pull request #577 synchronize by MichaelRawson
August 30, 2024 13:30 15m 25s michael-timer
michael-timer
August 30, 2024 13:30 15m 25s
CI CI #1440: Manually run by MichaelRawson
August 29, 2024 08:46 15m 19s master
master
August 29, 2024 08:46 15m 19s
removed persistent iterator to get rid of mysterious warning (thanks to Joe) CI #1439: Pull request #589 opened by quickbeam123
August 14, 2024 08:25 15m 49s remove-persistent-iterator
remove-persistent-iterator
August 14, 2024 08:25 15m 49s
Remove using namespace Lib from hpp files. CI #1438: Pull request #588 opened by kharus
August 13, 2024 07:52 15m 15s kharus:remove-using-libns-pr7
kharus:remove-using-libns-pr7
August 13, 2024 07:52 15m 15s
remove AWClauseContainer CI #1437: Pull request #587 synchronize by quickbeam123
August 9, 2024 08:16 14m 55s martin-remove_awclausecontainer
martin-remove_awclausecontainer
August 9, 2024 08:16 14m 55s
remove AWClauseContainer CI #1436: Pull request #587 opened by quickbeam123
August 8, 2024 17:38 17m 10s martin-remove_awclausecontainer
martin-remove_awclausecontainer
August 8, 2024 17:38 17m 10s
Fix latex_output for ⊤ and ⊥ CI #1435: Pull request #586 opened by kazarmy
August 8, 2024 10:30 14m 55s kazarmy:fix-latex_output-true-false
kazarmy:fix-latex_output-true-false
August 8, 2024 10:30 14m 55s
Implement conditional redundancy handler CI #1434: Pull request #583 synchronize by mezpusz
August 8, 2024 10:10 15m 21s implement-conditional-redundancy-handler
implement-conditional-redundancy-handler
August 8, 2024 10:10 15m 21s
Implement conditional redundancy handler CI #1433: Pull request #583 synchronize by mezpusz
August 8, 2024 08:10 15m 35s implement-conditional-redundancy-handler
implement-conditional-redundancy-handler
August 8, 2024 08:10 15m 35s
Implement conditional redundancy handler CI #1432: Pull request #583 synchronize by mezpusz
August 8, 2024 08:04 15m 13s implement-conditional-redundancy-handler
implement-conditional-redundancy-handler
August 8, 2024 08:04 15m 13s
Implement conditional redundancy handler CI #1431: Pull request #583 synchronize by mezpusz
August 7, 2024 13:15 15m 9s implement-conditional-redundancy-handler
implement-conditional-redundancy-handler
August 7, 2024 13:15 15m 9s
Implement conditional redundancy handler CI #1430: Pull request #583 synchronize by quickbeam123
August 7, 2024 12:44 15m 29s implement-conditional-redundancy-handler
implement-conditional-redundancy-handler
August 7, 2024 12:44 15m 29s
Implement conditional redundancy handler CI #1429: Pull request #583 synchronize by quickbeam123
August 7, 2024 12:35 15m 23s implement-conditional-redundancy-handler
implement-conditional-redundancy-handler
August 7, 2024 12:35 15m 23s
replace signal-based Timer with a ticking thread CI #1428: Pull request #577 synchronize by quickbeam123
August 7, 2024 08:24 15m 33s michael-timer
michael-timer
August 7, 2024 08:24 15m 33s
replace signal-based Timer with a ticking thread CI #1427: Pull request #577 synchronize by MichaelRawson
August 6, 2024 12:54 14m 56s michael-timer
michael-timer
August 6, 2024 12:54 14m 56s
Fixes several model printing bugs (and more) CI #1426: Pull request #584 synchronize by quickbeam123
August 6, 2024 06:46 15m 12s martin-fix-fmb
martin-fix-fmb
August 6, 2024 06:46 15m 12s
Implement conditional redundancy handler CI #1425: Pull request #583 synchronize by mezpusz
August 5, 2024 14:39 15m 17s implement-conditional-redundancy-handler
implement-conditional-redundancy-handler
August 5, 2024 14:39 15m 17s
Implement conditional redundancy handler CI #1424: Pull request #583 synchronize by mezpusz
August 5, 2024 14:20 15m 10s implement-conditional-redundancy-handler
implement-conditional-redundancy-handler
August 5, 2024 14:20 15m 10s