Resource | Action | Who and why |
---|---|---|
nomadic-labs/data-encoding#35 rustgen: create intermediate type represenation that can represent, and be reified from encodings equivalent to, Uint8 (and nothing else) Blocking nomadic-labs/data-encoding#36 | Solve issue |
|
nomadic-labs/data-encoding!56 char encoding feature Blocking nomadic-labs/data-encoding#40 | Close or reply to thread |
![]() |
Close or reply to thread |
![]() |
|
Add a merge-team reviewer |
![]() |
|
Help add merge-team reviewers |
![]() ![]() ![]() ![]() ![]() ![]() |
|
nomadic-labs/data-encoding!69 Add lazy Sequence encoding feature Blocking nomadic-labs/data-encoding#25 | Add a merge-team reviewer |
![]() |
Help add merge-team reviewers |
![]() ![]() ![]() ![]() ![]() ![]() |
|
nomadic-labs/data-encoding#36 rustgen: design or decide on Rust-specific AST model type Blocking nomadic-labs/data-encoding#37 Blocked by nomadic-labs/data-encoding#35 | Unblock |
|
nomadic-labs/data-encoding!88 `mu` now avoids the first unrolling | Act |
|
Close or reply to thread |
|
|
Reply to thread |
![]() |
|
Reply to thread |
![]() |
|
Add a merge-team reviewer |
![]() |
|
Help add merge-team reviewers |
![]() ![]() ![]() ![]() ![]() ![]() |
|
nomadic-labs/data-encoding!44 Add length field to Bytes and String layout schemas | Review or approve |
|
Add a merge-team reviewer |
|
|
Review or approve |
|
|
Help add merge-team reviewers |
![]() ![]() ![]() ![]() ![]() ![]() |
|
nomadic-labs/data-encoding!51 Binary_write: tailrec-ify write_rec | Review or approve |
![]() |
Help add merge-team reviewers |
![]() |
|
Add a merge-team reviewer |
![]() |
|
Help add merge-team reviewers |
![]() ![]() ![]() ![]() ![]() |
|
nomadic-labs/data-encoding!59 Add encoding for Q (rationals as defined in Zarith) feature | Review or approve |
![]() |
Add a merge-team reviewer |
![]() |
|
Help add merge-team reviewers |
![]() ![]() ![]() ![]() ![]() ![]() |
|
nomadic-labs/data-encoding!50 Test: add separate test suite to demonstrate bugs bugfix | Fix CI |
|
Add a merge-team reviewer |
|
|
Help add merge-team reviewers |
![]() ![]() ![]() ![]() ![]() ![]() |
|
nomadic-labs/data-encoding!39 Don't allow duplicate field names in an object bugfix | Help add merge-team reviewers |
![]() |
Close or reply to thread |
|
|
Close or reply to thread |
|
|
Reply to thread |
|
|
Reply to thread |
|
|
Add a merge-team reviewer |
|
|
Help add merge-team reviewers |
![]() ![]() ![]() ![]() ![]() |
|
nomadic-labs/data-encoding!60 Add bytes-as-string encoding feature technical-debt | Help add merge-team reviewers |
![]() |
Reply to thread |
![]() |
|
Reply to thread |
![]() |
|
Add a merge-team reviewer |
![]() |
|
Help add merge-team reviewers |
![]() ![]() ![]() ![]() ![]() |
|
nomadic-labs/data-encoding#30 BUG: Phantom (undefined) ad-hoc type reference created when applying `conv` to `mu` | Solve issue |
![]() |
nomadic-labs/data-encoding#31 Bug: field-name associated with dynamic size field will mismatch actual field-name when encoding uses `def` | Solve issue |
![]() |
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 |
![]() |
nomadic-labs/data-encoding#5 Tests: generate values programmatically rather than cryptically | Complete task |
![]() |
nomadic-labs/data-encoding#22 Follow-up from "Optimize binary decoder for unions" | Complete task |
![]() |
nomadic-labs/data-encoding#29 Fix code TODO in mu bootstrapping technical-debt | Complete task |
![]() |
nomadic-labs/data-encoding#49 Fail-early when overflow of `Check_size` in `Binary_length` perf | Complete task |
![]() |
nomadic-labs/data-encoding#53 Improve documentation: add pointers to data_encoding.mli from internal modules | Complete task |
![]() |
nomadic-labs/data-encoding#13 Support custom binary backends | Solve issue |
![]() |
nomadic-labs/data-encoding#47 string_enum: OpenAPI encoding is not canonical | Solve issue |
![]() |
nomadic-labs/data-encoding#17 Provide smarter encoding combinators | Solve issue |
![]() |
nomadic-labs/data-encoding#4 Doc-comment syntax issue with 4.09 | Solve issue |
|
nomadic-labs/data-encoding#6 Enable a-posteriori versioning, or numberless versioning | Solve issue |
![]() |
nomadic-labs/data-encoding#10 Remove `Z` and `N` (and more?) as built-ins | Solve issue |
![]() |
nomadic-labs/data-encoding#11 Split into smaller packages technical-debt | Solve issue |
![]() |
nomadic-labs/data-encoding#12 Support `custom` in `Binary` too | Solve issue |
![]() |
nomadic-labs/data-encoding#15 Suggestion: encode length (rather than size) of collections | Solve issue |
![]() |
nomadic-labs/data-encoding#18 Add prefixed documentation | Solve issue |
![]() |
nomadic-labs/data-encoding#19 Binary-only, json-only encodings | Solve issue |
![]() |
nomadic-labs/data-encoding#21 Document the proper usage of `mu` with stateful functionals using examples documentation | Solve issue |
|
nomadic-labs/data-encoding#23 Deriving adversarial samplers from encodings | Solve issue |
![]() |
nomadic-labs/data-encoding#24 int63 encoding? | Solve issue |
![]() |
nomadic-labs/data-encoding#26 Binary schema loses `data_kind.size` information when a type of layout kind `Bytes` is presented as the element of a `Seq` | Solve issue |
|
nomadic-labs/data-encoding#33 opt ... t and req ... (option t) don't have the same behaviour regarding null documentation | Solve issue |
![]() |
nomadic-labs/data-encoding#34 rustgen: create prototype backend 'kernel' library for parsing binary>rust-type | Solve issue |
|
nomadic-labs/data-encoding#38 rustgen: write rust-specific function that converts intermediate type-representation to AST-value | Solve issue |
|
nomadic-labs/data-encoding#39 rustgen: full pipeline support for one uint8 encoding | Solve issue |
|
nomadic-labs/data-encoding#42 Add chunked-encoding for binary output | Solve issue |
![]() |
nomadic-labs/data-encoding#45 Feature: deriving encodings from type declarations | Solve issue |
|
nomadic-labs/data-encoding#46 Add regression tests technical-debt test | Solve issue |
![]() |
nomadic-labs/data-encoding#50 See if we should rely on cinaps to genrerate boilerplates | Solve issue |
|
nomadic-labs/data-encoding#51 Compact API improvements | Solve issue |
![]() |
nomadic-labs/data-encoding#52 Delayed does not interact well with Json | Solve issue |
![]() |
nomadic-labs/data-encoding#54 Support dynamically-sized (N) size-headers | Solve issue |
![]() |
nomadic-labs/data-encoding#55 Fail earlier when decoding fixed-size list | Solve issue |
![]() |
nomadic-labs/data-encoding#57 Improve handling of `merge_objs` with `splitted`. | Solve issue |
|
nomadic-labs/data-encoding#58 Uninitialized fields in splitted constructor | Solve issue |
|
nomadic-labs/data-encoding#25 seq encoding Blocked by nomadic-labs/data-encoding!69 | Unblock |
![]() |
nomadic-labs/data-encoding#37 rustgen: write serialization function for Rust-AST model Blocked by nomadic-labs/data-encoding#36 | Unblock |
|
nomadic-labs/data-encoding#40 encoding: missing char encoding? Blocked by nomadic-labs/data-encoding!56 | Unblock |
![]() |
nomadic-labs/data-encoding!74 Draft: Some cleanup | Act |
![]() |
Close or reply to thread |
|
|
Close or reply to thread |
|
|
Reply to thread |
|
|
Reply to thread |
|
|
UnWIP |
|
|
nomadic-labs/data-encoding!55 Draft: [rustgen] kernel library, AST model, and encoding-to-rust pipeline for small selection of primitive types | Close or reply to thread |
|
Close or reply to thread |
|
|
Close or reply to thread |
|
|
Close or reply to thread |
![]() |
|
Close or reply to thread |
![]() |
|
Reply to thread |
|
|
UnWIP |
|
|
nomadic-labs/data-encoding!25 WIP: Introduce basic custom encoders | UnWIP |
|
nomadic-labs/data-encoding!58 Draft: binary lexeme backend for coq - with Coq translation | UnWIP |
![]() |
dnomadic-labs/data-encoding
Dispatchers:
![]() ![]() ![]() ![]() ![]() ![]()
Merge‑teamers:
![]() ![]() ![]() ![]() ![]() ![]()
Issue watchers: No one
(no one)
|