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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Escape kore when used as symbol name (#1217) Bump version and make master job #140: Commit d4796fb pushed by jberthold
13s develop
develop
13s
Update LLVM version from 15 to 17 (from develop) (#1215) Bump version and make master job #139: Commit 2b55885 pushed by F-WRunTime
16s develop
develop
16s
bytes2hexstring hook (#1213) Bump version and make master job #138: Commit fd42f24 pushed by automergerpr-permission-manager bot
15s develop
develop
15s
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
14s develop
develop
14s
Exporting reset_munmap_all_arenas to C and Python Bindings (#1210) Bump version and make master job #136: Commit 10a5322 pushed by Robertorosmaninho
13s develop
develop
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
12s develop
develop
12s
Implementing reset_munmap_all_arenas (#1208) Bump version and make master job #134: Commit facee2b pushed by Robertorosmaninho
17s develop
develop
17s
Make thread_local variables constinit (#1206) Bump version and make master job #133: Commit 8fd46ea pushed by dwightguth
16s develop
develop
16s
Fixing munmap_arena_and_reset issue by reseting allocation_ptr (#… Bump version and make master job #132: Commit 636ea36 pushed by dwightguth
20s develop
develop
20s
Update free_all_kore_mem to avoid memory corruption (#1203) Bump version and make master job #131: Commit d586539 pushed by Robertorosmaninho
19s develop
develop
19s
Update CMake minimum version to 3.5 (#1202) Bump version and make master job #130: Commit 5ed9d07 pushed by F-WRunTime
17s develop
develop
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
17s develop
develop
17s
add cases for MInt{8}, MInt{16}, and MInt{128} (#1200) Bump version and make master job #128: Commit 4277487 pushed by dwightguth
16s develop
develop
16s
Made the size of the arena semispaces configurable with cmake (#1199) Bump version and make master job #127: Commit b43935a pushed by mariaKt
20s develop
develop
20s
reduce heap allocations and deallocations in proof_trace_callback_wri… Bump version and make master job #126: Commit b9aceed pushed by dwightguth
17s develop
develop
17s
Gc refactor3 rebased (#1195) Bump version and make master job #125: Commit c55f039 pushed by dwightguth
19s develop
develop
19s
WIP: Gc addressspace 0 (#1193) Bump version and make master job #124: Commit c2e8094 pushed by dwightguth
20s develop
develop
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
22s develop
develop
22s
Only call mmap() on first allocation in an arena (#1192) Bump version and make master job #122: Commit 790cab9 pushed by dwightguth
21s develop
develop
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
18s develop
develop
18s
runtime/proof_trace_writer.h (#1189) Bump version and make master job #120: Commit dafdb9a pushed by automergerpr-permission-manager bot
21s develop
develop
21s
Release address space on thread exit (#1188) Bump version and make master job #119: Commit 09262f4 pushed by stevenmeker
16s develop
develop
16s
Release unused address space (#1186) Bump version and make master job #118: Commit 3c2819a pushed by dwightguth
21s develop
develop
21s
Create proof trace event for tail call information (#1179) Bump version and make master job #117: Commit 6df5ac5 pushed by dwightguth
18s develop
develop
18s
runtime/proof_trace_writer.h (#1185) Bump version and make master job #116: Commit e7ddbef pushed by automergerpr-permission-manager bot
18s develop
develop
18s