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

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} 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
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 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
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
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
a few minor fixes to support the ULM better Code Checks #3256: Pull request #1157 edited by rv-jenkins
October 15, 2024 16:14 8m 9s ulm
ulm
October 15, 2024 16:14 8m 9s
Only emitting side_conditions if all occurrences of the same variable are equal Code Checks #3255: Pull request #1155 edited by Robertorosmaninho
October 14, 2024 01:09 11m 20s fix-side-condition-bug
fix-side-condition-bug
October 14, 2024 01:09 11m 20s
Only emitting side_conditions if all occurrences of the same variable are equal Code Checks #3254: Pull request #1155 synchronize by Robertorosmaninho
October 14, 2024 01:05 4m 10s fix-side-condition-bug
fix-side-condition-bug
October 14, 2024 01:05 4m 10s
Only emitting side_conditions if all occurrences of the same variable are equal Code Checks #3253: Pull request #1155 edited by Robertorosmaninho
October 14, 2024 00:49 14m 12s fix-side-condition-bug
fix-side-condition-bug
October 14, 2024 00:49 14m 12s
Only emitting side_conditions if all occurrences of the same variable are equal Code Checks #3252: Pull request #1155 synchronize by Robertorosmaninho
October 14, 2024 00:30 14m 50s fix-side-condition-bug
fix-side-condition-bug
October 14, 2024 00:30 14m 50s
Only emitting side_conditions if all occurrences of the same variable are equal Code Checks #3251: Pull request #1155 synchronize by Robertorosmaninho
October 14, 2024 00:27 3m 24s fix-side-condition-bug
fix-side-condition-bug
October 14, 2024 00:27 3m 24s
Only emitting side_conditions if all occurrences of the same variable are equal Code Checks #3250: Pull request #1155 synchronize by Robertorosmaninho
October 14, 2024 00:25 2m 27s fix-side-condition-bug
fix-side-condition-bug
October 14, 2024 00:25 2m 27s
Only emitting side_conditions if all occurrences of the same variable are equal Code Checks #3249: Pull request #1155 synchronize by Robertorosmaninho
October 13, 2024 23:51 12m 2s fix-side-condition-bug
fix-side-condition-bug
October 13, 2024 23:51 12m 2s
Only emitting side_conditions if all occurrences of the same variable are equal Code Checks #3248: Pull request #1155 synchronize by Robertorosmaninho
October 12, 2024 16:45 11m 38s fix-side-condition-bug
fix-side-condition-bug
October 12, 2024 16:45 11m 38s
Making proof_trace_parser and llvm_rewrite_trace_iterator use a shared_ptr of kore_header Code Checks #3247: Pull request #1156 synchronize by Robertorosmaninho
October 11, 2024 19:33 12m 56s fix-parse-proof-iterator-issue
fix-parse-proof-iterator-issue
October 11, 2024 19:33 12m 56s
Making proof_trace_parser and llvm_rewrite_trace_iterator use a shared_ptr of kore_header Code Checks #3246: Pull request #1156 edited by Robertorosmaninho
October 11, 2024 19:33 39s fix-parse-proof-iterator-issue
fix-parse-proof-iterator-issue
October 11, 2024 19:33 39s
Making proof_trace_parser and llvm_rewrite_trace_iterator use a shared_ptr of kore_header Code Checks #3245: Pull request #1156 edited by rv-jenkins
October 11, 2024 19:03 14m 30s fix-parse-proof-iterator-issue
fix-parse-proof-iterator-issue
October 11, 2024 19:03 14m 30s
Only emitting side_conditions if all occurrences of the same variable are equal Code Checks #3244: Pull request #1155 synchronize by Robertorosmaninho
October 10, 2024 21:45 18m 21s fix-side-condition-bug
fix-side-condition-bug
October 10, 2024 21:45 18m 21s
Only emitting side_conditions if all occurrences of the same variable are equal Code Checks #3243: Pull request #1155 edited by rv-jenkins
October 10, 2024 21:45 51s fix-side-condition-bug
fix-side-condition-bug
October 10, 2024 21:45 51s
Fixes for MInt serialization into the proof trace Code Checks #3242: Pull request #1154 synchronize by theo25
October 1, 2024 19:26 13m 47s theo25:hint-mint-serialize
theo25:hint-mint-serialize
October 1, 2024 19:26 13m 47s
Fixes for MInt serialization into the proof trace Code Checks #3241: Pull request #1154 synchronize by theo25
October 1, 2024 18:38 11m 15s theo25:hint-mint-serialize
theo25:hint-mint-serialize
October 1, 2024 18:38 11m 15s
Fixes for MInt serialization into the proof trace Code Checks #3240: Pull request #1154 synchronize by theo25
October 1, 2024 17:54 16m 42s theo25:hint-mint-serialize
theo25:hint-mint-serialize
October 1, 2024 17:54 16m 42s
Fixes for MInt serialization into the proof trace Code Checks #3239: Pull request #1154 synchronize by theo25
October 1, 2024 17:30 9m 33s theo25:hint-mint-serialize
theo25:hint-mint-serialize
October 1, 2024 17:30 9m 33s