Skip to content

Actions: runtimeverification/llvm-backend

Actions

Run LLVM backend tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
738 workflow runs
738 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes for MInt serialization into the proof trace Run LLVM backend tests #2356: Pull request #1152 edited by rv-jenkins
September 27, 2024 20:36 12m 24s hint-mint-serialize
hint-mint-serialize
September 27, 2024 20:36 12m 24s
A few minor bug fixes related to Geth Integration Run LLVM backend tests #2355: Pull request #1151 edited by rv-jenkins
September 27, 2024 19:40 28m 25s reentrant
reentrant
September 27, 2024 19:40 28m 25s
No proof hint events for unit/elememt collection hooks Run LLVM backend tests #2354: Pull request #1150 edited by rv-jenkins
September 20, 2024 20:17 20m 29s skip-unit-hooks
skip-unit-hooks
September 20, 2024 20:17 20m 29s
Fix --statistics flag by calling get_steps() instead of trying to access the steps global variable Run LLVM backend tests #2353: Pull request #1149 synchronize by Robertorosmaninho
September 19, 2024 19:01 27m 27s fix-statistics
fix-statistics
September 19, 2024 19:01 27m 27s
Fix --statistics flag by calling get_steps() instead of trying to access the steps global variable Run LLVM backend tests #2352: Pull request #1149 synchronize by Robertorosmaninho
September 18, 2024 22:02 20m 47s fix-statistics
fix-statistics
September 18, 2024 22:02 20m 47s
Fix --statistics flag by calling get_steps() instead of trying to access the steps global variable Run LLVM backend tests #2351: Pull request #1149 synchronize by Robertorosmaninho
September 18, 2024 21:28 29m 22s fix-statistics
fix-statistics
September 18, 2024 21:28 29m 22s
Fix --statistics flag by calling get_steps() instead of trying to access the steps global variable Run LLVM backend tests #2350: Pull request #1149 edited by rv-jenkins
September 18, 2024 21:13 15m 20s fix-statistics
fix-statistics
September 18, 2024 21:13 15m 20s
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