Skip to content

Actions: runtimeverification/llvm-backend

Actions

Bump version and make master job

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
develop.yml
121 workflow runs
121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fixes for MInt serialization into the proof trace (#1154) Bump version and make master job #96: Commit db7ebd0 pushed by dwightguth
October 1, 2024 20:13 21s develop
develop
October 1, 2024 20:13 21s
disable proof hint generation during call to get_exit_code (#1153) Bump version and make master job #95: Commit 59def8a pushed by rv-jenkins
October 1, 2024 17:02 22s develop
develop
October 1, 2024 17:02 22s
A few minor bug fixes related to Geth Integration (#1151) Bump version and make master job #94: Commit 315f1d4 pushed by theo25
September 30, 2024 16:35 25s develop
develop
September 30, 2024 16:35 25s
No proof hint events for unit/elememt collection hooks (#1150) Bump version and make master job #93: Commit c23fb6f pushed by rv-jenkins
September 23, 2024 18:28 24s develop
develop
September 23, 2024 18:28 24s
Fix --statistics flag by calling get_steps() instead of trying to… Bump version and make master job #92: Commit 4c858f4 pushed by rv-jenkins
September 19, 2024 20:02 21s develop
develop
September 19, 2024 20:02 21s
Split proof hint trace into multiple files (#1147) Bump version and make master job #91: Commit f27fbd5 pushed by rv-jenkins
September 19, 2024 18:28 20s develop
develop
September 19, 2024 18:28 20s
Exposing llvm_pattern_matching_failure_event to Python Bindings (#1… Bump version and make master job #90: Commit d33ecef pushed by rv-jenkins
September 18, 2024 18:02 21s develop
develop
September 18, 2024 18:02 21s
Print print intermediate configurations after some function events in… Bump version and make master job #89: Commit 79677a5 pushed by Robertorosmaninho
September 17, 2024 19:51 24s develop
develop
September 17, 2024 19:51 24s
make llvm backend do better dce and dae (#1144) Bump version and make master job #88: Commit 5ecfcc0 pushed by dwightguth
September 13, 2024 19:25 19s develop
develop
September 13, 2024 19:25 19s
optimize how we check whether gc should happen (#1146) Bump version and make master job #87: Commit d7503bd pushed by dwightguth
September 13, 2024 18:56 23s develop
develop
September 13, 2024 18:56 23s
Verify ir during CI (#1145) Bump version and make master job #86: Commit 22c9792 pushed by dwightguth
September 11, 2024 23:47 18s develop
develop
September 11, 2024 23:47 18s
Add pattern matching support for list random access patterns (#1143) Bump version and make master job #85: Commit dafe4ec pushed by dwightguth
September 11, 2024 20:22 23s develop
develop
September 11, 2024 20:22 23s
Callback-based subclass for the proof trace writer (#1142) Bump version and make master job #84: Commit 9d21e4d pushed by dwightguth
September 9, 2024 16:46 21s develop
develop
September 9, 2024 16:46 21s
Un-nest proof hint events for arguments of functions/hooks (#1140) Bump version and make master job #83: Commit b4c00d1 pushed by dwightguth
September 3, 2024 19:02 18s develop
develop
September 3, 2024 19:02 18s
Equality function on mint (#1138) Bump version and make master job #82: Commit d194fa1 pushed by dwightguth
August 22, 2024 19:35 15s develop
develop
August 22, 2024 19:35 15s
Abstract proof trace writer at event level (#1136) Bump version and make master job #81: Commit 9418f9d pushed by rv-jenkins
August 21, 2024 21:41 19s develop
develop
August 21, 2024 21:41 19s
Introducing new llvm_pattern_matching_failure_event to Proof Events… Bump version and make master job #80: Commit d9c90ba pushed by rv-jenkins
August 20, 2024 20:26 16s develop
develop
August 20, 2024 20:26 16s
Add missing hash and equality cases for mint (#1137) Bump version and make master job #79: Commit bd52e46 pushed by dwightguth
August 20, 2024 18:36 17s develop
develop
August 20, 2024 18:36 17s
disable tail call on return values of MInt of >192 bits (#1135) Bump version and make master job #78: Commit 656bde0 pushed by dwightguth
August 20, 2024 15:29 19s develop
develop
August 20, 2024 15:29 19s
Removing shared memory proof trace reader/writer (#1132) Bump version and make master job #77: Commit c202d7c pushed by rv-jenkins
August 9, 2024 20:41 16s develop
develop
August 9, 2024 20:41 16s
Adding Time Hooks for measuring semantics performance (#1131) Bump version and make master job #76: Commit e098717 pushed by dwightguth
August 9, 2024 19:08 19s develop
develop
August 9, 2024 19:08 19s
Disabling shared memory proof trace tests on macos (#1130) Bump version and make master job #75: Commit 670ad8f pushed by rv-jenkins
August 8, 2024 05:26 15s develop
develop
August 8, 2024 05:26 15s
Update KElem names in kgdb (#1129) Bump version and make master job #74: Commit 228f4f1 pushed by rv-jenkins
August 8, 2024 01:34 21s develop
develop
August 8, 2024 01:34 21s
Buffered reads/writes for hint generation with shared memory (#1127) Bump version and make master job #73: Commit f7f3f29 pushed by rv-jenkins
August 6, 2024 19:41 17s develop
develop
August 6, 2024 19:41 17s
Updating StringPattern to return its contents as Python Bytes (#1126) Bump version and make master job #72: Commit c79bfd3 pushed by rv-jenkins
August 6, 2024 17:02 18s develop
develop
August 6, 2024 17:02 18s