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
    Copy the full SHA
    8d9281e View commit details

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

    @ginsbach @kaspersv
    ginsbach authored and kaspersv committed May 27, 2025
    Copy the full SHA
    9712e25 View commit details

  3. set compileForOverlayEval true for java

    @ginsbach @kaspersv
    ginsbach authored and kaspersv committed May 27, 2025
    Copy the full SHA
    6454521 View commit details

  4. Define entity discard predicates for Java

    @kaspersv
    kaspersv committed May 27, 2025
    Copy the full SHA
    f8373c1 View commit details

  5. Member: Allow methods with empty bodies for overlay

    @kaspersv
    kaspersv committed May 27, 2025
    Copy the full SHA
    9ada903 View commit details

  6. DataFlowImplCommon: Mark LambdaFlow as overlay global

    @kaspersv
    kaspersv committed May 27, 2025
    Copy the full SHA
    b98300b View commit details

  7. Virtual dispatch must be local

    @kaspersv
    kaspersv committed May 27, 2025
    Copy the full SHA
    e89079c View commit details

  8. Mark ActivateModels subclasses overlay[local?]

    @kaspersv
    kaspersv committed May 27, 2025
    Copy the full SHA
    5b48726 View commit details

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

    …[global]
    @kaspersv
    kaspersv committed May 27, 2025
    Copy the full SHA
    a80fbf0 View commit details

Commits on Jun 12, 2025

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

    @alexet
    alexet committed Jun 12, 2025
    Copy the full SHA
    ea8c734 View commit details

This comparison is taking too long to generate.

Unfortunately it looks like we can’t render this comparison for you right now. It might be too big, or there might be something weird with your repository.

You can try running this command locally to see the comparison on your machine:
git diff main...alexet/global-non-return