Skip to content

Actions: runtimeverification/llvm-backend

Actions

Code Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
clang-format-check.yml
1,427 workflow runs
1,427 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes for MInt serialization into the proof trace Code Checks #3234: Pull request #1152 edited by rv-jenkins
September 27, 2024 20:36 15m 29s hint-mint-serialize
hint-mint-serialize
September 27, 2024 20:36 15m 29s
A few minor bug fixes related to Geth Integration Code Checks #3233: Pull request #1151 edited by rv-jenkins
September 27, 2024 19:40 17m 7s reentrant
reentrant
September 27, 2024 19:40 17m 7s
No proof hint events for unit/elememt collection hooks Code Checks #3232: Pull request #1150 edited by rv-jenkins
September 20, 2024 20:17 5m 1s skip-unit-hooks
skip-unit-hooks
September 20, 2024 20:17 5m 1s
Fix --statistics flag by calling get_steps() instead of trying to access the steps global variable Code Checks #3231: Pull request #1149 synchronize by Robertorosmaninho
September 19, 2024 19:01 5m 55s fix-statistics
fix-statistics
September 19, 2024 19:01 5m 55s
Fix --statistics flag by calling get_steps() instead of trying to access the steps global variable Code Checks #3230: Pull request #1149 synchronize by Robertorosmaninho
September 18, 2024 22:02 4m 28s fix-statistics
fix-statistics
September 18, 2024 22:02 4m 28s
Fix --statistics flag by calling get_steps() instead of trying to access the steps global variable Code Checks #3229: Pull request #1149 synchronize by Robertorosmaninho
September 18, 2024 21:28 5m 16s fix-statistics
fix-statistics
September 18, 2024 21:28 5m 16s
Fix --statistics flag by calling get_steps() instead of trying to access the steps global variable Code Checks #3228: Pull request #1149 edited by rv-jenkins
September 18, 2024 21:13 5m 9s fix-statistics
fix-statistics
September 18, 2024 21:13 5m 9s
Split proof hint trace into multiple files Code Checks #3227: Pull request #1147 synchronize by theo25
September 18, 2024 18:12 8m 12s split-hints
split-hints
September 18, 2024 18:12 8m 12s
Split proof hint trace into multiple files Code Checks #3226: Pull request #1147 synchronize by theo25
September 18, 2024 16:50 6m 9s split-hints
split-hints
September 18, 2024 16:50 6m 9s
Exposing llvm_pattern_matching_failure_event to Python Bindings Code Checks #3225: Pull request #1148 edited by rv-jenkins
September 18, 2024 13:07 11m 54s failute-matching-event-bindings
failute-matching-event-bindings
September 18, 2024 13:07 11m 54s
Split proof hint trace into multiple files Code Checks #3224: Pull request #1147 synchronize by theo25
September 17, 2024 20:00 11m 16s split-hints
split-hints
September 17, 2024 20:00 11m 16s
Print print intermediate configurations after some function events in kore-proof-trace Code Checks #3223: Pull request #1139 synchronize by Robertorosmaninho
September 17, 2024 19:23 7m 25s print-post-function-events
print-post-function-events
September 17, 2024 19:23 7m 25s
Split proof hint trace into multiple files Code Checks #3222: Pull request #1147 synchronize by theo25
September 17, 2024 00:54 12m 7s split-hints
split-hints
September 17, 2024 00:54 12m 7s
Split proof hint trace into multiple files Code Checks #3221: Pull request #1147 edited by rv-jenkins
September 17, 2024 00:43 11m 29s split-hints
split-hints
September 17, 2024 00:43 11m 29s
make llvm backend do better dce and dae Code Checks #3220: Pull request #1144 synchronize by dwightguth
September 13, 2024 18:57 5m 28s optimizations
optimizations
September 13, 2024 18:57 5m 28s
make llvm backend do better dce and dae Code Checks #3219: Pull request #1144 synchronize by dwightguth
September 13, 2024 14:56 10m 58s optimizations
optimizations
September 13, 2024 14:56 10m 58s
optimize how we check whether gc should happen Code Checks #3218: Pull request #1146 synchronize by dwightguth
September 12, 2024 21:08 9m 1s gc
gc
September 12, 2024 21:08 9m 1s
optimize how we check whether gc should happen Code Checks #3217: Pull request #1146 synchronize by dwightguth
September 12, 2024 20:31 12m 38s gc
gc
September 12, 2024 20:31 12m 38s
optimize how we check whether gc should happen Code Checks #3216: Pull request #1146 edited by rv-jenkins
September 12, 2024 20:20 10m 19s gc
gc
September 12, 2024 20:20 10m 19s
Verify ir during CI Code Checks #3215: Pull request #1145 synchronize by dwightguth
September 11, 2024 23:16 9m 39s verify-ir
verify-ir
September 11, 2024 23:16 9m 39s
make llvm backend do better dce and dae Code Checks #3214: Pull request #1144 synchronize by dwightguth
September 11, 2024 18:44 11m 32s optimizations
optimizations
September 11, 2024 18:44 11m 32s
Add pattern matching support for list random access patterns Code Checks #3213: Pull request #1143 synchronize by dwightguth
September 11, 2024 18:42 10m 0s list-set
list-set
September 11, 2024 18:42 10m 0s
make llvm backend do better dce and dae Code Checks #3212: Pull request #1144 synchronize by dwightguth
September 11, 2024 18:19 11m 40s optimizations
optimizations
September 11, 2024 18:19 11m 40s
make llvm backend do better dce and dae Code Checks #3211: Pull request #1144 synchronize by dwightguth
September 11, 2024 17:35 10m 9s optimizations
optimizations
September 11, 2024 17:35 10m 9s
Verify ir during CI Code Checks #3210: Pull request #1145 edited by rv-jenkins
September 11, 2024 17:32 8m 37s verify-ir
verify-ir
September 11, 2024 17:32 8m 37s