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

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
remove Lib::TimeCounter, superseded CI #1093: Pull request #464 opened by MichaelRawson
July 22, 2023 16:15 18m 7s michael-remove-time-counter
michael-remove-time-counter
July 22, 2023 16:15 18m 7s
remove Shell::Profile, unused CI #1092: Pull request #463 opened by MichaelRawson
July 22, 2023 16:09 17m 55s michael-remove-shell-profile
michael-remove-shell-profile
July 22, 2023 16:09 17m 55s
Allocator alignment problems - remove it? CI #1091: Pull request #452 synchronize by MichaelRawson
July 22, 2023 16:05 12m 45s michael-remove-allocator
michael-remove-allocator
July 22, 2023 16:05 12m 45s
remove instances of CALL CI #1090: Pull request #460 synchronize by quickbeam123
July 18, 2023 16:13 18m 1s michael-remove-call
michael-remove-call
July 18, 2023 16:13 18m 1s
remove instances of CALL CI #1089: Pull request #460 opened by MichaelRawson
July 17, 2023 08:07 17m 8s michael-remove-call
michael-remove-call
July 17, 2023 08:07 17m 8s
Casc2023 CI #1088: Pull request #459 synchronize by MichaelRawson
July 12, 2023 21:21 42s casc2023
casc2023
July 12, 2023 21:21 42s
Casc2023 CI #1087: Pull request #459 opened by quickbeam123
July 12, 2023 16:57 26m 15s casc2023
casc2023
July 12, 2023 16:57 26m 15s
Special Functor Type-Safety CI #1086: Pull request #456 synchronize by MichaelRawson
July 12, 2023 14:25 18m 8s special-functor-refactor
special-functor-refactor
July 12, 2023 14:25 18m 8s
stacktrace without CALL CI #1085: Pull request #412 synchronize by MichaelRawson
July 12, 2023 11:17 20m 45s michael-boost-stacktrace
michael-boost-stacktrace
July 12, 2023 11:17 20m 45s
remove InverseLookup, not useful CI #1084: Pull request #400 synchronize by MichaelRawson
July 12, 2023 08:54 27m 51s michael-remove-inverse-lookup
michael-remove-inverse-lookup
July 12, 2023 08:54 27m 51s
remove InverseLookup, not useful CI #1083: Pull request #400 synchronize by MichaelRawson
July 12, 2023 08:48 6m 1s michael-remove-inverse-lookup
michael-remove-inverse-lookup
July 12, 2023 08:48 6m 1s
remove hypersuperposition CI #1082: Pull request #401 synchronize by MichaelRawson
July 12, 2023 08:40 17m 41s michael-remove-hyper-superposition
michael-remove-hyper-superposition
July 12, 2023 08:40 17m 41s
Special Functor Type-Safety CI #1081: Pull request #456 synchronize by MichaelRawson
July 12, 2023 08:26 18m 32s special-functor-refactor
special-functor-refactor
July 12, 2023 08:26 18m 32s
Special Functor Type-Safety CI #1080: Pull request #456 synchronize by quickbeam123
July 11, 2023 13:34 26m 27s special-functor-refactor
special-functor-refactor
July 11, 2023 13:34 26m 27s
Fixing equality weight computation CI #1079: Pull request #458 opened by joe-hauns
July 5, 2023 08:22 24m 56s term-sharing-fix
term-sharing-fix
July 5, 2023 08:22 24m 56s
Special Functor Type-Safety CI #1078: Pull request #456 synchronize by joe-hauns
July 3, 2023 13:50 17m 10s special-functor-refactor
special-functor-refactor
July 3, 2023 13:50 17m 10s
Special Functor Type-Safety CI #1077: Pull request #456 synchronize by joe-hauns
July 3, 2023 13:44 25m 8s special-functor-refactor
special-functor-refactor
July 3, 2023 13:44 25m 8s
Fixes UWA polymorphism compability CI #1076: Pull request #457 opened by joe-hauns
June 30, 2023 11:00 19m 43s uwa-hol-compat-fix
uwa-hol-compat-fix
June 30, 2023 11:00 19m 43s
Special Functor Type-Safety CI #1075: Pull request #456 opened by joe-hauns
June 29, 2023 15:49 16m 29s special-functor-refactor
special-functor-refactor
June 29, 2023 15:49 16m 29s
Fixing translation of polymorphic constants to Z3 CI #1074: Pull request #455 synchronize by ibnyusuf
June 23, 2023 13:41 16m 39s ahmed-z3-poly-const-fix
ahmed-z3-poly-const-fix
June 23, 2023 13:41 16m 39s
ProTip! You can narrow down the results and go further in time using created:<2023-06-23 or the other filters available.