Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / runtimeverification/evm-semantics issues and pull requests

#2461 - Update dependency: deps/k_release

Pull Request - State: open - Opened by rv-jenkins 6 months ago
Labels: automerge

#2460 - Avoid PUSH data when computing jumpdests

Pull Request - State: open - Opened by anvacaru 6 months ago
Labels: bug

#2459 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2458 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2457 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2456 - Eliminate complex `KLabel`s from Python code

Issue - State: open - Opened by tothtamas28 6 months ago
Labels: enhancement, good first issue

#2455 - Change formula for #sizeOfDynamicType(#array)

Pull Request - State: open - Opened by nwatson22 6 months ago - 3 comments
Labels: bug

#2454 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2453 - remove default values from argparse

Pull Request - State: closed - Opened by ovatman 6 months ago - 1 comment
Labels: bug, automerge

#2452 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2450 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2449 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2448 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2447 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2446 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2445 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2444 - Partially revert #2427

Pull Request - State: closed - Opened by tothtamas28 6 months ago
Labels: automerge

#2443 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2442 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2441 - Compute jumpdests using the KCFGSemantics.custom_step heuristic

Pull Request - State: closed - Opened by anvacaru 6 months ago - 3 comments
Labels: automerge

#2440 - Increase SMT timeout in integration tests

Pull Request - State: open - Opened by geo2a 6 months ago

#2439 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2438 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2437 - Computing valid jump destinations for non-concrete programs

Pull Request - State: closed - Opened by PetarMax 6 months ago - 1 comment
Labels: enhancement

#2436 - Add `as_word` static method

Pull Request - State: closed - Opened by anvacaru 6 months ago
Labels: enhancement, automerge

#2435 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2434 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2433 - Add helper methods for KAst terms

Pull Request - State: closed - Opened by anvacaru 6 months ago
Labels: enhancement, automerge

#2432 - Updates to the conformance test suite

Pull Request - State: closed - Opened by ehildenb 6 months ago - 2 comments
Labels: automerge

#2431 - Update failing proof lists

Pull Request - State: closed - Opened by ehildenb 6 months ago
Labels: automerge

#2430 - Simplify kompilation for proof tests

Pull Request - State: closed - Opened by tothtamas28 6 months ago
Labels: automerge

#2429 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2428 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 6 months ago
Labels: automerge

#2427 - Use `kompile` for kompilation of the `HASKELL` target

Pull Request - State: closed - Opened by tothtamas28 7 months ago
Labels: automerge

#2426 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2425 - ^Int and /Int definedness preservation

Pull Request - State: closed - Opened by PetarMax 7 months ago
Labels: enhancement

#2424 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2423 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2422 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2421 - Enable SimpleSub type inference mode for kompile and kprove

Pull Request - State: closed - Opened by Scott-Guest 7 months ago
Labels: automerge

#2420 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2419 - Refactor kompilation cache in the intergration tests

Issue - State: closed - Opened by geo2a 7 months ago

#2418 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2417 - Pre-kompile K definitions and specs for integration tests

Pull Request - State: closed - Opened by geo2a 7 months ago
Labels: automerge

#2416 - Adding `preserves-definedness` to applicable rules

Pull Request - State: closed - Opened by PetarMax 7 months ago
Labels: enhancement, automerge

#2415 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2414 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2413 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2412 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2411 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2410 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2409 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2408 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2407 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2406 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2405 - Test: `pyk` #4280

Pull Request - State: closed - Opened by PetarMax 7 months ago

#2404 - Test: `pyk` #4281

Pull Request - State: closed - Opened by PetarMax 7 months ago

#2403 - Test:`pyk` #4248

Pull Request - State: closed - Opened by PetarMax 7 months ago
Labels: enhancement

#2402 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago - 1 comment
Labels: automerge

#2401 - Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2400 - Use parallel prover branch

Pull Request - State: closed - Opened by nwatson22 7 months ago - 2 comments
Labels: enhancement, automerge

#2399 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2398 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2397 - Suppress `isort` error from `plugin` submodule

Pull Request - State: closed - Opened by tothtamas28 7 months ago
Labels: automerge

