Skip to content

Actions: runtimeverification/llvm-backend

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,467 workflow runs
3,467 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 #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 Run LLVM backend tests #2388: Pull request #1161 synchronize by stevenmeker
October 21, 2024 20:44 28m 49s thread_safe3
thread_safe3
October 21, 2024 20:44 28m 49s
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 Run LLVM backend tests #2387: Pull request #1161 synchronize by stevenmeker
October 21, 2024 18:47 21m 43s thread_safe3
thread_safe3
October 21, 2024 18:47 21m 43s
Make global/static variables thread_local; use mmap() for managing memory Run LLVM backend tests #2386: Pull request #1161 opened by stevenmeker
October 21, 2024 18:18 21m 16s thread_safe3
thread_safe3
October 21, 2024 18:18 21m 16s
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
Adding support for MInt{128} Run LLVM backend tests #2385: Pull request #1160 synchronize by Robertorosmaninho
October 21, 2024 17:19 3m 26s add-support-for-mint128
add-support-for-mint128
October 21, 2024 17:19 3m 26s
Adding support for MInt{128} Code Checks #3263: Pull request #1160 synchronize by Robertorosmaninho
October 21, 2024 17:19 15m 3s add-support-for-mint128
add-support-for-mint128
October 21, 2024 17:19 15m 3s
Adding support for MInt{128} Run LLVM backend tests #2384: Pull request #1160 edited by rv-jenkins
October 21, 2024 17:10 9m 41s add-support-for-mint128
add-support-for-mint128
October 21, 2024 17:10 9m 41s
Adding support for MInt{128} Code Checks #3262: Pull request #1160 edited by rv-jenkins
October 21, 2024 17:10 9m 39s add-support-for-mint128
add-support-for-mint128
October 21, 2024 17:10 9m 39s
Adding support for MInt{128} Change PR target to master #87: Pull request #1160 opened by Robertorosmaninho
October 21, 2024 17:10 20s add-support-for-mint128
add-support-for-mint128
October 21, 2024 17:10 20s
Make global/static variables thread_local; use mmap() for managing memory Run LLVM backend tests #2383: Pull request #1159 opened by stevenmeker
October 18, 2024 22:54 29m 28s thread_safe2
thread_safe2
October 18, 2024 22:54 29m 28s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3261: Pull request #1159 opened by stevenmeker
October 18, 2024 22:54 13m 58s thread_safe2
thread_safe2
October 18, 2024 22:54 13m 58s
Make global/static variables thread_local; use mmap() for managing memory Run LLVM backend tests #2382: Pull request #1158 edited by rv-jenkins
October 18, 2024 20:33 15m 53s thread_safe
thread_safe
October 18, 2024 20:33 15m 53s
Make global/static variables thread_local; use mmap() for managing memory Code Checks #3260: Pull request #1158 edited by rv-jenkins
October 18, 2024 20:33 14m 55s thread_safe
thread_safe
October 18, 2024 20:33 14m 55s
Make global/static variables thread_local; use mmap() for managing memory Change PR target to master #86: Pull request #1158 synchronize by Robertorosmaninho
October 18, 2024 20:32 23s thread_safe
thread_safe
October 18, 2024 20:32 23s
Set Version: 0.1.101 Master Push #379: Commit 37b1dd9 pushed by rv-jenkins
October 17, 2024 20:02 9m 38s master
master
October 17, 2024 20:02 9m 38s
Only emitting side_conditions if all occurrences of the same variable… Bump version and make master job #99: Commit 7ab1dec pushed by rv-jenkins
October 17, 2024 20:02 21s develop
develop
October 17, 2024 20:02 21s
Only emitting side_conditions if all occurrences of the same variable are equal Run LLVM backend tests #2381: Pull request #1155 synchronize by Robertorosmaninho
October 17, 2024 19:15 29m 17s fix-side-condition-bug
fix-side-condition-bug
October 17, 2024 19:15 29m 17s
Only emitting side_conditions if all occurrences of the same variable are equal Code Checks #3259: Pull request #1155 synchronize by Robertorosmaninho
October 17, 2024 19:15 13m 27s fix-side-condition-bug
fix-side-condition-bug
October 17, 2024 19:15 13m 27s
Set Version: 0.1.100 Master Push #378: Commit 84a419e pushed by rv-jenkins
October 16, 2024 16:21 9m 20s master
master
October 16, 2024 16:21 9m 20s
a few minor fixes to support the ULM better (#1157) Bump version and make master job #98: Commit fc9602c pushed by dwightguth
October 16, 2024 16:20 28s develop
develop
October 16, 2024 16:20 28s
a few minor fixes to support the ULM better Run LLVM backend tests #2380: Pull request #1157 synchronize by dwightguth
October 15, 2024 16:40 29m 11s ulm
ulm
October 15, 2024 16:40 29m 11s
a few minor fixes to support the ULM better Code Checks #3258: Pull request #1157 synchronize by dwightguth
October 15, 2024 16:40 14m 39s ulm
ulm
October 15, 2024 16:40 14m 39s
a few minor fixes to support the ULM better Code Checks #3257: Pull request #1157 synchronize by dwightguth
October 15, 2024 16:30 5m 11s ulm
ulm
October 15, 2024 16:30 5m 11s