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: Extract constant folding into separate file #4921

Merged
merged 28 commits into from
Jan 2, 2024
Merged

refactor: Extract constant folding into separate file #4921

merged 28 commits into from
Jan 2, 2024

Commits on Dec 29, 2023

  1. Fix typo in comment

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    9c15c4e View commit details
    Browse the repository at this point in the history

  2. chore: Improve C# style

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    ce9d85e View commit details
    Browse the repository at this point in the history

  3. refactor: Move MaxBV methods into new ConstantFolder class

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    89bd1f3 View commit details
    Browse the repository at this point in the history

  4. refactor: Move AsUnconstrainedType into class ConstantFolder

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    ad31523 View commit details
    Browse the repository at this point in the history

  5. refactor: Move GetConst into ConstantFolder

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    b5df230 View commit details
    Browse the repository at this point in the history

  6. chore: Adjust indentation

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    74f3324 View commit details
    Browse the repository at this point in the history

  7. refactor: Simple renamings, use of “var”, spacing

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    e80a3c3 View commit details
    Browse the repository at this point in the history

  8. refactor: Extract methods for binary expressions

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    4dbaaa1 View commit details
    Browse the repository at this point in the history

  9. Rename GetConst TryFoldInteger

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    a8dfd9f View commit details
    Browse the repository at this point in the history

  10. Add/adjust comments

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    2978c5a View commit details
    Browse the repository at this point in the history

  11. Improve ConcreteSyntaxExpression case

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    ab30f81 View commit details
    Browse the repository at this point in the history

  12. chore: Improve code

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    ddda6eb View commit details
    Browse the repository at this point in the history

  13. Add IsUnconstrainedType

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    8676320 View commit details
    Browse the repository at this point in the history

  14. Extract ConversionExpr case into method

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    8f7371c View commit details
    Browse the repository at this point in the history

  15. Check IsUnconstrainedType earlier

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    0ecdd73 View commit details
    Browse the repository at this point in the history

  16. fix: Fix null dereference

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    101eb88 View commit details
    Browse the repository at this point in the history

  17. chore: Make style consistent

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    58ad43f View commit details
    Browse the repository at this point in the history

  18. Put some tests in a module

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    7e51907 View commit details
    Browse the repository at this point in the history

  19. Add a few more tests

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    f285b4c View commit details
    Browse the repository at this point in the history

  20. Add release notes

    @RustanLeino
    RustanLeino committed Dec 29, 2023
    Configuration menu
    Copy the full SHA
    ae57063 View commit details
    Browse the repository at this point in the history

Commits on Dec 30, 2023

  1. chore: Fix whitespace

    @RustanLeino
    RustanLeino committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    b29a6a7 View commit details
    Browse the repository at this point in the history

  2. Use uint8 for empty-range newtype

    @RustanLeino
    RustanLeino committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    f939c92 View commit details
    Browse the repository at this point in the history

  3. Lower-case “detected range” in tool tips

    @RustanLeino
    RustanLeino committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    c404c0d View commit details
    Browse the repository at this point in the history

  4. Add space in error message

    @RustanLeino
    RustanLeino committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    1bf0712 View commit details
    Browse the repository at this point in the history

  5. Adjust expect test output

    @RustanLeino
    RustanLeino committed Dec 30, 2023
    Configuration menu
    Copy the full SHA
    2f7ab94 View commit details
    Browse the repository at this point in the history

Commits on Dec 31, 2023

  1. Adjust doc test expect file

    @RustanLeino
    RustanLeino committed Dec 31, 2023
    Configuration menu
    Copy the full SHA
    80115e4 View commit details
    Browse the repository at this point in the history

  2. Handle equality constraints

    @RustanLeino
    RustanLeino committed Dec 31, 2023
    Configuration menu
    Copy the full SHA
    f71ebfe View commit details
    Browse the repository at this point in the history

  3. fix: intersect (not union) discovered bounds

    @RustanLeino
    RustanLeino committed Dec 31, 2023
    Configuration menu
    Copy the full SHA
    b8a19e0 View commit details
    Browse the repository at this point in the history