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

fix for ability to lift a CSE out of an assign form when it depends on bindings in the assign and fuzz infra for testing #80

Merged
merged 39 commits into from
May 1, 2024
Merged

fix for ability to lift a CSE out of an assign form when it depends on bindings in the assign and fuzz infra for testing #80

merged 39 commits into from
May 1, 2024

Commits on Apr 5, 2024

  1. Fix for CSE bug. One todo left (verify that we're enriching sequentia… 

    …l lets properly) and Needs many more tests.
    @prozacchiwawa
    prozacchiwawa committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    bee72ae View commit details
    Browse the repository at this point in the history

  2. Second new manual test case. Will add fuzz test cases.

    @prozacchiwawa
    prozacchiwawa committed Apr 5, 2024
    Configuration menu
    Copy the full SHA
    ba63879 View commit details
    Browse the repository at this point in the history

Commits on Apr 6, 2024

  1. Start adding fuzz system from stable constants

    @prozacchiwawa
    prozacchiwawa committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    0cf7e3c View commit details
    Browse the repository at this point in the history

  2. more WIP

    @prozacchiwawa
    prozacchiwawa committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    371d58d View commit details
    Browse the repository at this point in the history

  3. Add some fuzz support

    @prozacchiwawa
    prozacchiwawa committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    2e2f013 View commit details
    Browse the repository at this point in the history

  4. correct future stuff

    @prozacchiwawa
    prozacchiwawa committed Apr 6, 2024
    Configuration menu
    Copy the full SHA
    ebec637 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2024

  1. Add fuzz infra

    @prozacchiwawa
    prozacchiwawa committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    3409b8e View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. Add a fuzz test that generates a bunch of test cases which exercise a… 

    …ssign with variously shared subexpressions
    @prozacchiwawa
    prozacchiwawa committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    d99158e View commit details
    Browse the repository at this point in the history

  2. Finish test application

    @prozacchiwawa
    prozacchiwawa committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    c9d4567 View commit details
    Browse the repository at this point in the history

  3. Add a basic test with some tricky overlaps

    @prozacchiwawa
    prozacchiwawa committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    f678d2e View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2024

  1. Add another test

    @prozacchiwawa
    prozacchiwawa committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    3cd5d3e View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. Refactor fuzz test running

    @prozacchiwawa
    prozacchiwawa committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    4ecfc49 View commit details
    Browse the repository at this point in the history

  2. Move more into traits, take ValueSpecification into the more upstream… 

    … part of fuzzing
    @prozacchiwawa
    prozacchiwawa committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    3878e89 View commit details
    Browse the repository at this point in the history

  3. More tweaks

    @prozacchiwawa
    prozacchiwawa committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    62e579b View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. Getting there on the complicated expression system needed for proper … 

    …regression tests of this cse change
    @prozacchiwawa
    prozacchiwawa committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    3f40da3 View commit details
    Browse the repository at this point in the history

  2. Add a random expression generator that takes into account proper scop… 

    …e rules for a hierarchy of variables defined either as individual expressions or as assign forms.
    @prozacchiwawa
    prozacchiwawa committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    f2af03c View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2024

  1. Add expression generator

    @prozacchiwawa
    prozacchiwawa committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    46df5fa View commit details
    Browse the repository at this point in the history

  2. Add the ability to get free vars from a ValueSpecification

    @prozacchiwawa
    prozacchiwawa committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    325ad38 View commit details
    Browse the repository at this point in the history

  3. Filling in the final program production

    @prozacchiwawa
    prozacchiwawa committed Apr 15, 2024
    Configuration menu
    Copy the full SHA
    966cc89 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. We produce test programs for the regression test

    @prozacchiwawa
    prozacchiwawa committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    5b9146e View commit details
    Browse the repository at this point in the history

  2. Working regression test

    @prozacchiwawa
    prozacchiwawa committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    2c668e0 View commit details
    Browse the repository at this point in the history

  3. Fixes, verify by inspecting the pre-cse fix flag that we're testing w… 

    …hat's described
    @prozacchiwawa
    prozacchiwawa committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    01d17a8 View commit details
    Browse the repository at this point in the history

  4. Increase number of tested programs

    @prozacchiwawa
    prozacchiwawa committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    0e679db View commit details
    Browse the repository at this point in the history

  5. fmt

    @prozacchiwawa
    prozacchiwawa committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    d507b5d View commit details
    Browse the repository at this point in the history

  6. fmt + clippy

    @prozacchiwawa
    prozacchiwawa committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    6627fad View commit details
    Browse the repository at this point in the history

  7. Add fuzz feature to the tests we run in the CI

    @prozacchiwawa
    prozacchiwawa committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    0c7a29f View commit details
    Browse the repository at this point in the history

  8. One more clippy

    @prozacchiwawa
    prozacchiwawa committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    73ba1c1 View commit details
    Browse the repository at this point in the history

  9. Remove spam

    @prozacchiwawa
    prozacchiwawa committed Apr 16, 2024
    Configuration menu
    Copy the full SHA
    5f8b674 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2024

  1. Merge up

    @prozacchiwawa
    prozacchiwawa committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    178bbb3 View commit details
    Browse the repository at this point in the history

  2. Moves

    @prozacchiwawa
    prozacchiwawa committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    26888e8 View commit details
    Browse the repository at this point in the history

  3. Separate generic stuff

    @prozacchiwawa
    prozacchiwawa committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    8501688 View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. Merge up

    @prozacchiwawa
    prozacchiwawa committed Apr 23, 2024
    Configuration menu
    Copy the full SHA
    6a7d0fa View commit details
    Browse the repository at this point in the history

Commits on Apr 25, 2024

  1. Merge remote-tracking branch 'chia/base' into 20240406-assign-cse-fuzz

    @prozacchiwawa
    prozacchiwawa committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    0dc71f3 View commit details
    Browse the repository at this point in the history

  2. Add a proper flag and a flag setting to compileropts so we can suppor… 

    …t passing down flags to compiler infra for various purposes (regression tests, diagnostics, etc).
    @prozacchiwawa
    prozacchiwawa committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    9b5ccaa View commit details
    Browse the repository at this point in the history

  3. Ensure flags are exposed, minor fixes

    @prozacchiwawa
    prozacchiwawa committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    89d032a View commit details
    Browse the repository at this point in the history

  4. fmt

    @prozacchiwawa
    prozacchiwawa committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    2adcdb4 View commit details
    Browse the repository at this point in the history

  5. Use debug_assert (thanks amine) due to assert being live in release b… 

    …uilds
    @prozacchiwawa
    prozacchiwawa committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    d390755 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. Get rid of vestigal empty {} (thanks amine)

    @prozacchiwawa
    prozacchiwawa committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    dd40d9b View commit details
    Browse the repository at this point in the history

  2. Nit: this can be pulled into the string since it's a simple identifier

    @prozacchiwawa
    prozacchiwawa committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    a729573 View commit details
    Browse the repository at this point in the history