Proprietario

runtimeverification

9 repository indicizzati · Vedi su GitHub

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

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

Haskell · 224 stelle
kontrol

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

WebAssembly · 106 stelle
mir-semantics

Python · 52 stelle
llvm-backend
KORE to llvm translation

C++ · 43 stelle
komet

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

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

Lean · 3 stelle

Adatte ai principianti Tutto

Aperta Tutte

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

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

runtimeverification/evm-semantics#2879 · Aperta il 7/9/2026
Fix for building with later versions of g++ Aperta

Difficoltà 1/5 Meno di un'ora Idoneità per principianti 84/100

runtimeverification/llvm-backend#1221 · 1 commento · Aperta il 8/8/2026
Discharge the opaque size_of axiom: a typeclass model that also makes the sizes checkable Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

runtimeverification/kernel-rust-verification-spike#4 · Aperta il 28/7/2026
Avoid `require` clause if the given patterns are known to be concrete Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

runtimeverification/evm-semantics#2869 · Aperta il 24/6/2026
The `docker` CI test fails on recent Foundry versions Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100

runtimeverification/kontrol#1142 · Aperta il 12/5/2026
Inconsistent KMIR versions across project Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 52/100

runtimeverification/mir-semantics#1078 · Aperta il 24/4/2026
New cheatcode: `symbolicStorage` variant that preserves existing storage assignments Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 42/100

runtimeverification/kontrol#1138 · Aperta il 21/4/2026
Implement `vm.getStorageSlots` cheatcode Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

runtimeverification/kontrol#1137 · Aperta il 21/4/2026
Decode constant call arguments before storing them in callee locals Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100

runtimeverification/mir-semantics#1070 · 2 commenti · Aperta il 18/4/2026
Reloading proof crashes on with `nix` installation Aperta

bug

Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100

runtimeverification/mir-semantics#1067 · Aperta il 16/4/2026
`kontrol simplify-node --config-profile <profile>` ignores `kontrol.toml` and specified profile Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100

runtimeverification/kontrol#1134 · 1 commento · Aperta il 13/4/2026
`kontrol simplify-node --lemmas` broken Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

runtimeverification/kontrol#1133 · 4 commenti · Aperta il 13/4/2026
Unify #traverseProjection value representation to eliminate singleton Range round-trips Aperta

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

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

runtimeverification/mir-semantics#1011 · 1 commento · Aperta il 1/4/2026
feat: add address allocation model for pointer-to-integer semantics Aperta

status:ready

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

runtimeverification/mir-semantics#1002 · Aperta il 26/3/2026
Nested transparent wrapper pointer casts produce incorrect projection chains Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

runtimeverification/mir-semantics#997 · Aperta il 20/3/2026
No-LLVM-kompile approach causes 5x prove performance regression due to kore-rpc fallback Aperta

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

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

runtimeverification/mir-semantics#992 · 1 commento · Aperta il 18/3/2026
Inline Ty indices: replace ty(Int) references with actual type data Aperta

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

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

runtimeverification/mir-semantics#991 · Aperta il 17/3/2026
Node.js 20 CI runner deprecation notice Aperta

Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100

runtimeverification/stable-mir-json#148 · Aperta il 11/3/2026
The Curious Case of stdlib: nightly compatibility findings Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

runtimeverification/stable-mir-json#141 · Aperta il 8/3/2026
Qualified names for both `IntrinsicSym` and `NormalSym` Aperta

good first issue

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

runtimeverification/stable-mir-json#137 · 1 commento · Aperta il 5/3/2026
[FEAT] Add performance benchmarking and profiling infrastructure Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

runtimeverification/mir-semantics#970 · 3 commenti · Aperta il 4/3/2026
Incrementally integrate external Rust test suites into mir-semantics CI Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

runtimeverification/mir-semantics#964 · Aperta il 2/3/2026
Surface mutability in graph outputs Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

runtimeverification/stable-mir-json#128 · Aperta il 27/2/2026
Remove mutability tracking from MIR semantics Aperta

runtimeverification/mir-semantics#949 · 1 commento · 1 assegnatario · Aperta il 26/2/2026
Booster: Optimize KMap internal data structure to improve Map operation performance Aperta

