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

EVEN MORE RUST #300

Closed
wants to merge 20 commits into from
Closed

EVEN MORE RUST #300

wants to merge 20 commits into from

Commits on Jul 5, 2024

  1. Some printing and slightly more reduction of list 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    0c5c615 View commit details
    Browse the repository at this point in the history

  2. tmi-ing some verbose stuff 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    17d80e4 View commit details
    Browse the repository at this point in the history

  3. I won't even talk about this nightmare 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    fd55c93 View commit details
    Browse the repository at this point in the history

  4. aaaaa 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 5, 2024
    Configuration menu
    Copy the full SHA
    bf6118b View commit details
    Browse the repository at this point in the history

Commits on Jul 6, 2024

  1. expose Delayed.reduce_formula 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    890d0c2 View commit details
    Browse the repository at this point in the history

  2. mli expose reduce_f 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    3ed9d58 View commit details
    Browse the repository at this point in the history

  3. fix z3 smt dump, less information but at least no segfault 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    84b6e54 View commit details
    Browse the repository at this point in the history

  4. z3 upgrade 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    5339c36 View commit details
    Browse the repository at this point in the history

  5. model validate? 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    aca6bdf View commit details
    Browse the repository at this point in the history

  6. things within lists cannot be sets 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    b760a23 View commit details
    Browse the repository at this point in the history

  7. no model-validate because it doesn't do anything 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    29de4a0 View commit details
    Browse the repository at this point in the history

  8. Add implication to GIL expressions 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    8bc9aa4 View commit details
    Browse the repository at this point in the history

  9. lift BImpl 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    8dc3e78 View commit details
    Browse the repository at this point in the history

  10. more reductions 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    82bda2e View commit details
    Browse the repository at this point in the history

  11. MORE REDUCTIONS 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    ce8a08d View commit details
    Browse the repository at this point in the history

  12. MORE. REDUCTIONS. 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    7a4f648 View commit details
    Browse the repository at this point in the history

  13. Let's see if this breaks anything 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    8ff372d View commit details
    Browse the repository at this point in the history

  14. urgh 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    ab6c607 View commit details
    Browse the repository at this point in the history

  15. M.O.R.E. REDUCTIONS 

    Signed-off-by: Sacha Ayoun <[email protected]>
    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    ef95775 View commit details
    Browse the repository at this point in the history

  16. Merge branch 'master' into more-rust

    @giltho
    giltho committed Jul 6, 2024
    Configuration menu
    Copy the full SHA
    1dedc25 View commit details
    Browse the repository at this point in the history