Skip to content

Deriving inline volgo - #93

Merged
mbarbin merged 5 commits into
mainfrom
deriving-inline-volgo
Aug 14, 2025
Merged

Deriving inline volgo#93
mbarbin merged 5 commits into
mainfrom
deriving-inline-volgo

Conversation

@mbarbin

@mbarbin mbarbin commented Aug 14, 2025

Copy link
Copy Markdown
Owner
  • Simplify dependencies of preprocessor in the kernel lib volgo/src.
  • Make use of deriving_inline

There are still some issues that needs to be worked around due to formatting unstability. This is left as future work.

@mbarbin
mbarbin merged commit 951a7a3 into main Aug 14, 2025
8 of 9 checks passed
@mbarbin
mbarbin deleted the deriving-inline-volgo branch August 14, 2025 15:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant