Skip to content

Refactor/more kernel perf#72

Open
thibautbenjamin wants to merge 1 commit intomasterfrom
refactor/more-kernel-perf
Open

Refactor/more kernel perf#72
thibautbenjamin wants to merge 1 commit intomasterfrom
refactor/more-kernel-perf

Conversation

@thibautbenjamin
Copy link
Copy Markdown
Owner

This MR removes the context from kernel types. This is a performance oriented feature that needs to be considered carefully as it may yield to unsoundness in the kernel. For this reason, I moved it as its own MR, to be merged after the release

@thibautbenjamin thibautbenjamin force-pushed the refactor/more-kernel-perf branch from 94b2b0e to 9db7a4f Compare October 14, 2024 15:04
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.

2 participants