lambdaclass/cairo-vm issues and pull requests

#2134 - Stav/add to cairo1 config stwo optimizations

Pull Request - State: open - Opened by Stavbe 20 days ago - 2 comments

#2133 - Stav/disable relocate trace with flag

Pull Request - State: open - Opened by Stavbe 20 days ago - 3 comments

#2132 - add output segment to the prover input info

Pull Request - State: open - Opened by Stavbe 21 days ago - 3 comments

#2131 - Fixed bad submodule

Pull Request - State: closed - Opened by yuvalsw about 1 month ago - 3 comments

#2130 - feat: use Felt directly instead of Felt252 alias

Pull Request - State: open - Opened by eeemmmmmm about 1 month ago - 4 comments

#2129 - Documentation Cleanup and Rustdoc Deployment Improvements

Pull Request - State: open - Opened by MozirDmitriy about 1 month ago

#2128 - Update astral-sh/setup-uv from v5 to v6

Pull Request - State: closed - Opened by donatik27 about 1 month ago - 1 comment

#2127 - Stav/remove clone trace

Pull Request - State: closed - Opened by Stavbe about 1 month ago - 5 comments

#2126 - dev: make `VirtualMachine::get_traceback_entries` pub

Pull Request - State: open - Opened by ksew1 about 1 month ago - 2 comments

#2125 - Fix enhancement issue link in README to point to cairo-vm repository

Pull Request - State: closed - Opened by MozirDmitriy about 2 months ago - 1 comment

#2124 - Add dual license MIT APACHE

Pull Request - State: closed - Opened by lferrigno about 2 months ago - 3 comments

#2123 - Fix docu indentation

Pull Request - State: closed - Opened by DiegoCivi about 2 months ago - 3 comments
Labels: nochangelog

#2122 - Fix broken issue link in CHANGELOG

Pull Request - State: closed - Opened by MamunC0der about 2 months ago - 1 comment

#2121 - Remove unused imports

Pull Request - State: closed - Opened by DiegoCivi about 2 months ago - 2 comments

#2120 - docs [hint processor]: change pathes to content

Pull Request - State: closed - Opened by gap-editor about 2 months ago - 1 comment

#2119 - Update CI in v1.0.2

Pull Request - State: closed - Opened by DiegoCivi about 2 months ago - 3 comments
Labels: pipelines

#2118 - Fix secp-hints CI jobs

Pull Request - State: closed - Opened by gabrielbosio about 2 months ago - 1 comment
Labels: nochangelog

#2117 - Revert "Sync with main"

Pull Request - State: closed - Opened by gabrielbosio about 2 months ago - 2 comments

#2116 - Sync with main

Pull Request - State: closed - Opened by gabrielbosio about 2 months ago - 3 comments

#2115 - `make test-extensive_hints` needs `make test` first

Issue - State: open - Opened by gabrielbosio about 2 months ago
Labels: bug

#2114 - Refactor QM31 test

Pull Request - State: closed - Opened by DiegoCivi about 2 months ago - 3 comments
Labels: tests

#2113 - Enable_using_secure_run_in_proof_mode

Pull Request - State: closed - Opened by YairVaknin-starkware about 2 months ago - 3 comments

#2112 - Update Rust version to 1.87.0 on v1.0.2

Pull Request - State: closed - Opened by DiegoCivi about 2 months ago - 2 comments

#2111 - Remove unused dependencies

Pull Request - State: closed - Opened by DiegoCivi 2 months ago - 4 comments

#2110 - Improve memory_segments coverage

Pull Request - State: closed - Opened by DiegoCivi 2 months ago - 3 comments
Labels: tests

#2109 - Check for unused dependencies

Issue - State: closed - Opened by gabrielbosio 2 months ago
Labels: good first issue

#2108 - Add memory_segments coverage

Issue - State: closed - Opened by gabrielbosio 2 months ago
Labels: good first issue, tests

#2107 - Prepare for release 2.2.0

Pull Request - State: closed - Opened by gabrielbosio 2 months ago - 2 comments

#2106 - fix: also mark PC as accessed in run_instruction

Pull Request - State: closed - Opened by dorimedini-starkware 2 months ago - 2 comments

#2105 - Add docs/SPECS.md

Pull Request - State: open - Opened by DiegoCivi 2 months ago - 3 comments
Labels: documentation

#2104 - Fix Changelog link

Pull Request - State: closed - Opened by FrancoGiachetta 2 months ago - 3 comments

#2103 - Cherry pick update rust toolchain to 1.87.0

Pull Request - State: closed - Opened by FrancoGiachetta 2 months ago - 2 comments

#2102 - Remove clippy `result_large_err` in functions where `CairoRunError` is returned

Issue - State: open - Opened by FrancoGiachetta 2 months ago

#2101 - feat: implement SharedProgramData::get_main()

