Skip to content

Actions: runtimeverification/llvm-backend

Actions

Run LLVM backend tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
731 workflow runs
731 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Split proof hint trace into multiple files Run LLVM backend tests #2349: Pull request #1147 synchronize by theo25
September 18, 2024 18:12 20m 57s split-hints
split-hints
September 18, 2024 18:12 20m 57s
Split proof hint trace into multiple files Run LLVM backend tests #2348: Pull request #1147 synchronize by theo25
September 18, 2024 16:50 16m 52s split-hints
split-hints
September 18, 2024 16:50 16m 52s
Exposing llvm_pattern_matching_failure_event to Python Bindings Run LLVM backend tests #2347: Pull request #1148 edited by rv-jenkins
September 18, 2024 13:07 17m 30s failute-matching-event-bindings
failute-matching-event-bindings
September 18, 2024 13:07 17m 30s
Split proof hint trace into multiple files Run LLVM backend tests #2346: Pull request #1147 synchronize by theo25
September 17, 2024 20:00 20m 59s split-hints
split-hints
September 17, 2024 20:00 20m 59s
Print print intermediate configurations after some function events in kore-proof-trace Run LLVM backend tests #2345: Pull request #1139 synchronize by Robertorosmaninho
September 17, 2024 19:23 28m 18s print-post-function-events
print-post-function-events
September 17, 2024 19:23 28m 18s
Split proof hint trace into multiple files Run LLVM backend tests #2344: Pull request #1147 synchronize by theo25
September 17, 2024 00:54 28m 25s split-hints
split-hints
September 17, 2024 00:54 28m 25s
Split proof hint trace into multiple files Run LLVM backend tests #2343: Pull request #1147 edited by rv-jenkins
September 17, 2024 00:43 11m 30s split-hints
split-hints
September 17, 2024 00:43 11m 30s
make llvm backend do better dce and dae Run LLVM backend tests #2342: Pull request #1144 synchronize by dwightguth
September 13, 2024 18:57 28m 16s optimizations
optimizations
September 13, 2024 18:57 28m 16s
make llvm backend do better dce and dae Run LLVM backend tests #2341: Pull request #1144 synchronize by dwightguth
September 13, 2024 14:56 35m 4s optimizations
optimizations
September 13, 2024 14:56 35m 4s
optimize how we check whether gc should happen Run LLVM backend tests #2340: Pull request #1146 synchronize by dwightguth
September 12, 2024 21:08 19m 22s gc
gc
September 12, 2024 21:08 19m 22s
optimize how we check whether gc should happen Run LLVM backend tests #2339: Pull request #1146 synchronize by dwightguth
September 12, 2024 20:31 37m 38s gc
gc
September 12, 2024 20:31 37m 38s
optimize how we check whether gc should happen Run LLVM backend tests #2338: Pull request #1146 edited by rv-jenkins
September 12, 2024 20:20 9m 41s gc
gc
September 12, 2024 20:20 9m 41s
Verify ir during CI Run LLVM backend tests #2337: Pull request #1145 synchronize by dwightguth
September 11, 2024 23:16 31m 17s verify-ir
verify-ir
September 11, 2024 23:16 31m 17s
make llvm backend do better dce and dae Run LLVM backend tests #2336: Pull request #1144 synchronize by dwightguth
September 11, 2024 18:44 25m 21s optimizations
optimizations
September 11, 2024 18:44 25m 21s
Add pattern matching support for list random access patterns Run LLVM backend tests #2335: Pull request #1143 synchronize by dwightguth
September 11, 2024 18:42 19m 1s list-set
list-set
September 11, 2024 18:42 19m 1s
make llvm backend do better dce and dae Run LLVM backend tests #2334: Pull request #1144 synchronize by dwightguth
September 11, 2024 18:19 25m 21s optimizations
optimizations
September 11, 2024 18:19 25m 21s
make llvm backend do better dce and dae Run LLVM backend tests #2333: Pull request #1144 synchronize by dwightguth
September 11, 2024 17:35 14m 45s optimizations
optimizations
September 11, 2024 17:35 14m 45s
Verify ir during CI Run LLVM backend tests #2332: Pull request #1145 edited by rv-jenkins
September 11, 2024 17:32 26m 58s verify-ir
verify-ir
September 11, 2024 17:32 26m 58s
make llvm backend do better dce and dae Run LLVM backend tests #2331: Pull request #1144 synchronize by dwightguth
September 11, 2024 16:17 16m 43s optimizations
optimizations
September 11, 2024 16:17 16m 43s
make llvm backend do better dce and dae Run LLVM backend tests #2330: Pull request #1144 synchronize by dwightguth
September 11, 2024 16:13 3m 55s optimizations
optimizations
September 11, 2024 16:13 3m 55s
make llvm backend do better dce and dae Run LLVM backend tests #2329: Pull request #1144 synchronize by dwightguth
September 11, 2024 16:12 2m 7s optimizations
optimizations
September 11, 2024 16:12 2m 7s
make llvm backend do better dce and dae Run LLVM backend tests #2328: Pull request #1144 synchronize by dwightguth
September 11, 2024 15:39 11m 23s optimizations
optimizations
September 11, 2024 15:39 11m 23s
make llvm backend do better dce and dae Run LLVM backend tests #2327: Pull request #1144 synchronize by dwightguth
September 11, 2024 15:32 8m 11s optimizations
optimizations
September 11, 2024 15:32 8m 11s
Add pattern matching support for list random access patterns Run LLVM backend tests #2326: Pull request #1143 synchronize by dwightguth
September 11, 2024 14:51 25m 44s list-set
list-set
September 11, 2024 14:51 25m 44s
make llvm backend do better dce and dae Run LLVM backend tests #2325: Pull request #1144 edited by rv-jenkins
September 11, 2024 14:19 5m 44s optimizations
optimizations
September 11, 2024 14:19 5m 44s