Skip to content

Actions: vprover/vampire

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use addr2line(1) for stacktraces CI #1173: Pull request #504 opened by MichaelRawson
November 24, 2023 16:03 13m 7s michael-addr2line
michael-addr2line
November 24, 2023 16:03 13m 7s
do not include congruence axioms for unused symbols CI #1172: Pull request #502 synchronize by MichaelRawson
November 16, 2023 13:38 13m 14s michael-no-ep-for-unused
michael-no-ep-for-unused
November 16, 2023 13:38 13m 14s
do not include congruence axioms for unused symbols CI #1171: Pull request #502 opened by MichaelRawson
November 16, 2023 12:03 12m 11s michael-no-ep-for-unused
michael-no-ep-for-unused
November 16, 2023 12:03 12m 11s
remove ArrayTheoryISE CI #1170: Pull request #500 opened by MichaelRawson
November 7, 2023 16:31 19m 42s michael-remove-array-theory-ise
michael-remove-array-theory-ise
November 7, 2023 16:31 19m 42s
remove old allocator macros CI #1169: Pull request #499 synchronize by MichaelRawson
November 2, 2023 13:33 13m 11s michael-remove-allocator-macros
michael-remove-allocator-macros
November 2, 2023 13:33 13m 11s
remove old allocator macros CI #1168: Pull request #499 opened by MichaelRawson
October 31, 2023 13:16 17m 51s michael-remove-allocator-macros
michael-remove-allocator-macros
October 31, 2023 13:16 17m 51s
turn off run-time type information CI #1167: Pull request #498 opened by MichaelRawson
October 30, 2023 17:14 18m 21s michael-no-rtti
michael-no-rtti
October 30, 2023 17:14 18m 21s
Make encompassment demodulation the default demodulation mode CI #1166: Pull request #497 synchronize by quickbeam123
October 28, 2023 06:49 17m 0s encompassment-demodulation-as-default
encompassment-demodulation-as-default
October 28, 2023 06:49 17m 0s
Fix hidden overloaded virtual function warning in AnswerExtractor CI #1165: Pull request #494 synchronize by quickbeam123
October 27, 2023 14:45 17m 25s fix-hidden-overloaded-virtual-function-warning
fix-hidden-overloaded-virtual-function-warning
October 27, 2023 14:45 17m 25s
Fix hidden overloaded virtual function warning in AnswerExtractor CI #1164: Pull request #494 synchronize by quickbeam123
October 26, 2023 16:57 17m 44s fix-hidden-overloaded-virtual-function-warning
fix-hidden-overloaded-virtual-function-warning
October 26, 2023 16:57 17m 44s
Change hashes in Induction so that iteration orders are deterministic CI #1163: Pull request #496 synchronize by mezpusz
October 26, 2023 16:54 21m 7s make-induction-deterministic
make-induction-deterministic
October 26, 2023 16:54 21m 7s
Fix hidden overloaded virtual function warning in AnswerExtractor CI #1162: Pull request #494 synchronize by quickbeam123
October 26, 2023 16:53 26m 40s fix-hidden-overloaded-virtual-function-warning
fix-hidden-overloaded-virtual-function-warning
October 26, 2023 16:53 26m 40s
Change hashes in Induction so that iteration orders are deterministic CI #1161: Pull request #496 opened by mezpusz
October 26, 2023 14:22 25m 18s make-induction-deterministic
make-induction-deterministic
October 26, 2023 14:22 25m 18s
remove old option randomization CI #1160: Pull request #495 opened by quickbeam123
October 26, 2023 12:29 25m 26s martin-remove-old-option-randomization
martin-remove-old-option-randomization
October 26, 2023 12:29 25m 26s
Fix hidden overloaded virtual function warning in AnswerExtractor CI #1159: Pull request #494 opened by mezpusz
October 26, 2023 10:19 20m 30s fix-hidden-overloaded-virtual-function-warning
fix-hidden-overloaded-virtual-function-warning
October 26, 2023 10:19 20m 30s
IsRenaming fix CI #1158: Pull request #493 opened by mezpusz
October 25, 2023 15:40 17m 44s isrenaming-fix
isrenaming-fix
October 25, 2023 15:40 17m 44s
Synthesis of non-recursive programs CI #1157: Pull request #442 synchronize by quickbeam123
October 20, 2023 13:52 17m 36s synthesis-pr
synthesis-pr
October 20, 2023 13:52 17m 36s
Synthesis of non-recursive programs CI #1156: Pull request #442 synchronize by hzzv
October 20, 2023 07:03 16m 49s synthesis-pr
synthesis-pr
October 20, 2023 07:03 16m 49s
prevent readFromEncodedOptions from silently setting normalize to true CI #1155: Pull request #492 opened by quickbeam123
October 19, 2023 15:37 17m 34s martin-no-implicit-normalize-from-readFromEncodedOptions
martin-no-implicit-normalize-from-readFromEncodedOptions
October 19, 2023 15:37 17m 34s
Splitter::_compNames unnecessary CI #1154: Pull request #491 opened by MichaelRawson
October 19, 2023 10:08 18m 0s michael-splitter-no-compnames
michael-splitter-no-compnames
October 19, 2023 10:08 18m 0s
disable time profiling by default CI #1153: Pull request #490 synchronize by MichaelRawson
October 18, 2023 20:01 23m 6s michael-no-default-profiling
michael-no-default-profiling
October 18, 2023 20:01 23m 6s
disable time profiling by default CI #1152: Pull request #490 synchronize by MichaelRawson
October 18, 2023 19:31 16m 25s michael-no-default-profiling
michael-no-default-profiling
October 18, 2023 19:31 16m 25s
disable time profiling by default CI #1151: Pull request #490 opened by MichaelRawson
October 18, 2023 17:43 20m 6s michael-no-default-profiling
michael-no-default-profiling
October 18, 2023 17:43 20m 6s
Synthesis of non-recursive programs CI #1150: Pull request #442 synchronize by hzzv
October 17, 2023 13:53 17m 6s synthesis-pr
synthesis-pr
October 17, 2023 13:53 17m 6s
Synthesis of non-recursive programs CI #1149: Pull request #442 synchronize by hzzv
October 17, 2023 07:15 18m 26s synthesis-pr
synthesis-pr
October 17, 2023 07:15 18m 26s