Pull Request - State: closed - Opened by dorimedini-starkware 2 months ago - 8 comments

#2100 - Update rust toolchain to 1.87.0

Pull Request - State: closed - Opened by FrancoGiachetta 2 months ago - 3 comments

#2099 - feat: implemented delete_unaccessed function

Pull Request - State: closed - Opened by dorimedini-starkware 2 months ago - 4 comments

#2098 - Prepare for release 2.1.0

Pull Request - State: closed - Opened by gabrielbosio 2 months ago - 2 comments

#2097 - Unify `deps` make command so that it does not depend on OS

Issue - State: open - Opened by gabrielbosio 2 months ago

#2096 - cairo-vm 1.0.2 cannot be compiled with Rust 1.87.0

Issue - State: closed - Opened by kkovaacs 2 months ago - 2 comments
Labels: bug

#2095 - fix link CHANGELOG.md

Pull Request - State: closed - Opened by dizer-ti 3 months ago - 1 comment

#2094 - [DNM] fix: correct cache keys for no-std test coverage in CI #2093

Pull Request - State: closed - Opened by JulianGCalderon 3 months ago - 4 comments
Labels: pipelines

#2093 - fix: correct cache keys for no-std test coverage in CI

Pull Request - State: closed - Opened by crStiv 3 months ago
Labels: pipelines

#2092 - Prepare for Release v3.0.0-rc.1

Pull Request - State: closed - Opened by JulianGCalderon 3 months ago - 6 comments

#2091 - Documentation Cleanup

Issue - State: open - Opened by igaray 3 months ago - 1 comment
Labels: documentation

#2090 - Stav/try

Pull Request - State: open - Opened by Stavbe 3 months ago - 2 comments

#2089 - docs (REAME.md): add guide how to install `make` tool

Pull Request - State: closed - Opened by gap-editor 3 months ago - 2 comments

#2088 - [BREAKING] Compute_missing_builtin_cells_only_in_proof_mode

Pull Request - State: closed - Opened by YairVaknin-starkware 3 months ago - 5 comments

#2087 - Stav/add test

Pull Request - State: closed - Opened by Stavbe 3 months ago - 3 comments

#2086 - Stav/remove test compare to python vm

Pull Request - State: closed - Opened by Stavbe 3 months ago - 5 comments

#2085 - Use_btreemap_for_deterministic_order_of_pie_keys

Pull Request - State: closed - Opened by YairVaknin-starkware 3 months ago - 3 comments

#2084 - fix: function name

Pull Request - State: closed - Opened by mdqst 3 months ago - 1 comment

#2083 - [DNM] docs: add --run_from_cairo_pie documentation for Cairo 0 and Cairo 1

Pull Request - State: closed - Opened by gabrielbosio 3 months ago - 4 comments
Labels: documentation

#2082 - [DNM] fix: Add boundary tests for SecpSplitOutOfRange in secp_utils

Pull Request - State: closed - Opened by gabrielbosio 3 months ago - 3 comments
Labels: tests

#2081 - chore(ci): upgrade actions/cache to v4

Pull Request - State: closed - Opened by davidjsonn 3 months ago - 2 comments

#2080 - add trace not enabled error

Pull Request - State: closed - Opened by Stavbe 3 months ago - 6 comments

#2079 - Stav/move prover input info to seperate file

Pull Request - State: open - Opened by Stavbe 3 months ago - 3 comments

#2078 - Fix WRITE_DIVMOD_SEGMENT hint

Pull Request - State: closed - Opened by JulianGCalderon 3 months ago - 3 comments

#2077 - docs: add --run_from_cairo_pie documentation for Cairo 0 and Cairo 1

Pull Request - State: closed - Opened by GarmashAlex 3 months ago - 1 comment
Labels: documentation

#2076 - [DNM] Starkware Development

Pull Request - State: open - Opened by JulianGCalderon 3 months ago - 3 comments

#2075 - chore(ci): bump actions/cache to v4

Pull Request - State: open - Opened by PixelPil0t1 3 months ago
Labels: pipelines

#2074 - use bincode for faster writing prover input info

Pull Request - State: closed - Opened by Stavbe 3 months ago - 4 comments

#2073 - fix error tracer.rs

Pull Request - State: closed - Opened by davidjsonn 3 months ago

#2072 - docs: remove consecutive duplicate words

Pull Request - State: closed - Opened by zeroprooff 3 months ago

#2071 - feat: add support for alias identifiers destination in program serde

Pull Request - State: closed - Opened by enitrat 4 months ago - 2 comments

#2070 - [DNM] dev: make Memory::get pub #2039

Pull Request - State: closed - Opened by JulianGCalderon 4 months ago - 4 comments

#2069 - Add_support_for_pies_with_simulated_builtins

Pull Request - State: open - Opened by YairVaknin-starkware 4 months ago - 3 comments

#2068 - Fix_zero_offset_output_base_assumption

