Owner

runtimeverification

9 indexierte Repositories · Auf GitHub ansehen

evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)

KCL · 592 Sterne
haskell-backend
The symbolic execution engine powering the K Framework

Haskell · 224 Sterne
kontrol

Python · 122 Sterne
wasm-semantics
A Formal Semantics of WebAssembly in K

WebAssembly · 106 Sterne
mir-semantics

Python · 52 Sterne
llvm-backend
KORE to llvm translation

C++ · 43 Sterne
komet

WebAssembly · 35 Sterne
stable-mir-json
KMIR Rust Library

Rust · 11 Sterne
kernel-rust-verification-spike
Feasibility spike: extracting Linux kernel Rust parsers (Binder) into LLBC via Charon, toward Lean 4 verification

Lean · 3 Sterne

Einsteigerfreundlich Alles

Offen Alle

Support EIP-7918 across BPO/blob-schedule transitions Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

runtimeverification/evm-semantics#2879 · Erstellt am 07.9.2026
Fix for building with later versions of g++ Offen

Schwierigkeit 1/5 Unter einer Stunde Anfängerfreundlichkeit 84/100

runtimeverification/llvm-backend#1221 · 1 Kommentar · Erstellt am 08.8.2026
Discharge the opaque size_of axiom: a typeclass model that also makes the sizes checkable Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

runtimeverification/kernel-rust-verification-spike#4 · Erstellt am 28.7.2026
Avoid `require` clause if the given patterns are known to be concrete Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

runtimeverification/evm-semantics#2869 · Erstellt am 24.6.2026
The `docker` CI test fails on recent Foundry versions Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 52/100

runtimeverification/kontrol#1142 · Erstellt am 12.5.2026
Inconsistent KMIR versions across project Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 52/100

runtimeverification/mir-semantics#1078 · Erstellt am 24.4.2026
New cheatcode: `symbolicStorage` variant that preserves existing storage assignments Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 42/100

runtimeverification/kontrol#1138 · Erstellt am 21.4.2026
Implement `vm.getStorageSlots` cheatcode Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100

runtimeverification/kontrol#1137 · Erstellt am 21.4.2026
Decode constant call arguments before storing them in callee locals Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 58/100

runtimeverification/mir-semantics#1070 · 2 Kommentare · Erstellt am 18.4.2026
Reloading proof crashes on with `nix` installation Offen

bug

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 58/100

runtimeverification/mir-semantics#1067 · Erstellt am 16.4.2026
`kontrol simplify-node --config-profile <profile>` ignores `kontrol.toml` and specified profile Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 48/100

runtimeverification/kontrol#1134 · 1 Kommentar · Erstellt am 13.4.2026
`kontrol simplify-node --lemmas` broken Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 48/100

runtimeverification/kontrol#1133 · 4 Kommentare · Erstellt am 13.4.2026
Unify #traverseProjection value representation to eliminate singleton Range round-trips Offen

area:semantics kind:refactor priority:p1 status:triage type:task

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

runtimeverification/mir-semantics#1011 · 1 Kommentar · Erstellt am 01.4.2026
feat: add address allocation model for pointer-to-integer semantics Offen

status:ready

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

runtimeverification/mir-semantics#1002 · Erstellt am 26.3.2026
Nested transparent wrapper pointer casts produce incorrect projection chains Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 38/100

runtimeverification/mir-semantics#997 · Erstellt am 20.3.2026
No-LLVM-kompile approach causes 5x prove performance regression due to kore-rpc fallback Offen

area:semantics kind:perf priority:p2 status:icebox type:bug

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

runtimeverification/mir-semantics#992 · 1 Kommentar · Erstellt am 18.3.2026
Inline Ty indices: replace ty(Int) references with actual type data Offen

area:semantics area:types priority:p2 status:triage type:feature

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

runtimeverification/mir-semantics#991 · Erstellt am 17.3.2026
Node.js 20 CI runner deprecation notice Offen

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 45/100

runtimeverification/stable-mir-json#148 · Erstellt am 11.3.2026
The Curious Case of stdlib: nightly compatibility findings Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

runtimeverification/stable-mir-json#141 · Erstellt am 08.3.2026
Qualified names for both `IntrinsicSym` and `NormalSym` Offen

good first issue

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

runtimeverification/stable-mir-json#137 · 1 Kommentar · Erstellt am 05.3.2026
[FEAT] Add performance benchmarking and profiling infrastructure Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

runtimeverification/mir-semantics#970 · 3 Kommentare · Erstellt am 04.3.2026
Incrementally integrate external Rust test suites into mir-semantics CI Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

runtimeverification/mir-semantics#964 · Erstellt am 02.3.2026
Surface mutability in graph outputs Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

runtimeverification/stable-mir-json#128 · Erstellt am 27.2.2026
Remove mutability tracking from MIR semantics Offen

