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,419 workflow runs
1,419 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make global/static variables thread_local; use mmap() for managing memory Code Checks #3288: Pull request #1161 synchronize by stevenmeker
November 7, 2024 22:48 13m 28s thread_safe3
thread_safe3
November 7, 2024 22:48 13m 28s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3287: Pull request #1161 synchronize by stevenmeker
November 4, 2024 21:12 13m 25s thread_safe3
thread_safe3
November 4, 2024 21:12 13m 25s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3286: Pull request #1161 synchronize by stevenmeker
November 4, 2024 19:23 16m 45s thread_safe3
thread_safe3
November 4, 2024 19:23 16m 45s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3285: Pull request #1161 synchronize by stevenmeker
November 1, 2024 23:58 5m 32s thread_safe3
thread_safe3
November 1, 2024 23:58 5m 32s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3284: Pull request #1161 synchronize by stevenmeker
October 30, 2024 05:22 12m 53s thread_safe3
thread_safe3
October 30, 2024 05:22 12m 53s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3283: Pull request #1161 synchronize by stevenmeker
October 30, 2024 05:08 11m 19s thread_safe3
thread_safe3
October 30, 2024 05:08 11m 19s
fix ordinals not being applied to return types of symbols Code Checks #3282: Pull request #1162 synchronize by dwightguth
October 29, 2024 18:46 13m 33s ordinal
ordinal
October 29, 2024 18:46 13m 33s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3281: Pull request #1161 synchronize by stevenmeker
October 29, 2024 00:08 13m 48s thread_safe3
thread_safe3
October 29, 2024 00:08 13m 48s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3280: Pull request #1161 synchronize by stevenmeker
October 28, 2024 22:40 17m 7s thread_safe3
thread_safe3
October 28, 2024 22:40 17m 7s
fix ordinals not being applied to return types of symbols Code Checks #3279: Pull request #1162 synchronize by dwightguth
October 28, 2024 15:57 3m 47s ordinal
ordinal
October 28, 2024 15:57 3m 47s
fix ordinals not being applied to return types of symbols Code Checks #3278: Pull request #1162 synchronize by dwightguth
October 28, 2024 15:48 8m 49s ordinal
ordinal
October 28, 2024 15:48 8m 49s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3277: Pull request #1161 synchronize by stevenmeker
October 25, 2024 05:56 14m 28s thread_safe3
thread_safe3
October 25, 2024 05:56 14m 28s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3276: Pull request #1161 synchronize by stevenmeker
October 25, 2024 05:50 6m 46s thread_safe3
thread_safe3
October 25, 2024 05:50 6m 46s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3275: Pull request #1161 synchronize by stevenmeker
October 25, 2024 05:06 13m 3s thread_safe3
thread_safe3
October 25, 2024 05:06 13m 3s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3274: Pull request #1161 synchronize by stevenmeker
October 25, 2024 04:51 7m 7s thread_safe3
thread_safe3
October 25, 2024 04:51 7m 7s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3273: Pull request #1161 synchronize by stevenmeker
October 25, 2024 00:15 6m 24s thread_safe3
thread_safe3
October 25, 2024 00:15 6m 24s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3272: Pull request #1161 synchronize by stevenmeker
October 24, 2024 21:11 13m 22s thread_safe3
thread_safe3
October 24, 2024 21:11 13m 22s
fix ordinals not being applied to return types of symbols Code Checks #3271: Pull request #1162 synchronize by dwightguth
October 23, 2024 20:42 14m 33s ordinal
ordinal
October 23, 2024 20:42 14m 33s
fix ordinals not being applied to return types of symbols Code Checks #3270: Pull request #1162 edited by rv-jenkins
October 23, 2024 20:26 7m 11s ordinal
ordinal
October 23, 2024 20:26 7m 11s
Adding support for MInt{128} Code Checks #3269: Pull request #1160 synchronize by Robertorosmaninho
October 22, 2024 21:33 7m 57s add-support-for-mint128
add-support-for-mint128
October 22, 2024 21:33 7m 57s
Adding support for MInt{128} Code Checks #3268: Pull request #1160 synchronize by Robertorosmaninho
October 22, 2024 21:07 7m 59s add-support-for-mint128
add-support-for-mint128
October 22, 2024 21:07 7m 59s
Adding support for MInt{128} Code Checks #3267: Pull request #1160 synchronize by Robertorosmaninho
October 22, 2024 13:08 11m 10s add-support-for-mint128
add-support-for-mint128
October 22, 2024 13:08 11m 10s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3266: Pull request #1161 synchronize by stevenmeker
October 21, 2024 20:44 14m 6s thread_safe3
thread_safe3
October 21, 2024 20:44 14m 6s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3265: Pull request #1161 synchronize by stevenmeker
October 21, 2024 18:47 10m 43s thread_safe3
thread_safe3
October 21, 2024 18:47 10m 43s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3264: Pull request #1161 opened by stevenmeker
October 21, 2024 18:18 20m 12s thread_safe3
thread_safe3
October 21, 2024 18:18 20m 12s