Search results

Update dependency: deps/llvm-backend_release

automerge

Status: Open (in progress).

runtimeverification/knumber 4834

#4834 In runtimeverification/k;

· rv-jenkins opened on Jun 19, 2025

Update dependency: deps/haskell-backend_release

automerge

Status: Open (in progress).

runtimeverification/knumber 4833

#4833 In runtimeverification/k;

· rv-jenkins opened on Jun 17, 2025

Remove generated <code>Option</code> type for <code>total</code> functions

automerge

lean4-backend

Status: Draft (not ready).

runtimeverification/knumber 4741

#4741 In runtimeverification/k;

· JuanCoRo opened on Jan 21, 2025