runtimeverification/haskell-backend#4138 · 9 commenti · 1 assegnatario · Aperta il 23/2/2026
Semantics of iterator core code Aperta

bug

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

runtimeverification/mir-semantics#914 · Aperta il 19/1/2026
feat: support panic Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

runtimeverification/mir-semantics#899 · Aperta il 17/12/2025
Investigate conformance tests running out of memory. Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

runtimeverification/evm-semantics#2832 · Aperta il 16/12/2025
Update legacy-tests across test-suites Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

runtimeverification/evm-semantics#2824 · Aperta il 11/12/2025
Better cheatcodes Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

runtimeverification/mir-semantics#890 · Aperta il 10/12/2025
[FEAT] Tackle impossible cases with minimal requirements Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

runtimeverification/mir-semantics#889 · Aperta il 10/12/2025
Add simplifications for plausible custom overflow criteria Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

runtimeverification/mir-semantics#866 · Aperta il 25/11/2025
Fragmentation in `SparseBytes` caused by `replaceAtZ` rule Aperta

enhancement

Difficoltà 2/5 1-3 ore Idoneità per principianti 55/100

runtimeverification/wasm-semantics#742 · Aperta il 24/11/2025
Graph Improvements: Headings / Ids for `BasicBlock`s Aperta

good first issue

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

runtimeverification/stable-mir-json#110 · Aperta il 23/11/2025
Graph Improvements: Removing `lang-start` component from graph Aperta

good first issue

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

runtimeverification/stable-mir-json#109 · Aperta il 23/11/2025
Graph Improvements: Mutability specifiers on locals Aperta

good first issue

Difficoltà 3/5 1-2 giorni Idoneità per principianti 42/100

runtimeverification/stable-mir-json#108 · Aperta il 23/11/2025
[MAIN] Graph Improvements Aperta

good first issue

Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100

runtimeverification/stable-mir-json#106 · 1 commento · 1 reazione · Aperta il 23/11/2025
Decoding failing for enum with negative discriminant type Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

runtimeverification/mir-semantics#848 · Aperta il 15/11/2025
[BUG] ndbranches in exec-smir/pointers/pointer-cast-zst.rs Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100

runtimeverification/mir-semantics#841 · Aperta il 13/11/2025
[FEAT] General symbolic data approach Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

runtimeverification/mir-semantics#832 · Aperta il 11/11/2025
[BUG] ndbranches in interior-mut3-fail.main.expected Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

runtimeverification/mir-semantics#831 · 1 commento · Aperta il 11/11/2025
Compilation of Unreduced Semantics Sometimes Fails Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

runtimeverification/mir-semantics#829 · Aperta il 11/11/2025
[BUG] thunk ( #decodeConstant ( constantKindZeroSized Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 30/100

runtimeverification/mir-semantics#825 · 1 commento · Aperta il 10/11/2025
[TEST] More tests fior zero-sized data Aperta

Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100

runtimeverification/mir-semantics#823 · Aperta il 10/11/2025
Collection of failing rust programs Aperta

bug

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

runtimeverification/mir-semantics#814 · Aperta il 7/11/2025
Incorrect handling of `drop` for `RefCell` (borrow flag modified during drop) Aperta

bug

Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

runtimeverification/mir-semantics#807 · Aperta il 7/11/2025
Add `--target-dir` option for `prove-rs`, do not reduce `smir.json` Aperta

runtimeverification/mir-semantics#803 · 1 assegnatario · Aperta il 6/11/2025
(How to) Determine bit width and signedness for `Int` values from `Discriminant` Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

runtimeverification/mir-semantics#793 · Aperta il 31/10/2025
Constrain test inputs for fuzzing Aperta

Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

runtimeverification/mir-semantics#788 · 6 commenti · Aperta il 30/10/2025
Simplify the implementation of `binOpOffset` if possible Aperta

Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

runtimeverification/mir-semantics#771 · Aperta il 24/10/2025

Vengono mostrati i 100 più recenti

Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.

Apri il filtro avanzato

runtimeverification

Vengono mostrati i 100 più recenti

Ricevi le nuove issue nella tua casella