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

refactor: feature gate all implementations with full #713

Closed
wants to merge 6 commits into from
Closed

refactor: feature gate all implementations with full #713

wants to merge 6 commits into from

Commits on Jun 13, 2024

  1. refactor: feature gate all implementations with feat. full 

    This PR adds a (default) feature `full` for the
`hax-frontend-exporter` crate. With this feature disabled, the crate
turns into a mostly type-only crate. The crate depends on rustc and
drive `sinto` only with `full` enabled.
    @W95Psp
    W95Psp committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    30f07f2 View commit details
    Browse the repository at this point in the history

  2. refactor: make hax-engine-names depends on hax-frontend-exporter,… 

    … w/o `full`

This get rids of the `#[path]` introduced
#703 by using the disabling the new
`full` feature of `hax-frontend-exporter`.
    @W95Psp
    W95Psp committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    521371c View commit details
    Browse the repository at this point in the history

  3. refactor: get rid of crate hax-frontend-exporter-options

    @W95Psp
    W95Psp committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    2493d27 View commit details
    Browse the repository at this point in the history

  4. fix(gh-actions): stop updating hax-frontend-exporter-option

    @W95Psp
    W95Psp committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    f0dfa77 View commit details
    Browse the repository at this point in the history

  5. chore: cargo fmt

    @W95Psp
    W95Psp committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    6b6b5b3 View commit details
    Browse the repository at this point in the history

  6. wip: does that fix the CI?

    @W95Psp
    W95Psp committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    a8a12d8 View commit details
    Browse the repository at this point in the history