New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[RFC]: Convert to direct-style with Eio #2149
Open
patricoferris
wants to merge
96
commits into
mirage:main
Choose a base branch
from
patricoferris:direct-style
base: main
Could not load branches
Branch not found: {{ refName }}
Could not load tags
Nothing to show
Are you sure you want to change the base?
Some commits from the old base branch may be removed from the timeline,
and old review comments may become outdated.
Open
Commits on Feb 13, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 00ee488 - Browse repository at this point
Copy the full SHA 00ee488View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6379145 - Browse repository at this point
Copy the full SHA 6379145View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4bc33c4 - Browse repository at this point
Copy the full SHA 4bc33c4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 9bc6ab8 - Browse repository at this point
Copy the full SHA 9bc6ab8View commit details -
Configuration menu - View commit details
-
Copy full SHA for cfc7faf - Browse repository at this point
Copy the full SHA cfc7fafView commit details -
Configuration menu - View commit details
-
Copy full SHA for 4eb665f - Browse repository at this point
Copy the full SHA 4eb665fView commit details -
Configuration menu - View commit details
-
Copy full SHA for e9088a5 - Browse repository at this point
Copy the full SHA e9088a5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 94233d2 - Browse repository at this point
Copy the full SHA 94233d2View commit details -
Configuration menu - View commit details
-
Copy full SHA for 99142a8 - Browse repository at this point
Copy the full SHA 99142a8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 169de7c - Browse repository at this point
Copy the full SHA 169de7cView commit details -
Configuration menu - View commit details
-
Copy full SHA for ec6f097 - Browse repository at this point
Copy the full SHA ec6f097View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1a2a318 - Browse repository at this point
Copy the full SHA 1a2a318View commit details -
Configuration menu - View commit details
-
Copy full SHA for adfa85e - Browse repository at this point
Copy the full SHA adfa85eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0d484c1 - Browse repository at this point
Copy the full SHA 0d484c1View commit details -
Configuration menu - View commit details
-
Copy full SHA for a077d36 - Browse repository at this point
Copy the full SHA a077d36View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8fac611 - Browse repository at this point
Copy the full SHA 8fac611View commit details -
Configuration menu - View commit details
-
Copy full SHA for 96af869 - Browse repository at this point
Copy the full SHA 96af869View commit details -
Configuration menu - View commit details
-
Copy full SHA for 536e7eb - Browse repository at this point
Copy the full SHA 536e7ebView commit details -
Configuration menu - View commit details
-
Copy full SHA for ed2cbd6 - Browse repository at this point
Copy the full SHA ed2cbd6View commit details -
Configuration menu - View commit details
-
Copy full SHA for c93a6e1 - Browse repository at this point
Copy the full SHA c93a6e1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7f4d26c - Browse repository at this point
Copy the full SHA 7f4d26cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 331095b - Browse repository at this point
Copy the full SHA 331095bView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1a5f58a - Browse repository at this point
Copy the full SHA 1a5f58aView commit details -
Configuration menu - View commit details
-
Copy full SHA for cee443f - Browse repository at this point
Copy the full SHA cee443fView commit details -
Configuration menu - View commit details
-
Copy full SHA for e6da5e2 - Browse repository at this point
Copy the full SHA e6da5e2View commit details -
Configuration menu - View commit details
-
Copy full SHA for b30c33a - Browse repository at this point
Copy the full SHA b30c33aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 426b76a - Browse repository at this point
Copy the full SHA 426b76aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 151c25c - Browse repository at this point
Copy the full SHA 151c25cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2204a24 - Browse repository at this point
Copy the full SHA 2204a24View commit details -
Configuration menu - View commit details
-
Copy full SHA for 791695a - Browse repository at this point
Copy the full SHA 791695aView commit details -
Configuration menu - View commit details
-
Copy full SHA for 6afc95c - Browse repository at this point
Copy the full SHA 6afc95cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5b055c7 - Browse repository at this point
Copy the full SHA 5b055c7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 2c2dffe - Browse repository at this point
Copy the full SHA 2c2dffeView commit details -
Configuration menu - View commit details
-
Copy full SHA for 878983c - Browse repository at this point
Copy the full SHA 878983cView commit details -
Configuration menu - View commit details
-
Copy full SHA for cff02a6 - Browse repository at this point
Copy the full SHA cff02a6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 0043f79 - Browse repository at this point
Copy the full SHA 0043f79View commit details -
Configuration menu - View commit details
-
Copy full SHA for df498e4 - Browse repository at this point
Copy the full SHA df498e4View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1a3678d - Browse repository at this point
Copy the full SHA 1a3678dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 7972f9d - Browse repository at this point
Copy the full SHA 7972f9dView commit details -
Configuration menu - View commit details
-
Copy full SHA for ea06897 - Browse repository at this point
Copy the full SHA ea06897View commit details -
Configuration menu - View commit details
-
Copy full SHA for c90c059 - Browse repository at this point
Copy the full SHA c90c059View commit details -
Configuration menu - View commit details
-
Copy full SHA for 37086e6 - Browse repository at this point
Copy the full SHA 37086e6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8aeb8b8 - Browse repository at this point
Copy the full SHA 8aeb8b8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8bcd565 - Browse repository at this point
Copy the full SHA 8bcd565View commit details -
Configuration menu - View commit details
-
Copy full SHA for 37b211f - Browse repository at this point
Copy the full SHA 37b211fView commit details -
Configuration menu - View commit details
-
Copy full SHA for ff6e5cd - Browse repository at this point
Copy the full SHA ff6e5cdView commit details -
Configuration menu - View commit details
-
Copy full SHA for d980b06 - Browse repository at this point
Copy the full SHA d980b06View commit details -
Configuration menu - View commit details
-
Copy full SHA for 55dcad5 - Browse repository at this point
Copy the full SHA 55dcad5View commit details
Commits on Feb 28, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 3607a58 - Browse repository at this point
Copy the full SHA 3607a58View commit details -
Configuration menu - View commit details
-
Copy full SHA for bbaf30b - Browse repository at this point
Copy the full SHA bbaf30bView commit details -
Configuration menu - View commit details
-
Copy full SHA for c3cf319 - Browse repository at this point
Copy the full SHA c3cf319View commit details -
Configuration menu - View commit details
-
Copy full SHA for 427a919 - Browse repository at this point
Copy the full SHA 427a919View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1a3249e - Browse repository at this point
Copy the full SHA 1a3249eView commit details -
Configuration menu - View commit details
-
Copy full SHA for f3a2c5c - Browse repository at this point
Copy the full SHA f3a2c5cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 52969d9 - Browse repository at this point
Copy the full SHA 52969d9View commit details -
Configuration menu - View commit details
-
Copy full SHA for c889be6 - Browse repository at this point
Copy the full SHA c889be6View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4f1b3da - Browse repository at this point
Copy the full SHA 4f1b3daView commit details -
Configuration menu - View commit details
-
Copy full SHA for a888e7d - Browse repository at this point
Copy the full SHA a888e7dView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1634e90 - Browse repository at this point
Copy the full SHA 1634e90View commit details -
Configuration menu - View commit details
-
Copy full SHA for 7b12d9f - Browse repository at this point
Copy the full SHA 7b12d9fView commit details -
Configuration menu - View commit details
-
Copy full SHA for c26e8eb - Browse repository at this point
Copy the full SHA c26e8ebView commit details -
Configuration menu - View commit details
-
Copy full SHA for d086dad - Browse repository at this point
Copy the full SHA d086dadView commit details -
Configuration menu - View commit details
-
Copy full SHA for 24c3edd - Browse repository at this point
Copy the full SHA 24c3eddView commit details -
Configuration menu - View commit details
-
Copy full SHA for dd1c41f - Browse repository at this point
Copy the full SHA dd1c41fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 17da4c8 - Browse repository at this point
Copy the full SHA 17da4c8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 3d6dea1 - Browse repository at this point
Copy the full SHA 3d6dea1View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5b9c002 - Browse repository at this point
Copy the full SHA 5b9c002View commit details -
Configuration menu - View commit details
-
Copy full SHA for a1150e8 - Browse repository at this point
Copy the full SHA a1150e8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5404045 - Browse repository at this point
Copy the full SHA 5404045View commit details -
Configuration menu - View commit details
-
Copy full SHA for 734d6e2 - Browse repository at this point
Copy the full SHA 734d6e2View commit details
Commits on Mar 11, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 1b959e9 - Browse repository at this point
Copy the full SHA 1b959e9View commit details -
Configuration menu - View commit details
-
Copy full SHA for 4f2d16a - Browse repository at this point
Copy the full SHA 4f2d16aView commit details -
Configuration menu - View commit details
-
Copy full SHA for dabb1fd - Browse repository at this point
Copy the full SHA dabb1fdView commit details -
Configuration menu - View commit details
-
Copy full SHA for 5f550c7 - Browse repository at this point
Copy the full SHA 5f550c7View commit details -
Configuration menu - View commit details
-
Copy full SHA for b2f32d8 - Browse repository at this point
Copy the full SHA b2f32d8View commit details -
Configuration menu - View commit details
-
Copy full SHA for a664ac8 - Browse repository at this point
Copy the full SHA a664ac8View commit details -
Configuration menu - View commit details
-
Copy full SHA for 161310b - Browse repository at this point
Copy the full SHA 161310bView commit details -
Configuration menu - View commit details
-
Copy full SHA for e42fb19 - Browse repository at this point
Copy the full SHA e42fb19View commit details -
Configuration menu - View commit details
-
Copy full SHA for 26a1497 - Browse repository at this point
Copy the full SHA 26a1497View commit details -
Configuration menu - View commit details
-
Copy full SHA for 6e17751 - Browse repository at this point
Copy the full SHA 6e17751View commit details -
Configuration menu - View commit details
-
Copy full SHA for ce0b76f - Browse repository at this point
Copy the full SHA ce0b76fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 59deb7c - Browse repository at this point
Copy the full SHA 59deb7cView commit details -
Configuration menu - View commit details
-
Copy full SHA for 2fdb257 - Browse repository at this point
Copy the full SHA 2fdb257View commit details -
Configuration menu - View commit details
-
Copy full SHA for 62051a7 - Browse repository at this point
Copy the full SHA 62051a7View commit details -
Configuration menu - View commit details
-
Copy full SHA for 18af5b0 - Browse repository at this point
Copy the full SHA 18af5b0View commit details -
Configuration menu - View commit details
-
Copy full SHA for 855be85 - Browse repository at this point
Copy the full SHA 855be85View commit details -
Configuration menu - View commit details
-
Copy full SHA for 1e87714 - Browse repository at this point
Copy the full SHA 1e87714View commit details -
Configuration menu - View commit details
-
Copy full SHA for c7b22e3 - Browse repository at this point
Copy the full SHA c7b22e3View commit details
Commits on Apr 11, 2024
-
Configuration menu - View commit details
-
Copy full SHA for 05a4af3 - Browse repository at this point
Copy the full SHA 05a4af3View commit details -
Configuration menu - View commit details
-
Copy full SHA for 95b8a53 - Browse repository at this point
Copy the full SHA 95b8a53View commit details -
Configuration menu - View commit details
-
Copy full SHA for 5905ef5 - Browse repository at this point
Copy the full SHA 5905ef5View commit details -
Configuration menu - View commit details
-
Copy full SHA for 883c706 - Browse repository at this point
Copy the full SHA 883c706View commit details -
Configuration menu - View commit details
-
Copy full SHA for 8601dce - Browse repository at this point
Copy the full SHA 8601dceView commit details -
Configuration menu - View commit details
-
Copy full SHA for 3fb0a99 - Browse repository at this point
Copy the full SHA 3fb0a99View commit details
Commits on May 13, 2024
-
Configuration menu - View commit details
-
Copy full SHA for a8263db - Browse repository at this point
Copy the full SHA a8263dbView commit details -
Configuration menu - View commit details
-
Copy full SHA for 66c6144 - Browse repository at this point
Copy the full SHA 66c6144View commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.