aboutsummaryrefslogtreecommitdiff
path: root/guests_macro/src/parse_fn.rs
Commit message (Collapse)AuthorAgeFilesLines
* chore: cargo fmtKamen Mladenov2025-05-021-4/+9
|
* feat(guests_macro): Replace parse_fn mod with structKamen Mladenov2025-04-071-224/+227
| | | | | | | | | | | The old method of having functions for every parsing action of a function definition produced messy results. We're replacing it with a struct which will hold a wide assortment of parsed values. This makes the interface much sleaker with only a minor increase in code. The downside is a lot of data gets repeated, however since this struct will only be used in macros, i.e. compile-time, that doesn't matter too much.
* chore: Nix and Rust fmtKamen Mladenov2025-04-041-1/+7
|
* fix(guests_macro/parse_fn): Return unit ret type when main doesn't return ↵Kamen Mladenov2025-03-041-0/+3
| | | | anything
* chore: Rust fmtKamen Mladenov2025-02-271-41/+73
|
* docs(guests_macro): Add detailed documentation commentsKamen Mladenov2025-02-101-15/+51
|
* feat(guests_macro/parse_fn): Fix args split with composite angled bracket typesKamen Mladenov2025-02-051-7/+15
| | | | | Types like HashMap<Key, Value>, i.e. with commas inside the angled brackets
* feat(guests_macro/parse_fn): Make _public functions also return private valuesKamen Mladenov2025-02-031-9/+25
|
* feat(zkvms_host_io): Add public_inputs and private_inputs attributes to RunWithKamen Mladenov2025-02-031-0/+9
|
* feat: Move some public input parsing logic to parse_fnKamen Mladenov2025-02-031-0/+11
|
* fix(guests_macro): Do not skip joint characters which arent ':'Kamen Mladenov2025-01-281-1/+1
| | | | | For example, in `Vec<...>`, `<` is Joint and before it would get skipped.
* feat(guests_macro): Implement args_divide_groupedKamen Mladenov2025-01-221-4/+11
| | | | Use it in multiple zkVMs, simplifying codebase
* fix(guests_macro): Remove trailing comma from group_streams outputKamen Mladenov2025-01-161-1/+1
|
* feat(guests_macro): Make split_fn remove -> from return typeKamen Mladenov2025-01-161-1/+5
|
* feat(guests_macro): Add initial implementationKamen Mladenov2025-01-091-0/+138