#2396 - Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2395 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2394 - Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2393 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago - 1 comment
Labels: automerge

#2392 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 7 months ago
Labels: automerge

#2391 - Move `*-ephemeral` jobs to public runners

Pull Request - State: closed - Opened by tothtamas28 8 months ago - 1 comment
Labels: automerge

#2390 - Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin

Pull Request - State: closed - Opened by rv-jenkins 8 months ago
Labels: automerge

#2389 - Update dependency: deps/k_release

Pull Request - State: closed - Opened by rv-jenkins 8 months ago
Labels: automerge

#2387 - Experiment with modular `blockchain-k-plugin` build

Pull Request - State: open - Opened by tothtamas28 8 months ago

#2369 - added toml processing capability

Pull Request - State: closed - Opened by ovatman 8 months ago
Labels: enhancement

#2367 - Unable to run claims with `kevm prove`

Issue - State: closed - Opened by lucasmt 8 months ago - 2 comments
Labels: bug, engagement

#2352 - Use options-refactor branch of pyk (do not merge)

Pull Request - State: closed - Opened by nwatson22 9 months ago

#2219 - Constructor calls with symbolic parameters

Issue - State: open - Opened by RaoulSchaffranek 12 months ago - 1 comment
Labels: enhancement

#2213 - Opt in to new type inference method

Issue - State: closed - Opened by Baltoli 12 months ago - 2 comments

#2112 - WIP: Check valid jump dests on demand

Pull Request - State: open - Opened by RaoulSchaffranek about 1 year ago - 1 comment
Labels: not ready

#2088 - Issues running kclaim style proofs

Issue - State: open - Opened by ehildenb about 1 year ago - 5 comments
Labels: enhancement

#2009 - Parallelize symbolic execution of tests

Issue - State: open - Opened by tothtamas28 over 1 year ago - 2 comments
Labels: enhancement, engagement

#1891 - Output of the `sign` cheatcode in incorrect format

Issue - State: open - Opened by lucasmt over 1 year ago - 3 comments

#100 - Add Sphinx documentation backend to EVM semantics

Pull Request - State: closed - Opened by pdaian about 7 years ago - 2 comments
Labels: enhancement

#99 - Disallow #symbolicWord becoming exactly pow256

Pull Request - State: closed - Opened by pirapira about 7 years ago - 30 comments

#98 - Better test harness

Pull Request - State: closed - Opened by ehildenb about 7 years ago - 4 comments

#97 - Stringbuffer

Pull Request - State: closed - Opened by dwightguth about 7 years ago - 1 comment

#96 - ./Build run, ./Build test and ./Build prove fail with inner parser error

Issue - State: closed - Opened by kjekac about 7 years ago - 2 comments

#95 - A warning about missing pandoc-tangle causes spurious errors

Issue - State: closed - Opened by pirapira about 7 years ago - 8 comments

#94 - Proofs use wrong PC values / PC extraction methodology

Issue - State: closed - Opened by pdaian about 7 years ago - 2 comments

#93 - Review/ehildenb/blockchain tests3

Pull Request - State: closed - Opened by ehildenb about 7 years ago - 3 comments

#92 - Build -help option

Issue - State: closed - Opened by msaxena2 about 7 years ago - 1 comment

#91 - Clarify what kind of arguments ./Build run can take

Issue - State: closed - Opened by pirapira about 7 years ago - 5 comments

#90 - ./Builte test-all fails on the first test

Issue - State: closed - Opened by pirapira about 7 years ago - 8 comments

#89 - ./Build test ethereum.md fails with a parse error

Issue - State: closed - Opened by pirapira about 7 years ago - 2 comments

#88 - hkg.md: Improve documentation - add information from TR.

Pull Request - State: closed - Opened by msaxena2 about 7 years ago

#87 - Documentation cleanup

Pull Request - State: closed - Opened by msaxena2 about 7 years ago - 1 comment

#86 - Improve Documentation for Proofs Folder

Pull Request - State: closed - Opened by msaxena2 about 7 years ago

#85 - Jenkins tests (Please Ignore)

Pull Request - State: closed - Opened by nishantjr about 7 years ago