Chủ sở hữu
runtimeverification
Đã lập chỉ mục 17 kho mã nguồn · Xem trên GitHub
-
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
KCL · 592 star
-
k
K Framework Tools 7.0
Python · 591 star
-
haskell-backend
The symbolic execution engine powering the K Framework
Haskell · 224 star
-
Python · 122 star
-
wasm-semantics
A Formal Semantics of WebAssembly in K
WebAssembly · 106 star
-
Python · 52 star
-
simbolik-vscode
VSCode extension for debugging Solidity using Simbolik API server
TypeScript · 48 star
-
llvm-backend
KORE to llvm translation
C++ · 43 star
-
WebAssembly · 35 star
-
skribe
Property testing for Stylus smart contracts
Python · 31 star
-
kompass
K semantics for Solana
Rust · 16 star
-
stable-mir-json
KMIR Rust Library
Rust · 11 star
-
kup
K and Semantics Distribution Tool
Python · 10 star
-
Python · 7 star
-
kernel-rust-verification-spike
Feasibility spike: extracting Linux kernel Rust parsers (Binder) into LLBC via Charon, toward Lean 4 verification
Lean · 3 star
-
kframework-rs
Utilities for the K Framework, implemented in Rust
Rust · 1 star
-
Shell · 0 star
Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 88/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
runtimeverification/evm-semantics#2879 ·
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 84/100
runtimeverification/llvm-backend#1221 · 1 bình luận ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
runtimeverification/evm-semantics#2869 ·
-
Introduce composable symbolic execution interface in pyxCó thể làm lại được @Stevengre đã nhận 97 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/k#4939 · 1 người được giao ·
-
Concolic ExplorerĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 32/100
runtimeverification/k#4937 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
runtimeverification/k#4936 ·
-
Accelerating all-path reachability proofs with one-path reachability proofsCó thể làm lại được @Stevengre đã nhận 102 ngày trước và không có pull request nào đang mở. Đang mởtype:epic
runtimeverification/k#4934 · 4 bình luận · 1 người được giao ·
-
Milestone 6: Final ReportĐang mở
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 20/100
-
Milestone 5: ReportĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Support progressive depth halving as a generic policy in `Prover.advance_proof`Có thể làm lại được @Stevengre đã nhận 122 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/k#4924 · 1 người được giao ·
-
Fuzzer usability improvementsĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 42/100
-
Milestone 4: ReportĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 10/100
-
Milestone 3: ReportĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
runtimeverification/kontrol#1142 ·
-
Milestone 2: ReportĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 10/100
-
Performance MeasurementsĐang mở
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Milestone 1: ArchitectureĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
runtimeverification/mir-semantics#1078 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 52/100
runtimeverification/kup#149 ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 42/100
runtimeverification/kontrol#1138 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
runtimeverification/kontrol#1137 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100
runtimeverification/mir-semantics#1070 · 2 bình luận ·
-
bug
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 58/100
runtimeverification/mir-semantics#1067 ·
-
`kontrol simplify-node --config-profile <profile>` ignores `kontrol.toml` and specified profileĐang mở
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 48/100
runtimeverification/kontrol#1134 · 1 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100
runtimeverification/kontrol#1133 · 4 bình luận ·
-
area:semantics kind:refactor priority:p1 status:triage type:task
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
runtimeverification/mir-semantics#1011 · 1 bình luận ·
-
status:ready
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
runtimeverification/mir-semantics#1002 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100
-
area:semantics kind:perf priority:p2 status:icebox type:bug
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100
runtimeverification/mir-semantics#992 · 1 bình luận ·
-
area:semantics area:types priority:p2 status:triage type:feature
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
-
area:haskell-backend area:llvm-backend priority:p2 status:icebox type:feature
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
runtimeverification/k#4904 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 45/100
-
good first issue
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
runtimeverification/stable-mir-json#137 · 1 bình luận ·
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
runtimeverification/mir-semantics#970 · 3 bình luận ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100
-
Remove mutability tracking from MIR semanticsCó thể làm lại được @Stevengre đã nhận 214 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/mir-semantics#949 · 1 bình luận · 1 người được giao ·
-
Booster: Optimize KMap internal data structure to improve Map operation performanceCó thể làm lại được @Stevengre đã nhận 217 ngày trước và không có pull request nào đang mở. Đang mở
runtimeverification/haskell-backend#4138 · 9 bình luận · 1 người được giao ·
-
Semantics of iterator core codeĐang mởbug
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
runtimeverification/k#4897 ·
-
feat: support panicĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
runtimeverification/evm-semantics#2832 ·
-
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
runtimeverification/k#4887 ·
-
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 30/100
runtimeverification/evm-semantics#2824 ·
-
Better cheatcodesĐang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
-
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100
Đang hiển thị 100 mục mới nhất
Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.