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
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adding support for Machine Integer version of Bytes, List, and MInt f… Bump version and make master job #137: Commit bb5318b pushed by automergerpr-permission-manager bot
July 14, 2025 19:26 14s develop
develop
July 14, 2025 19:26 14s
Exporting reset_munmap_all_arenas to C and Python Bindings (#1210) Bump version and make master job #136: Commit 10a5322 pushed by Robertorosmaninho
July 2, 2025 14:30 13s develop
develop
July 2, 2025 14:30 13s
Update nix flake inputs structure and add rv-nix-tools to dependenc… Bump version and make master job #135: Commit f7d4150 pushed by automergerpr-permission-manager bot
June 19, 2025 12:02 12s develop
develop
June 19, 2025 12:02 12s
Implementing reset_munmap_all_arenas (#1208) Bump version and make master job #134: Commit facee2b pushed by Robertorosmaninho
June 6, 2025 22:23 17s develop
develop
June 6, 2025 22:23 17s
Make thread_local variables constinit (#1206) Bump version and make master job #133: Commit 8fd46ea pushed by dwightguth
May 13, 2025 21:32 16s develop
develop
May 13, 2025 21:32 16s
Fixing munmap_arena_and_reset issue by reseting allocation_ptr (#… Bump version and make master job #132: Commit 636ea36 pushed by dwightguth
April 28, 2025 17:52 20s develop
develop
April 28, 2025 17:52 20s
Update free_all_kore_mem to avoid memory corruption (#1203) Bump version and make master job #131: Commit d586539 pushed by Robertorosmaninho
April 14, 2025 14:20 19s develop
develop
April 14, 2025 14:20 19s
Update CMake minimum version to 3.5 (#1202) Bump version and make master job #130: Commit 5ed9d07 pushed by F-WRunTime
April 3, 2025 14:02 17s develop
develop
April 3, 2025 14:02 17s
Adding munmap_arena_and_reset and calling it to all semispaces when… Bump version and make master job #129: Commit c59e3c4 pushed by Robertorosmaninho
March 11, 2025 20:13 17s develop
develop
March 11, 2025 20:13 17s
add cases for MInt{8}, MInt{16}, and MInt{128} (#1200) Bump version and make master job #128: Commit 4277487 pushed by dwightguth
March 4, 2025 23:38 16s develop
develop
March 4, 2025 23:38 16s
Made the size of the arena semispaces configurable with cmake (#1199) Bump version and make master job #127: Commit b43935a pushed by mariaKt
February 19, 2025 19:09 20s develop
develop
February 19, 2025 19:09 20s
reduce heap allocations and deallocations in proof_trace_callback_wri… Bump version and make master job #126: Commit b9aceed pushed by dwightguth
February 3, 2025 19:58 17s develop
develop
February 3, 2025 19:58 17s
Gc refactor3 rebased (#1195) Bump version and make master job #125: Commit c55f039 pushed by dwightguth
January 22, 2025 17:01 19s develop
develop
January 22, 2025 17:01 19s
WIP: Gc addressspace 0 (#1193) Bump version and make master job #124: Commit c2e8094 pushed by dwightguth
January 17, 2025 16:20 20s develop
develop
January 17, 2025 16:20 20s
Callbacks: Fix side-condition events when arity is non-null (#1194) Bump version and make master job #123: Commit af29ee5 pushed by automergerpr-permission-manager bot
January 10, 2025 16:02 22s develop
develop
January 10, 2025 16:02 22s
Only call mmap() on first allocation in an arena (#1192) Bump version and make master job #122: Commit 790cab9 pushed by dwightguth
December 19, 2024 17:30 21s develop
develop
December 19, 2024 17:30 21s
Set lld as macOS linker only if SDK is greater or equal to 15 (#1190) Bump version and make master job #121: Commit ecfab22 pushed by automergerpr-permission-manager bot
December 17, 2024 16:46 18s develop
develop
December 17, 2024 16:46 18s
runtime/proof_trace_writer.h (#1189) Bump version and make master job #120: Commit dafdb9a pushed by automergerpr-permission-manager bot
December 13, 2024 21:02 21s develop
develop
December 13, 2024 21:02 21s
Release address space on thread exit (#1188) Bump version and make master job #119: Commit 09262f4 pushed by stevenmeker
December 13, 2024 19:57 16s develop
develop
December 13, 2024 19:57 16s
Release unused address space (#1186) Bump version and make master job #118: Commit 3c2819a pushed by dwightguth
December 13, 2024 16:17 21s develop
develop
December 13, 2024 16:17 21s
Create proof trace event for tail call information (#1179) Bump version and make master job #117: Commit 6df5ac5 pushed by dwightguth
December 12, 2024 21:36 18s develop
develop
December 12, 2024 21:36 18s
runtime/proof_trace_writer.h (#1185) Bump version and make master job #116: Commit e7ddbef pushed by automergerpr-permission-manager bot
December 12, 2024 20:28 18s develop
develop
December 12, 2024 20:28 18s
do not garbage collect empty map/list/set (#1168) Bump version and make master job #115: Commit f098535 pushed by dwightguth
December 10, 2024 19:00 16s develop
develop
December 10, 2024 19:00 16s
Change arena end ptr (#1177) Bump version and make master job #114: Commit 0bc565f pushed by dwightguth
December 10, 2024 17:10 16s develop
develop
December 10, 2024 17:10 16s
Add relevant info for MacOS building process (#1176) Bump version and make master job #113: Commit c362cf0 pushed by automergerpr-permission-manager bot
December 9, 2024 20:44 18s develop
develop
December 9, 2024 20:44 18s