Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: github/codeql
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: main
Choose a base ref
...
head repository: github/codeql
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: alexet/global-non-return
Choose a head ref
  • 10 commits
  • 443 files changed
  • 3 contributors

Commits on May 27, 2025

  1. annotate .qll files in java and shared via script

    @ginsbach @kaspersv
    ginsbach authored and kaspersv committed May 27, 2025
    Configuration menu
    Copy the full SHA
    8d9281e View commit details
    Browse the repository at this point in the history

  2. update python and csharp via config/sync-files.py

    @ginsbach @kaspersv
    ginsbach authored and kaspersv committed May 27, 2025
    Configuration menu
    Copy the full SHA
    9712e25 View commit details
    Browse the repository at this point in the history

  3. set compileForOverlayEval true for java

    @ginsbach @kaspersv
    ginsbach authored and kaspersv committed May 27, 2025
    Configuration menu
    Copy the full SHA
    6454521 View commit details
    Browse the repository at this point in the history

  4. Define entity discard predicates for Java

    @kaspersv
    kaspersv committed May 27, 2025
    Configuration menu
    Copy the full SHA
    f8373c1 View commit details
    Browse the repository at this point in the history

  5. Member: Allow methods with empty bodies for overlay

    @kaspersv
    kaspersv committed May 27, 2025
    Configuration menu
    Copy the full SHA
    9ada903 View commit details
    Browse the repository at this point in the history

  6. DataFlowImplCommon: Mark LambdaFlow as overlay global

    @kaspersv
    kaspersv committed May 27, 2025
    Configuration menu
    Copy the full SHA
    b98300b View commit details
    Browse the repository at this point in the history

  7. Virtual dispatch must be local

    @kaspersv
    kaspersv committed May 27, 2025
    Configuration menu
    Copy the full SHA
    e89079c View commit details
    Browse the repository at this point in the history

  8. Mark ActivateModels subclasses overlay[local?]

    @kaspersv
    kaspersv committed May 27, 2025
    Configuration menu
    Copy the full SHA
    5b48726 View commit details
    Browse the repository at this point in the history

  9. Overlay annotation script shouldn't manage overlay[local] and overlay… 

    …[global]
    @kaspersv
    kaspersv committed May 27, 2025
    Configuration menu
    Copy the full SHA
    a80fbf0 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2025

  1. Java: Make non-returning methods use local to global.

    @alexet
    alexet committed Jun 12, 2025
    Configuration menu
    Copy the full SHA
    ea8c734 View commit details
    Browse the repository at this point in the history
Loading