runtimeverification/mir-semantics#949 · 1 Kommentar · 1 zugewiesene Person · Erstellt am 26.2.2026
Booster: Optimize KMap internal data structure to improve Map operation performance Offen

runtimeverification/haskell-backend#4138 · 9 Kommentare · 1 zugewiesene Person · Erstellt am 23.2.2026
Semantics of iterator core code Offen

bug

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

runtimeverification/mir-semantics#914 · Erstellt am 19.1.2026
feat: support panic Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 30/100

runtimeverification/mir-semantics#899 · Erstellt am 17.12.2025
Investigate conformance tests running out of memory. Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

runtimeverification/evm-semantics#2832 · Erstellt am 16.12.2025
Update legacy-tests across test-suites Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100

runtimeverification/evm-semantics#2824 · Erstellt am 11.12.2025
Better cheatcodes Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

runtimeverification/mir-semantics#890 · Erstellt am 10.12.2025
[FEAT] Tackle impossible cases with minimal requirements Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 35/100

runtimeverification/mir-semantics#889 · Erstellt am 10.12.2025
Add simplifications for plausible custom overflow criteria Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

runtimeverification/mir-semantics#866 · Erstellt am 25.11.2025
Fragmentation in `SparseBytes` caused by `replaceAtZ` rule Offen

enhancement

Schwierigkeit 2/5 1-3 Stunden Anfängerfreundlichkeit 55/100

runtimeverification/wasm-semantics#742 · Erstellt am 24.11.2025
Graph Improvements: Headings / Ids for `BasicBlock`s Offen

good first issue

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

runtimeverification/stable-mir-json#110 · Erstellt am 23.11.2025
Graph Improvements: Removing `lang-start` component from graph Offen

good first issue

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

runtimeverification/stable-mir-json#109 · Erstellt am 23.11.2025
Graph Improvements: Mutability specifiers on locals Offen

good first issue

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 42/100

runtimeverification/stable-mir-json#108 · Erstellt am 23.11.2025
[MAIN] Graph Improvements Offen

good first issue

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 20/100

runtimeverification/stable-mir-json#106 · 1 Kommentar · 1 Reaktion · Erstellt am 23.11.2025
Decoding failing for enum with negative discriminant type Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

runtimeverification/mir-semantics#848 · Erstellt am 15.11.2025
[BUG] ndbranches in exec-smir/pointers/pointer-cast-zst.rs Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 25/100

runtimeverification/mir-semantics#841 · Erstellt am 13.11.2025
[FEAT] General symbolic data approach Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

runtimeverification/mir-semantics#832 · Erstellt am 11.11.2025
[BUG] ndbranches in interior-mut3-fail.main.expected Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 25/100

runtimeverification/mir-semantics#831 · 1 Kommentar · Erstellt am 11.11.2025
Compilation of Unreduced Semantics Sometimes Fails Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

runtimeverification/mir-semantics#829 · Erstellt am 11.11.2025
[BUG] thunk ( #decodeConstant ( constantKindZeroSized Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 30/100

runtimeverification/mir-semantics#825 · 1 Kommentar · Erstellt am 10.11.2025
[TEST] More tests fior zero-sized data Offen

Schwierigkeit 3/5 1-2 Tage Anfängerfreundlichkeit 35/100

runtimeverification/mir-semantics#823 · Erstellt am 10.11.2025
Collection of failing rust programs Offen

bug

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

runtimeverification/mir-semantics#814 · Erstellt am 07.11.2025
Incorrect handling of `drop` for `RefCell` (borrow flag modified during drop) Offen

bug

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 35/100

runtimeverification/mir-semantics#807 · Erstellt am 07.11.2025
Add `--target-dir` option for `prove-rs`, do not reduce `smir.json` Offen

runtimeverification/mir-semantics#803 · 1 zugewiesene Person · Erstellt am 06.11.2025
(How to) Determine bit width and signedness for `Int` values from `Discriminant` Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

runtimeverification/mir-semantics#793 · Erstellt am 31.10.2025
Constrain test inputs for fuzzing Offen

Schwierigkeit 5/5 Über eine Woche Anfängerfreundlichkeit 25/100

runtimeverification/mir-semantics#788 · 6 Kommentare · Erstellt am 30.10.2025
Simplify the implementation of `binOpOffset` if possible Offen

Schwierigkeit 4/5 3-5 Tage Anfängerfreundlichkeit 45/100

runtimeverification/mir-semantics#771 · Erstellt am 24.10.2025

Die neuesten 100 werden angezeigt

Diese Seite listet nur das zuletzt Erfasste. Der vollständige Bestand steht im erweiterten Filter, eingegrenzt nach Sprache, Schwierigkeit und Aufwand.

Erweiterten Filter öffnen

runtimeverification

Die neuesten 100 werden angezeigt

Neue Issues direkt in Ihr Postfach