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

Implicit casting #1947

Merged
merged 18 commits into from
Jul 17, 2024
Merged

Implicit casting #1947

merged 18 commits into from
Jul 17, 2024

Commits on Jun 6, 2024

  1. Implicit casting

    @HeikoTheissen
    HeikoTheissen committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    48e5a80 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. Merge remote-tracking branch 'origin/main' into 405/casting

    @HeikoTheissen
    HeikoTheissen committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    e44b387 View commit details
    Browse the repository at this point in the history

  2. When cast is optional

    @HeikoTheissen
    HeikoTheissen committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    eb31626 View commit details
    Browse the repository at this point in the history

  3. Logical operators with differently typed operands

    @HeikoTheissen
    HeikoTheissen committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    e4469a1 View commit details
    Browse the repository at this point in the history

  4. Remove redundancy

    @HeikoTheissen
    HeikoTheissen committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    be1b82b View commit details
    Browse the repository at this point in the history

  5. Remove redundancy

    @HeikoTheissen
    HeikoTheissen committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    1c81b38 View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2024

  1. Merge remote-tracking branch 'origin/main' into 405/casting

    @HeikoTheissen
    HeikoTheissen committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    fa2a395 View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. Crash avoidance (#1951)

    @HeikoTheissen
    HeikoTheissen authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    af1f41c View commit details
    Browse the repository at this point in the history

  2. @ralfhandl's comments

    @HeikoTheissen
    HeikoTheissen committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    49fbe95 View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. Merge remote-tracking branch 'origin/main' into 405/casting

    @HeikoTheissen
    HeikoTheissen committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    f072d24 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. TC 2024-06-26: No implicit cast, static rejection recommended

    @HeikoTheissen
    HeikoTheissen committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    1291683 View commit details
    Browse the repository at this point in the history

  2. Motivating example

    @HeikoTheissen
    HeikoTheissen committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    36e248b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into 405/casting

    @HeikoTheissen
    HeikoTheissen authored Jun 27, 2024
    Configuration menu
    Copy the full SHA
    63f6cea View commit details
    Browse the repository at this point in the history

  4. inferral independent of data

    @HeikoTheissen
    HeikoTheissen committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    a03d856 View commit details
    Browse the repository at this point in the history

  5. Added forward reference

    @HeikoTheissen
    HeikoTheissen committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    959e769 View commit details
    Browse the repository at this point in the history

  6. https://github.com/oasis-tcs/odata-specs/pull/1947#discussion_r165703… 

    …3855
    @HeikoTheissen
    HeikoTheissen committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    f90fc82 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2024

  1. SHOULD -> MUST

    @HeikoTheissen
    HeikoTheissen committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    9241131 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/main' into 405/casting

    @HeikoTheissen
    HeikoTheissen committed Jul 11, 2024
    Configuration menu
    Copy the full SHA
    14ca613 View commit details
    Browse the repository at this point in the history