| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | feat(guests_macro): Replace parse_fn mod with struct | Kamen Mladenov | 2025-04-07 | 3 | -229/+235 |
| | | | | | | | | | | | | 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 fmt | Kamen Mladenov | 2025-04-04 | 1 | -1/+7 |
| | | |||||
| * | fix(guests_macro/parse_fn): Return unit ret type when main doesn't return ↵ | Kamen Mladenov | 2025-03-04 | 1 | -0/+3 |
| | | | | | anything | ||||
| * | chore: Rust fmt | Kamen Mladenov | 2025-02-27 | 2 | -44/+82 |
| | | |||||
| * | docs(guests_macro): Add detailed documentation comments | Kamen Mladenov | 2025-02-10 | 3 | -16/+87 |
| | | |||||
| * | fix(guests_macro): When writing to type.txt, do not include newlines when ↵ | Kamen Mladenov | 2025-02-05 | 1 | -2/+2 |
| | | | | | the line is too long | ||||
| * | feat(guests_macro/parse_fn): Fix args split with composite angled bracket types | Kamen Mladenov | 2025-02-05 | 1 | -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 values | Kamen Mladenov | 2025-02-03 | 1 | -9/+25 |
| | | |||||
| * | feat(zkvms_host_io): Add public_inputs and private_inputs attributes to RunWith | Kamen Mladenov | 2025-02-03 | 1 | -0/+9 |
| | | |||||
| * | feat: Move some public input parsing logic to parse_fn | Kamen Mladenov | 2025-02-03 | 1 | -0/+11 |
| | | |||||
| * | feat: Add output type to zkvms_host_io macro | Kamen Mladenov | 2025-01-31 | 1 | -1/+2 |
| | | |||||
| * | feat: Pass guest entrypoint type to host | Kamen Mladenov | 2025-01-30 | 1 | -0/+6 |
| | | |||||
| * | chore(guests_macro): Split entrypoint macro string onto multiple lines | Kamen Mladenov | 2025-01-30 | 1 | -1/+6 |
| | | |||||
| * | fix(guests_macro): Do not skip joint characters which arent ':' | Kamen Mladenov | 2025-01-28 | 1 | -1/+1 |
| | | | | | | For example, in `Vec<...>`, `<` is Joint and before it would get skipped. | ||||
| * | feat(guests_macro): Implement args_divide_grouped | Kamen Mladenov | 2025-01-22 | 1 | -4/+11 |
| | | | | | Use it in multiple zkVMs, simplifying codebase | ||||
| * | fix(guests_macro): Make make_wrapper call use curly braces, since it expands ↵ | Kamen Mladenov | 2025-01-17 | 1 | -1/+1 |
| | | | | | to items | ||||
| * | fix(guests_macro): Remove trailing comma from group_streams output | Kamen Mladenov | 2025-01-16 | 1 | -1/+1 |
| | | |||||
| * | feat(guests_macro): Make split_fn remove -> from return type | Kamen Mladenov | 2025-01-16 | 2 | -2/+6 |
| | | |||||
| * | feat(guests_macro): Add initial implementation | Kamen Mladenov | 2025-01-09 | 3 | -0/+154 |
 |
index : blocksense/zkVMs-benchmarks | |
| Setups and programs for zero-knowledge virtual machine benchmarking |
| aboutsummaryrefslogtreecommitdiff |
path: root/guests_macro