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: Config & simplified tasks #674

Merged
merged 17 commits into from
Jan 22, 2024
Merged

Refactor: Config & simplified tasks #674

merged 17 commits into from
Jan 22, 2024

Commits on Jan 15, 2024

  1. Remove unused things

    @Dzejkop
    Dzejkop committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    ca1c3f8 View commit details
    Browse the repository at this point in the history

  2. Rename

    @Dzejkop
    Dzejkop committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    aae28b3 View commit details
    Browse the repository at this point in the history

  3. Merge code paths

    @Dzejkop
    Dzejkop committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    0098b93 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2024

  1. Untangle prover map

    @Dzejkop
    Dzejkop committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    a34ff41 View commit details
    Browse the repository at this point in the history

  2. Clippy

    @Dzejkop
    Dzejkop committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    c2f608a View commit details
    Browse the repository at this point in the history

  3. Move server/mod.rs to server.rs

    @Dzejkop
    Dzejkop committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    12fd3f7 View commit details
    Browse the repository at this point in the history

  4. Prover untangle contd.

    @Dzejkop
    Dzejkop committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    72a68de View commit details
    Browse the repository at this point in the history

  5. Prepare new config struct

    @Dzejkop
    Dzejkop committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    901ae3e View commit details
    Browse the repository at this point in the history

  6. Better asserts

    @Dzejkop
    Dzejkop committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    8238724 View commit details
    Browse the repository at this point in the history

  7. Test config builder

    @Dzejkop
    Dzejkop committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    da4e93e View commit details
    Browse the repository at this point in the history

Commits on Jan 17, 2024

  1. Use config instead of options

    @Dzejkop
    Dzejkop committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    0f709d9 View commit details
    Browse the repository at this point in the history

  2. Clippy & Fmt

    @Dzejkop
    Dzejkop committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    1095e5e View commit details
    Browse the repository at this point in the history

  3. Remove commented out stuff

    @Dzejkop
    Dzejkop committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    b24ba31 View commit details
    Browse the repository at this point in the history

  4. Regenerate audit files

    @Dzejkop
    Dzejkop committed Jan 17, 2024
    Configuration menu
    Copy the full SHA
    1da6f52 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2024

  1. Move things to utils

    @Dzejkop
    Dzejkop committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    62503cd View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. Rename server::main to server::run

    @Dzejkop
    Dzejkop committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    8112356 View commit details
    Browse the repository at this point in the history

  2. Bump version as we're breaking backwards compat

    @Dzejkop
    Dzejkop committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    040d45a View commit details
    Browse the repository at this point in the history