Resource | Action | Why |
---|---|---|
tezos/tezos!4731 Draft: Proto Alpha: remove stack types from kinfo priority::critical michelson ⚗ performance proto | Close or reply to thread | yrg is the thread author |
tezos/tezos#1368 Check that the new implementation of DIP has no inefficiencies gaswise priority::high michelson ⚗ state::to-do triage::level2 | Complete task | yrg is assigned |
tezos/tezos#1481 Move Dexter and LB Mi-Cho-Coq proofs in a separate repo priority::medium state::to-do triage::level2 | Complete task | yrg is assigned |
tezos/tezos#1367 Locations in logging need a clear specification priority::medium michelson ⚗ state::to-do triage::level2 | Complete task | yrg is assigned |
tezos/tezos#2037 Useless computation of script size during origination priority::medium michelson ⚗ performance proto state::to-do | Solve issue | yrg is assigned |
tezos/tezos#2231 A registration mechanism for address prefixes priority::medium Code quality 🌟 proto | Solve issue | yrg is assigned |
tezos/tezos#2382 Michelson: make the CONTRACT instruction cache-aware priority::medium michelson ⚗ performance proto state::to-do | Solve issue | yrg is assigned |
tezos/tezos!5269 Draft: Proto/Scoru: Fix the sliding window mechanism in history remembering scoru Blocking tezos/tezos#2981 | Close or reply to thread | yrg is the thread author |
tezos/tezos!5212 SCORU: Use protocol constants in the rollup node proto scoru Blocking tezos/tezos#2942 | Reply to thread | yrg is the original author |
Reply to thread | yrg is the original author | |
Reply to thread | yrg is the original author | |
Reply to thread | yrg is the original author | |
Fix CI | yrg is the original author and triggered last pipeline | |
tezos/tezos!5478 Extend PVM interface with proofs about outbox Blocking tezos/tezos#2927 | Reply to thread | yrg is the original author |
Complete task | yrg is the original author | |
tezos/tezos!5537 Proto/SCORU: test staker's injectivity in refutation games Blocking tezos/tezos#2452 | Review or approve | yrg is set as reviewer |
tezos/tezos!4656 Event logging MVP michelson ⚗ proto | Review or approve | yrg is set as reviewer |
tezos/tezos!4906 Environment: relax the check in the environment to allow JavaScript backend javascript proto proto::environment | Close or reply to thread | yrg is the thread author |
tezos/tezos#1350 Interpreter: Make kinstr type depend on a `'logger` type parameter Code quality 🌟 michelson ⚗ priority::low proto state::to-do | Complete task | yrg is assigned |
tezos/tezos#1355 Remove redundant metainfo in ILog michelson ⚗ priority::low proto state::to-do | Complete task | yrg is assigned |
tezos/tezos#1356 Introduce more laziness in the construction of Michelson lambda abstractions michelson ⚗ performance priority::low proto state::to-do | Complete task | yrg is assigned |
tezos/tezos#1360 Proto/Michelson: Refactor the definition of KMap_enter_body michelson ⚗ priority::low proto state::to-do triage::level2 | Complete task | yrg is assigned |
tezos/tezos#2768 Revamp validation of lambda size in the size model | Complete task | yrg is assigned |
tezos/tezos#2931 Scoru: Rollup node: add support for fee_parameter args in tezt scoru state::to-do | Complete task | yrg is assigned |
tezos/tezos#17 Hash consing for contract data michelson ⚗ Nice to have 👶 Not for V1 💫 storage type::feature | Solve issue | yrg is assigned |
tezos/tezos#1041 Proto: Dropn needs a dedicated GADT witness michelson ⚗ priority::low proto state::to-do | Solve issue | yrg is assigned |
tezos/tezos#1272 Generalize the logging facility of the Michelson interpreter to handle other instrumentations logging michelson ⚗ | Solve issue | yrg is assigned |
tezos/tezos#1346 Replay command should use a read-only store to allow multiple paralllel executions storage triage::level2 | Solve issue | yrg is assigned |
tezos/tezos#1570 Make a more optimal usage of caches in store reconstruction proto shell | Solve issue | yrg is assigned |
tezos/tezos#1589 Implement a clean integration of arrays in lib_base stdlib | Solve issue | yrg is assigned |
tezos/tezos#1755 Useless fitness passed to cache_nonce_from_block_header | Solve issue | yrg is assigned |
tezos/tezos#2115 Challenge commits: Rollup Node | Solve issue | yrg is assigned |
tezos/tezos#2371 Provide a script to recompute the regression coefficients used in the protocol space model proto | Solve issue | yrg is assigned |
tezos/tezos#2410 Failing test-cases on Multicore `4.12.0+domains` | Solve issue | yrg is assigned |
tezos/tezos#2493 Create documentation entries for Sc rollups state::in-progress | Solve issue | yrg is assigned |
tezos/tezos#2556 Compute a sensible value for sc_rollup_max_available_messages state::in-progress | Solve issue | yrg is assigned |
tezos/tezos#2688 Check if registration of RPC of get_initial_level for SC Rollup needs to be chunked state::in-progress | Solve issue | yrg is assigned |
tezos/tezos#2771 Check that protocol constants satisfy the desired invariants | Solve issue | yrg is assigned |
tezos/tezos#2871 SCORU: Remove commitment logic with cleaning up processed messages. | Solve issue | yrg is assigned |
tezos/tezos#2977 Scoru Node: retrieve protocol parameters instead of hardcoding them scoru state::in-progress | Solve issue | yrg is assigned |
tezos/tezos#3010 Uncurry the Michelson interpreter thanks to OCaml 4.14 michelson ⚗ | Solve issue | yrg is assigned |
tezos/tezos#3016 Only consider applied operations in the rollup node state::in-progress | Solve issue | yrg is assigned |
tezos/tezos#3052 Explicit some invariants and design choices for skip list state::in-progress | Solve issue | yrg is assigned |
tezos/tezos#2927 Update the PVM interface to generate and to verify proofs about the outbox contents Blocked by tezos/tezos!5478 | Unblock | yrg is assigned |
tezos/tezos#2942 Use protocol constants in the rollup node state::in-progress Blocked by tezos/tezos!5212 | Unblock | yrg is assigned |
tezos/tezos#2632 Compress backpointers pointing outside the refutation period Nice to have 👶 | Complete task | yrg opened issue and no one is assigned |
tezos/tezos#2662 Make PVM proof verifier capable of using input hashes instead of message payloads | Complete task | yrg opened issue and no one is assigned |
tezos/tezos#2675 Evaluate the possibility to use Irmin proofs instead of skip lists to represent inclusion proofs | Complete task | yrg opened issue and no one is assigned |
tezos/tezos#2757 Expose in_memory_size for crypto signatures and hashes triage::level2 | Complete task | yrg opened issue and no one is assigned |
tezos/tezos#3068 Evaluate whether the PVMs should be moved back above Alpha_context triage::level2 | Complete task | yrg opened issue and no one is assigned |
tezos/tezos#1465 Preheat the cache in advance in the baker state::to-do triage::level2 | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#1586 Use monolith to test FunctionalArray/FallbackArray stdlib test ⚒ triage::level2 | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#1636 Integrate cache reuse and recycling in the mempool state::to-do | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#1885 Document the effects of the cache on gas consumption (for end-user, for indexers) state::to-do | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#2300 Add Grafana graphs about the cache | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#2346 Allow to submit layer-2 batches with tezos-client from a file | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#2600 Revise IgnoreCaches functors | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#2609 Determine if the simulation must be done on top of current head or in a new block state::to-do | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#2659 PVM evaluation function should be carbonated | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#2763 Add periodic reset of the cache (for testnet) | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#2777 SCORU: Filtering deposit | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#2874 Add a no-cache option in simulation | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#2970 Remove List.rev_map thanks to TMC in OCaml 4.14 Code quality 🌟 triage::level2 | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#3017 Make sure receipts with too large metadata cannot be exploited to stop a rollup node | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos#3176 Complete PVM to take proofs about outbox into account | Solve issue | yrg opened issue and no one is assigned |
tezos/tezos!5539 Draft: Remove redundant number_of_messages from commitments | Complete task | yrg is the original author |
UnWIP | yrg is the original author | |
tezos/tezos!5425 Draft: Proto: Add big_map cache performance proto | Close or reply to thread | yrg is the thread author |
Close or reply to thread | yrg is the thread author | |
Close or reply to thread | yrg is the thread author | |
arvidnl/tezos_coredev_dashboard#16 reply-to-thread when pushed-recently should not apply if pushed-recently was a mere rebase | Solve issue | yrg opened issue and no one is assigned |
tezos/michelson-reference#39 Give more details for the documentation of address comparison priority::medium difficulty::easy reference | Solve issue | yrg is assigned |
nomadic-labs/tezos#186 nomadic-labs/tezos#186 priority::medium michelson protocol tests | Solve issue | yrg is assigned |
tezos/michelson-reference#51 Descriptions of predicates over types are incomplete priority::low difficulty::medium output test | Solve issue | yrg opened issue and no one is assigned |
nomadic-labs/data-encoding!44 Add length field to Bytes and String layout schemas | Review or approve | yrg is set as reviewer |
nomadic-labs/mi-cho-coq#57 Generate and publish HTML documentation beginner build ci | Solve issue | yrg is assigned |
nomadic-labs/data-encoding#32 BUG: re-use of isomorphic encoding for fields of an object will produce phantom undefined references in description | Solve issue | yrg is assigned |
nomadic-labs/mi-cho-coq#56 Adapt Dexter2 development for liquidity baking dexter2 smart-contract verification Blocked by nomadic-labs/mi-cho-coq#47 | Unblock | yrg is assigned |
nomadic-labs/data-encoding#21 Document the proper usage of `mu` with stateful functionals using examples documentation | Solve issue | yrg opened issue and no one is assigned |
nomadic-labs/mi-cho-coq!103 WIP: Optimize Michelson lexical analysis dexter2 | Reply to thread | yrg is the original author |
Reply to thread | yrg is the original author | |
UnWIP | yrg is the original author | |
tezos/tzip!117 Draft: Dh@table of constants | Close or reply to thread | yrg is the thread author |
nomadic-labs/data-encoding!25 WIP: Introduce basic custom encoders | UnWIP | yrg is the original author |
metastatedev/tezos#231 Give some love to Tez_repr Code improvment | Complete task | yrg is assigned |
metastatedev/tezos#216 Parsing/typechecking inserts NOP Code improvment Protocol Smart Contract | Solve issue | yrg is assigned |