Updated on 2022-06-10 10:15:22 UTC
refreshed every 30 minutes
refreshed every 30 minutes
Hans Hoglund's actions
(42)
| Resource | Action | Why |
|---|---|---|
| tezos/tezos!5495 WASM / Parser : use Chunked byte vector for data segment Blocking tezos/tezos#3165 | Close or reply to thread | hans.hoglund is the thread author |
| tezos/tezos!5537 Proto/SCORU: test staker's injectivity in refutation games Blocking tezos/tezos#2452 | Review or approve | hans.hoglund is set as reviewer |
| tezos/tezos!5482 Draft: Proto: Env: Expose WebAssembly interpreter Blocking tezos/tezos#3090 | Fix CI | hans.hoglund is the original author and triggered last pipeline |
| Complete task | hans.hoglund is the original author | |
| UnWIP | hans.hoglund is the original author | |
| tezos/tezos!5543 Proto: SCORU: relax dissection rules slightly | Act | hans.hoglund is assigned |
| tezos/tezos!5332 Proto: SCORU: zero-tick commitment case scoru | Close or reply to thread | hans.hoglund is the thread author |
| tezos/tezos!5502 WASM/Parser: small step UTF8 parsing | Review or approve | hans.hoglund is a merge-teamer and is set as reviewer |
| tezos/tezos#2394 lib_base: Bounded: Add PBT for out-of-bound integers | Complete task | hans.hoglund is assigned |
| tezos/tezos#1675 Tickets: Test failure: Drop all tickets from lazy storage | Solve issue | hans.hoglund is assigned |
| tezos/tezos#1676 Add test to verify nested big_maps are rejected | Solve issue | hans.hoglund is assigned |
| tezos/tezos#1677 Add property-based tests for tickets | Solve issue | hans.hoglund is assigned |
| tezos/tezos#1678 Add test verifying that tickets can not be transferred in lambdas doc 📖 michelson ⚗ test ⚒ | Solve issue | hans.hoglund is assigned |
| tezos/tezos#2327 SCORU: Factor-out hash types Nice to have 👶 | Complete task | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#2392 `PVM_kind` and `Boot_sector` should be carbonated | Complete task | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#2403 Switch from `bytes` to `string` in context APIs | Complete task | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#2639 Add tests ensuring that Inbox proofs are stable | Complete task | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3051 Follow-up from "WASM: Use WebAssembly core test suite" Code quality 🌟 Nice to have 👶 | Complete task | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3085 Test data shallow representation for data segments and elements corner case | Complete task | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3091 Wasm PVM: Remove duplication in input proofs Nice to have 👶 performance | Complete task | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3093 Wasm rollup: L2: Print a more informative status message | Complete task | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3117 Document version of spec and subset/additions doc 📖 | Complete task | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3129 Follow-up from "Proto: SCORU: implementation of proofs in the refutation game" | Complete task | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#2552 Add spec conformance tests for Irmin proofs | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#2681 Gas model for verifying inbox proofs | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#2682 Gas model for verifying Irmin tree proofs | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#2686 Document SCORU storage costs/deposit reasoning doc 📖 | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#2952 SCORU Wasm: Design: Generalized output channels | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#2953 Design: Double-check input semantics | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3045 lib_webassembly should be built by `make` Nice to have 👶 | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3081 Wasm: Update a lazy tree from a module instance wasm-pvm:lazy-tree | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3082 Wasm: Get an Eval.config from a lazy tree wasm-pvm:lazy-tree | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3083 Wasm: Update a lazy tree from Eval.config wasm-pvm:lazy-tree | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3094 SCORU: L2 node: make Interpreter_event PVM-agnostic | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3095 [placeholder] SCORU: Support Tree2 in Wasm PVM | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3124 Wasm PVM: Test for booting/computing and checking size | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3126 SCORU: Reduce duplication between PVMs Code quality 🌟 | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3157 SCORU: Wasm PVM: Tree rewriting for yield | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tezos#3164 SCORU: Wasm: Nominal gast cost of proof generation | Solve issue | hans.hoglund opened issue and no one is assigned |
| tezos/tzip!171 Meta: README: Add links to TZIP-1 and 2 | Reply to thread | hans.hoglund is the original author |
| Add a merge-team reviewer | hans.hoglund is the original author | |
| nomadic-labs/data-encoding#47 string_enum: OpenAPI encoding is not canonical | Solve issue | hans.hoglund opened issue and no one is assigned |
