Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow run results
80 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Allocator alignment problems - remove it? CI #1098: Pull request #452 synchronize by quickbeam123
August 1, 2023 15:12 21m 9s michael-remove-allocator
michael-remove-allocator
August 1, 2023 15:12 21m 9s
remove FoolAwareSub{formula,term}iterator, unused CI #1097: Pull request #468 opened by MichaelRawson
July 25, 2023 14:38 27m 36s michael-remove-foolaware-sei
michael-remove-foolaware-sei
July 25, 2023 14:38 27m 36s
cleanup vampire.cpp a little CI #1096: Pull request #467 opened by MichaelRawson
July 25, 2023 14:16 18m 56s michael-clean-main-vampire
michael-clean-main-vampire
July 25, 2023 14:16 18m 56s
Problems should live long enough to experience proof printing CI #1095: Pull request #466 opened by MichaelRawson
July 24, 2023 21:05 27m 50s michael-fix-env-problem-use-after-free
michael-fix-env-problem-use-after-free
July 24, 2023 21:05 27m 50s
Allocator alignment problems - remove it? CI #1094: Pull request #452 synchronize by MichaelRawson
July 24, 2023 12:16 21m 29s michael-remove-allocator
michael-remove-allocator
July 24, 2023 12:16 21m 29s