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 | archaephyrryx opened issue and no one is assigned |
nomadic-labs/data-encoding!56 char encoding feature Blocking nomadic-labs/data-encoding#40 | Close or reply to thread | raphael-proust is the thread author |
Close or reply to thread | raphael-proust is the thread author | |
Add a merge-team reviewer | raphael-proust is the original author | |
Help add merge-team reviewers | davdumas jgonlabs klakplok MBourgoin nguyencharles.nlabs OanaLP onurb pirbo raphael-proust romain.nl SamREye vbotbol is a dispatcher | |
nomadic-labs/data-encoding!69 Add lazy Sequence encoding feature Blocking nomadic-labs/data-encoding#25 | Add a merge-team reviewer | raphael-proust is the original author |
Help add merge-team reviewers | davdumas jgonlabs klakplok MBourgoin nguyencharles.nlabs OanaLP onurb pirbo raphael-proust romain.nl SamREye vbotbol is a dispatcher | |
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 | archaephyrryx opened issue and no one is assigned |
nomadic-labs/data-encoding!88 `mu` now avoids the first unrolling | Act | dianegalloiswong is assigned |
Close or reply to thread | romain.nl is the thread author | |
Reply to thread | raphael-proust is the original author | |
Reply to thread | raphael-proust is the original author | |
Add a merge-team reviewer | raphael-proust is the original author | |
Help add merge-team reviewers | davdumas jgonlabs klakplok MBourgoin nguyencharles.nlabs OanaLP onurb pirbo raphael-proust romain.nl SamREye vbotbol is a dispatcher | |
nomadic-labs/data-encoding!44 Add length field to Bytes and String layout schemas | Review or approve | archaephyrryx is assigned |
Add a merge-team reviewer | archaephyrryx is the original author | |
Review or approve | yrg is set as reviewer | |
Help add merge-team reviewers | davdumas jgonlabs klakplok MBourgoin nguyencharles.nlabs OanaLP onurb pirbo raphael-proust romain.nl SamREye vbotbol is a dispatcher | |
nomadic-labs/data-encoding!51 Binary_write: tailrec-ify write_rec | Review or approve | raphael-proust is set as reviewer |
Help add merge-team reviewers | raphael-proust is a dispatcher | |
Add a merge-team reviewer | mbouaziz is the original author | |
Help add merge-team reviewers | davdumas jgonlabs klakplok MBourgoin nguyencharles.nlabs OanaLP onurb pirbo romain.nl SamREye vbotbol is a dispatcher | |
nomadic-labs/data-encoding!59 Add encoding for Q (rationals as defined in Zarith) feature | Review or approve | raphael-proust is assigned |
Add a merge-team reviewer | raphael-proust is the original author | |
Help add merge-team reviewers | davdumas jgonlabs klakplok MBourgoin nguyencharles.nlabs OanaLP onurb pirbo raphael-proust romain.nl SamREye vbotbol is a dispatcher | |
nomadic-labs/data-encoding!50 Test: add separate test suite to demonstrate bugs bugfix | Fix CI | archaephyrryx is the original author and triggered last pipeline |
Add a merge-team reviewer | archaephyrryx is the original author | |
Help add merge-team reviewers | davdumas jgonlabs klakplok MBourgoin nguyencharles.nlabs OanaLP onurb pirbo raphael-proust romain.nl SamREye vbotbol is a dispatcher | |
nomadic-labs/data-encoding!39 Don't allow duplicate field names in an object bugfix | Help add merge-team reviewers | raphael-proust is a dispatcher |
Close or reply to thread | treeowl is the thread author | |
Close or reply to thread | treeowl is the thread author | |
Reply to thread | treeowl is the original author | |
Reply to thread | treeowl is the original author | |
Add a merge-team reviewer | treeowl is the original author | |
Help add merge-team reviewers | davdumas jgonlabs klakplok MBourgoin nguyencharles.nlabs OanaLP onurb pirbo romain.nl SamREye vbotbol is a dispatcher | |
nomadic-labs/data-encoding!60 Add bytes-as-string encoding feature technical-debt | Help add merge-team reviewers | raphael-proust is a dispatcher |
Reply to thread | mbouaziz is the original author | |
Reply to thread | mbouaziz is the original author | |
Add a merge-team reviewer | mbouaziz is the original author | |
Help add merge-team reviewers | davdumas jgonlabs klakplok MBourgoin nguyencharles.nlabs OanaLP onurb pirbo romain.nl SamREye vbotbol is a dispatcher | |
nomadic-labs/data-encoding#30 BUG: Phantom (undefined) ad-hoc type reference created when applying `conv` to `mu` | Solve issue | archaephyrryx raphael-proust is assigned |
nomadic-labs/data-encoding#31 Bug: field-name associated with dynamic size field will mismatch actual field-name when encoding uses `def` | Solve issue | archaephyrryx raphael-proust 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 | archaephyrryx raphael-proust yrg is assigned |
nomadic-labs/data-encoding#5 Tests: generate values programmatically rather than cryptically | Complete task | mbouaziz opened issue and no one is assigned |
nomadic-labs/data-encoding#22 Follow-up from "Optimize binary decoder for unions" | Complete task | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#29 Fix code TODO in mu bootstrapping technical-debt | Complete task | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#49 Fail-early when overflow of `Check_size` in `Binary_length` perf | Complete task | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#53 Improve documentation: add pointers to data_encoding.mli from internal modules | Complete task | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#13 Support custom binary backends | Solve issue | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#47 string_enum: OpenAPI encoding is not canonical | Solve issue | hans.hoglund opened issue and no one is assigned |
nomadic-labs/data-encoding#17 Provide smarter encoding combinators | Solve issue | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#4 Doc-comment syntax issue with 4.09 | Solve issue | smondet opened issue and no one is assigned |
nomadic-labs/data-encoding#6 Enable a-posteriori versioning, or numberless versioning | Solve issue | julien.t opened issue and no one is assigned |
nomadic-labs/data-encoding#10 Remove `Z` and `N` (and more?) as built-ins | Solve issue | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#11 Split into smaller packages technical-debt | Solve issue | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#12 Support `custom` in `Binary` too | Solve issue | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#15 Suggestion: encode length (rather than size) of collections | Solve issue | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#18 Add prefixed documentation | Solve issue | mbouaziz opened issue and no one is assigned |
nomadic-labs/data-encoding#19 Binary-only, json-only encodings | Solve issue | mbouaziz opened issue and no one 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/data-encoding#23 Deriving adversarial samplers from encodings | Solve issue | igarnier opened issue and no one is assigned |
nomadic-labs/data-encoding#24 int63 encoding? | Solve issue | raphael-proust opened issue and no one is assigned |
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 | archaephyrryx opened issue and no one is assigned |
nomadic-labs/data-encoding#33 opt ... t and req ... (option t) don't have the same behaviour regarding null documentation | Solve issue | mattiasdrp opened issue and no one is assigned |
nomadic-labs/data-encoding#34 rustgen: create prototype backend 'kernel' library for parsing binary>rust-type | Solve issue | archaephyrryx opened issue and no one is assigned |
nomadic-labs/data-encoding#38 rustgen: write rust-specific function that converts intermediate type-representation to AST-value | Solve issue | archaephyrryx opened issue and no one is assigned |
nomadic-labs/data-encoding#39 rustgen: full pipeline support for one uint8 encoding | Solve issue | archaephyrryx opened issue and no one is assigned |
nomadic-labs/data-encoding#42 Add chunked-encoding for binary output | Solve issue | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#45 Feature: deriving encodings from type declarations | Solve issue | cemerick opened issue and no one is assigned |
nomadic-labs/data-encoding#46 Add regression tests technical-debt test | Solve issue | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#50 See if we should rely on cinaps to genrerate boilerplates | Solve issue | hhugo1 opened issue and no one is assigned |
nomadic-labs/data-encoding#51 Compact API improvements | Solve issue | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#52 Delayed does not interact well with Json | Solve issue | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#54 Support dynamically-sized (N) size-headers | Solve issue | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#55 Fail earlier when decoding fixed-size list | Solve issue | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#57 Improve handling of `merge_objs` with `splitted`. | Solve issue | g.b.fefe opened issue and no one is assigned |
nomadic-labs/data-encoding#58 Uninitialized fields in splitted constructor | Solve issue | mebsout opened issue and no one is assigned |
nomadic-labs/data-encoding#25 seq encoding Blocked by nomadic-labs/data-encoding!69 | Unblock | raphael-proust opened issue and no one is assigned |
nomadic-labs/data-encoding#37 rustgen: write serialization function for Rust-AST model Blocked by nomadic-labs/data-encoding#36 | Unblock | archaephyrryx opened issue and no one is assigned |
nomadic-labs/data-encoding#40 encoding: missing char encoding? Blocked by nomadic-labs/data-encoding!56 | Unblock | vch9 opened issue and no one is assigned |
nomadic-labs/data-encoding!74 Draft: Some cleanup | Act | raphael-proust is assigned |
Close or reply to thread | hhugo1 is the thread author | |
Close or reply to thread | hhugo1 is the thread author | |
Reply to thread | hhugo1 is the original author | |
Reply to thread | hhugo1 is the original author | |
UnWIP | hhugo1 is the original author | |
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 | romain.nl is the thread author |
Close or reply to thread | romain.nl is the thread author | |
Close or reply to thread | romain.nl is the thread author | |
Close or reply to thread | raphael-proust is the thread author | |
Close or reply to thread | raphael-proust is the thread author | |
Reply to thread | archaephyrryx is the original author | |
UnWIP | archaephyrryx is the original author | |
nomadic-labs/data-encoding!25 WIP: Introduce basic custom encoders | UnWIP | yrg is the original author |
nomadic-labs/data-encoding!58 Draft: binary lexeme backend for coq - with Coq translation | UnWIP | clarus1 is the original author |
dnomadic-labs/data-encoding
Dispatchers:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(from project owners)
Merge‑teamers:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(copied from dispatchers)
Issue watchers: No one
(no one)
|