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

Make global/static variables thread_local; use mmap() for managing memory Run LLVM backend tests #2399: Pull request #1161 synchronize by stevenmeker
October 25, 2024 05:56 29m 27s thread_safe3
thread_safe3
October 25, 2024 05:56 29m 27s
Make global/static variables thread_local; use mmap() for managing memory Run LLVM backend tests #2398: Pull request #1161 synchronize by stevenmeker
October 25, 2024 05:50 6m 47s thread_safe3
thread_safe3
October 25, 2024 05:50 6m 47s
Make global/static variables thread_local; use mmap() for managing memory Run LLVM backend tests #2397: Pull request #1161 synchronize by stevenmeker
October 25, 2024 05:06 12m 46s thread_safe3
thread_safe3
October 25, 2024 05:06 12m 46s
Make global/static variables thread_local; use mmap() for managing memory Run LLVM backend tests #2396: Pull request #1161 synchronize by stevenmeker
October 25, 2024 04:51 15m 1s thread_safe3
thread_safe3
October 25, 2024 04:51 15m 1s
Make global/static variables thread_local; use mmap() for managing memory Run LLVM backend tests #2395: Pull request #1161 synchronize by stevenmeker
October 25, 2024 00:15 7m 31s thread_safe3
thread_safe3
October 25, 2024 00:15 7m 31s
Make global/static variables thread_local; use mmap() for managing memory Run LLVM backend tests #2394: Pull request #1161 synchronize by stevenmeker
October 24, 2024 21:11 12m 49s thread_safe3
thread_safe3
October 24, 2024 21:11 12m 49s
fix ordinals not being applied to return types of symbols Run LLVM backend tests #2393: Pull request #1162 synchronize by dwightguth
October 23, 2024 20:42 11m 40s ordinal
ordinal
October 23, 2024 20:42 11m 40s
fix ordinals not being applied to return types of symbols Run LLVM backend tests #2392: Pull request #1162 edited by rv-jenkins
October 23, 2024 20:26 16m 32s ordinal
ordinal
October 23, 2024 20:26 16m 32s
Adding support for MInt{128} Run LLVM backend tests #2391: Pull request #1160 synchronize by Robertorosmaninho
October 22, 2024 21:33 25m 45s add-support-for-mint128
add-support-for-mint128
October 22, 2024 21:33 25m 45s
Adding support for MInt{128} Run LLVM backend tests #2390: Pull request #1160 synchronize by Robertorosmaninho
October 22, 2024 21:07 22m 1s add-support-for-mint128
add-support-for-mint128
October 22, 2024 21:07 22m 1s
Adding support for MInt{128} Run LLVM backend tests #2389: Pull request #1160 synchronize by Robertorosmaninho
October 22, 2024 13:08 32m 21s add-support-for-mint128
add-support-for-mint128
October 22, 2024 13:08 32m 21s
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 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
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} 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
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 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
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
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 Run LLVM backend tests #2379: Pull request #1157 synchronize by dwightguth
October 15, 2024 16:30 10m 36s ulm
ulm
October 15, 2024 16:30 10m 36s
a few minor fixes to support the ULM better Run LLVM backend tests #2378: Pull request #1157 edited by rv-jenkins
October 15, 2024 16:14 15m 58s ulm
ulm
October 15, 2024 16:14 15m 58s
Only emitting side_conditions if all occurrences of the same variable are equal Run LLVM backend tests #2377: Pull request #1155 edited by Robertorosmaninho
October 14, 2024 01:09 29m 58s fix-side-condition-bug
fix-side-condition-bug
October 14, 2024 01:09 29m 58s
Only emitting side_conditions if all occurrences of the same variable are equal Run LLVM backend tests #2376: Pull request #1155 synchronize by Robertorosmaninho
October 14, 2024 01:05 4m 17s fix-side-condition-bug
fix-side-condition-bug
October 14, 2024 01:05 4m 17s
Only emitting side_conditions if all occurrences of the same variable are equal Run LLVM backend tests #2375: Pull request #1155 edited by Robertorosmaninho
October 14, 2024 00:49 13m 8s fix-side-condition-bug
fix-side-condition-bug
October 14, 2024 00:49 13m 8s