Skip to content
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.

Sign up for GitHub

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

Jump to bottom

feat: Add initial codegen extension for prelude #29

Merged
merged 4 commits into from
Jun 18, 2024
Merged

feat: Add initial codegen extension for prelude #29

merged 4 commits into from
Jun 18, 2024

Commits on Jun 18, 2024

  1. feat: Add initial codegen extension for prelude 

    Note that this extension is not intended to be complete, just enough to
get started.

We include some simplification of test infrastructure, although it is
not strictly necessary. An earlier approach required these changes.
    @doug-q
    doug-q committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    2680422 View commit details
    Browse the repository at this point in the history

  2. add ConstExternSymbol

    @doug-q
    doug-q committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    096ec1e View commit details
    Browse the repository at this point in the history

  3. rebase on main

    @doug-q
    doug-q committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    e8170e6 View commit details
    Browse the repository at this point in the history

  4. lints

    @doug-q
    doug-q committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    68b1744 View commit details
    Browse the repository at this point in the history