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

Minimize rustc dependencies in the main crate #284

Merged
merged 10 commits into from
Jul 4, 2024
Merged

Minimize rustc dependencies in the main crate #284

merged 10 commits into from
Jul 4, 2024

Commits on Jul 4, 2024

  1. Move some core types out of translate

    @Nadrieril
    Nadrieril committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    8750fc3 View commit details
    Browse the repository at this point in the history

  2. Move some translation code to translate

    @Nadrieril
    Nadrieril committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    1947cf2 View commit details
    Browse the repository at this point in the history

  3. Clean up re-exports

    @Nadrieril
    Nadrieril committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    4ef6a70 View commit details
    Browse the repository at this point in the history

  4. Remove last dependency to translate

    @Nadrieril
    Nadrieril committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    11f8871 View commit details
    Browse the repository at this point in the history

  5. Move the translate module to charon-driver

    @Nadrieril
    Nadrieril committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    0fbbcc5 View commit details
    Browse the repository at this point in the history

  6. Remove hax dependency from the core library

    @Nadrieril
    Nadrieril committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    87624c3 View commit details
    Browse the repository at this point in the history

  7. Minimize rustc dependencies in the main crate

    @Nadrieril
    Nadrieril committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    ea635e7 View commit details
    Browse the repository at this point in the history

  8. Rename two modules

    @Nadrieril
    Nadrieril committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    0c8449c View commit details
    Browse the repository at this point in the history

  9. Replace more panics with errors

    @Nadrieril
    Nadrieril committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    13ba695 View commit details
    Browse the repository at this point in the history

  10. Disable recursion limit in serde_json 

    This is needed to parse the llbc file emitted by charon on itself ^^'
    @Nadrieril
    Nadrieril committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    221c021 View commit details
    Browse the repository at this point in the history