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

Literal casting #2457

Merged
merged 14 commits into from
Nov 3, 2023
Merged

Literal casting #2457

merged 14 commits into from
Nov 3, 2023

Commits on Oct 26, 2023

  1. literal casts (wip)

    @lukaszcz
    lukaszcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    81fb047 View commit details
    Browse the repository at this point in the history

  2. literal casts (wip)

    @lukaszcz
    lukaszcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    96f4dfa View commit details
    Browse the repository at this point in the history

  3. fix builtins

    @lukaszcz
    lukaszcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    3e6e3ba View commit details
    Browse the repository at this point in the history

  4. fix casts

    @lukaszcz
    lukaszcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    5f0934e View commit details
    Browse the repository at this point in the history

  5. fix tests

    @lukaszcz
    lukaszcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    3773332 View commit details
    Browse the repository at this point in the history

  6. fix smoke tests

    @lukaszcz
    lukaszcz committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    0b4fe98 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. Merge branch 'main' into literal-casting

    @lukaszcz
    lukaszcz authored Oct 27, 2023
    Configuration menu
    Copy the full SHA
    81d7829 View commit details
    Browse the repository at this point in the history

  2. fix compilation

    @lukaszcz
    lukaszcz committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    be4b129 View commit details
    Browse the repository at this point in the history

  3. fix after merge

    @lukaszcz
    lukaszcz committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    197ec62 View commit details
    Browse the repository at this point in the history

  4. fix tests

    @lukaszcz
    lukaszcz committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    8f48430 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into literal-casting

    @lukaszcz
    lukaszcz authored Oct 27, 2023
    Configuration menu
    Copy the full SHA
    27c1320 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. bugfix

    @lukaszcz
    lukaszcz committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    8607025 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into literal-casting

    @lukaszcz
    lukaszcz authored Nov 2, 2023
    Configuration menu
    Copy the full SHA
    3108b73 View commit details
    Browse the repository at this point in the history

  3. comments

    @lukaszcz
    lukaszcz committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    5cf14dc View commit details
    Browse the repository at this point in the history