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: kaspersv/overlay-inline-warning-test-base
Choose a head ref
  • 11 commits
  • 445 files changed
  • 2 contributors

Commits on May 28, 2025

  1. QL AST: Add overlay annotations

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

  2. Warn about possible non-inlining across overlay frontier

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

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

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

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

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

  5. set compileForOverlayEval true for java

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

  6. Define entity discard predicates for Java

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

  7. Member: Allow methods with empty bodies for overlay

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

  8. DataFlowImplCommon: Mark LambdaFlow as overlay global

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

  9. Virtual dispatch must be local

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

  10. Mark ActivateModels subclasses overlay[local?]

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

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

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