Pull Request - State: closed - Opened by YairVaknin-starkware 4 months ago - 3 comments

#2067 - Add_perp_and_dex_w_bitwise_layouts

Pull Request - State: closed - Opened by YairVaknin-starkware 4 months ago - 3 comments

#2066 - Stav/disable trace padding for prover input info

Pull Request - State: closed - Opened by Stavbe 4 months ago - 4 comments

#2065 - Remove duplicated `get_val`

Pull Request - State: closed - Opened by FrancoGiachetta 4 months ago - 3 comments

#2064 - Fix cache miss with stwo programs

Pull Request - State: closed - Opened by FrancoGiachetta 4 months ago - 3 comments
Labels: pipelines

#2063 - Avoid installing gmp when executing `install-macos.sh`

Pull Request - State: open - Opened by FrancoGiachetta 4 months ago - 3 comments
Labels: pipelines

#2062 - fix: Add boundary tests for SecpSplitOutOfRange in secp_utils

Pull Request - State: open - Opened by VolodymyrBg 4 months ago - 3 comments
Labels: tests

#2061 - CI Bug: stwo exclusive programs are not compared with cairo-lang.

Issue - State: open - Opened by JulianGCalderon 4 months ago
Labels: bug, pipelines

#2060 - CI Bug: wrong cache key for no-std test coverage

Issue - State: closed - Opened by JulianGCalderon 4 months ago
Labels: bug, pipelines

#2059 - CI: all programs cache saved even when exists

Issue - State: open - Opened by JulianGCalderon 4 months ago
Labels: low-priority, pipelines

#2058 - CI: gmp already installed warning

Issue - State: open - Opened by JulianGCalderon 4 months ago
Labels: low-priority, pipelines

#2057 - change the string names generated for rc128 and rc96 in BuiltinName

Pull Request - State: open - Opened by ohad-nir-starkware 4 months ago - 4 comments

#2056 - CI: Make cache keys depend on Cairo version

Pull Request - State: open - Opened by JulianGCalderon 4 months ago - 3 comments
Labels: pipelines

#2055 - collecting pa also when proof_mode=false

Pull Request - State: closed - Opened by Stavbe 4 months ago - 2 comments

#2054 - Stav/test

Pull Request - State: open - Opened by Stavbe 4 months ago

#2053 - Stav/check

Pull Request - State: closed - Opened by Stavbe 4 months ago

#2052 - Rebase starkware-development on top of current main

Pull Request - State: closed - Opened by yuvalsw 4 months ago - 3 comments

#2051 - Stav/test

Pull Request - State: closed - Opened by Stavbe 4 months ago

#2050 - Added hints felt unpacking for blake - try

Pull Request - State: open - Opened by yuvalsw 4 months ago - 2 comments

#2049 - [DNM] make BuiltinRunner::included public

Pull Request - State: closed - Opened by gabrielbosio 4 months ago - 1 comment

#2048 - [DNM] Segment arena relocation fix upstream

Pull Request - State: closed - Opened by gabrielbosio 4 months ago - 4 comments

#2047 - Stav/add prover input info flag

Pull Request - State: closed - Opened by Stavbe 4 months ago - 3 comments

#2046 - Reminder: Enable memory length comparison with cairo-lang

Issue - State: open - Opened by JulianGCalderon 4 months ago - 1 comment

#2045 - refactor: Use Felt directly instead of alias

Pull Request - State: closed - Opened by VolodymyrBg 4 months ago - 14 comments

#2044 - Create sync_upstream.yml

Pull Request - State: closed - Opened by n-eq 4 months ago

#2043 - fix: add VM Execution State

Pull Request - State: closed - Opened by crStiv 4 months ago - 12 comments

#2042 - feat(breaking): add support for hint accessible scopes

Pull Request - State: closed - Opened by enitrat 4 months ago - 16 comments

#2041 - Identifiers for aliases are not built properly

Issue - State: closed - Opened by enitrat 4 months ago - 5 comments
Labels: bug

#2040 - Bump Cairo to v2.12.0-dev.0

Pull Request - State: closed - Opened by JulianGCalderon 4 months ago - 3 comments

#2039 - dev: make Memory::get `pub`

Pull Request - State: closed - Opened by enitrat 4 months ago - 4 comments

#2038 - [test] Add failing test

Pull Request - State: open - Opened by JulianGCalderon 4 months ago - 2 comments

#2037 - Update changelog.yml

Pull Request - State: closed - Opened by igaray 4 months ago - 3 comments
Labels: pipelines, nochangelog

#2036 - fill holes is builtins segments

Pull Request - State: closed - Opened by Stavbe 4 months ago - 4 comments

#2035 - Stav/sync starkware dev

Pull Request - State: closed - Opened by Stavbe 4 months ago - 3 comments

GitHub / lambdaclass/cairo-vm issues and pull requests