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: ginsbach/overlay-java-discarding
Choose a head ref
  • 9 commits
  • 443 files changed
  • 2 contributors

Commits on Jun 14, 2025

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

    @ginsbach
    ginsbach committed Jun 14, 2025
    Configuration menu
    Copy the full SHA
    1b81d87 View commit details
    Browse the repository at this point in the history

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

    @ginsbach
    ginsbach committed Jun 14, 2025
    Configuration menu
    Copy the full SHA
    e60fa1d View commit details
    Browse the repository at this point in the history

  3. set compileForOverlayEval true for java

    @ginsbach
    ginsbach committed Jun 14, 2025
    Configuration menu
    Copy the full SHA
    b943c41 View commit details
    Browse the repository at this point in the history

  4. Define entity discard predicates for Java

    @kaspersv @ginsbach
    kaspersv authored and ginsbach committed Jun 14, 2025
    Configuration menu
    Copy the full SHA
    50059af View commit details
    Browse the repository at this point in the history

  5. Member: Allow methods with empty bodies for overlay

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

  6. DataFlowImplCommon: Mark LambdaFlow as overlay global

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

  7. Virtual dispatch must be local

    @kaspersv @ginsbach
    kaspersv authored and ginsbach committed Jun 14, 2025
    Configuration menu
    Copy the full SHA
    4e61d1b View commit details
    Browse the repository at this point in the history

  8. Mark ActivateModels subclasses overlay[local?]

    @kaspersv @ginsbach
    kaspersv authored and ginsbach committed Jun 14, 2025
    Configuration menu
    Copy the full SHA
    d4ba673 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 @ginsbach
    kaspersv authored and ginsbach committed Jun 14, 2025
    Configuration menu
    Copy the full SHA
    137a9cd View commit details
    Browse the repository at this point in the history
Loading