Skip to content

Actions: runtimeverification/llvm-backend

Actions

Change PR target to master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
master-pr.yml
116 workflow runs
116 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

further refactoring allocation code Change PR target to master #91: Pull request #1165 opened by stevenmeker
November 19, 2024 03:46 23s alloc_refactor2
alloc_refactor2
November 19, 2024 03:46 23s
Alloc refactor Change PR target to master #90: Pull request #1164 opened by stevenmeker
November 15, 2024 19:45 29s alloc_refactor
alloc_refactor
November 15, 2024 19:45 29s
try to delete some probably unneeded bitcasts Change PR target to master #89: Pull request #1163 opened by dwightguth
November 14, 2024 17:04 23s nobitcast
nobitcast
November 14, 2024 17:04 23s
fix ordinals not being applied to return types of symbols Change PR target to master #88: Pull request #1162 opened by dwightguth
October 23, 2024 20:26 26s ordinal
ordinal
October 23, 2024 20:26 26s
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 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
a few minor fixes to support the ULM better Change PR target to master #85: Pull request #1157 opened by dwightguth
October 15, 2024 16:14 22s ulm
ulm
October 15, 2024 16:14 22s
Making proof_trace_parser and llvm_rewrite_trace_iterator use a shared_ptr of kore_header Change PR target to master #84: Pull request #1156 opened by Robertorosmaninho
October 11, 2024 19:03 23s fix-parse-proof-iterator-issue
fix-parse-proof-iterator-issue
October 11, 2024 19:03 23s
Only emitting side_conditions if all occurrences of the same variable are equal Change PR target to master #83: Pull request #1155 opened by Robertorosmaninho
October 10, 2024 21:45 20s fix-side-condition-bug
fix-side-condition-bug
October 10, 2024 21:45 20s
disable proof hint generation during call to get_exit_code Change PR target to master #82: Pull request #1153 opened by dwightguth
September 30, 2024 16:16 35s proof-hint-at-end
proof-hint-at-end
September 30, 2024 16:16 35s
Fixes for MInt serialization into the proof trace Change PR target to master #81: Pull request #1152 opened by theo25
September 27, 2024 20:36 25s hint-mint-serialize
hint-mint-serialize
September 27, 2024 20:36 25s
A few minor bug fixes related to Geth Integration Change PR target to master #80: Pull request #1151 opened by dwightguth
September 27, 2024 19:39 23s reentrant
reentrant
September 27, 2024 19:39 23s
No proof hint events for unit/elememt collection hooks Change PR target to master #79: Pull request #1150 opened by theo25
September 20, 2024 20:17 26s skip-unit-hooks
skip-unit-hooks
September 20, 2024 20:17 26s
Fix --statistics flag by calling get_steps() instead of trying to access the steps global variable Change PR target to master #78: Pull request #1149 opened by Robertorosmaninho
September 18, 2024 21:13 21s fix-statistics
fix-statistics
September 18, 2024 21:13 21s
Exposing llvm_pattern_matching_failure_event to Python Bindings Change PR target to master #77: Pull request #1148 opened by Robertorosmaninho
September 18, 2024 13:07 24s failute-matching-event-bindings
failute-matching-event-bindings
September 18, 2024 13:07 24s
Split proof hint trace into multiple files Change PR target to master #76: Pull request #1147 opened by theo25
September 17, 2024 00:43 27s split-hints
split-hints
September 17, 2024 00:43 27s
optimize how we check whether gc should happen Change PR target to master #75: Pull request #1146 opened by dwightguth
September 12, 2024 20:20 24s gc
gc
September 12, 2024 20:20 24s
Verify ir during CI Change PR target to master #74: Pull request #1145 opened by dwightguth
September 11, 2024 17:31 20s verify-ir
verify-ir
September 11, 2024 17:31 20s
make llvm backend do better dce and dae Change PR target to master #73: Pull request #1144 opened by dwightguth
September 11, 2024 14:19 18s optimizations
optimizations
September 11, 2024 14:19 18s
Add pattern matching support for list random access patterns Change PR target to master #72: Pull request #1143 opened by dwightguth
September 9, 2024 19:56 24s list-set
list-set
September 9, 2024 19:56 24s
Callback-based subclass for the proof trace writer Change PR target to master #71: Pull request #1142 opened by theo25
September 6, 2024 17:45 19s callback-event-writer-2
callback-event-writer-2
September 6, 2024 17:45 19s
Introducing new arena and function that allows an object to be ignored by GC Change PR target to master #70: Pull request #1141 opened by Robertorosmaninho
September 3, 2024 13:07 16s new-arena-freeze-func
new-arena-freeze-func
September 3, 2024 13:07 16s
Un-nest proof hint events for arguments of functions/hooks Change PR target to master #69: Pull request #1140 opened by theo25
August 28, 2024 23:44 20s unnest-events
unnest-events
August 28, 2024 23:44 20s
Print print intermediate configurations after some function events in kore-proof-trace Change PR target to master #68: Pull request #1139 opened by Robertorosmaninho
August 23, 2024 17:04 22s print-post-function-events
print-post-function-events
August 23, 2024 17:04 22s
Equality function on mint Change PR target to master #67: Pull request #1138 opened by dwightguth
August 22, 2024 16:16 18s eq-fun
eq-fun
August 22, 2024 16:16 18s