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: hmakholm/temp
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 9 commits
  • 439 files changed
  • 3 contributors

Commits on Apr 23, 2025

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

    @ginsbach @kaspersv
    ginsbach authored and kaspersv committed Apr 23, 2025
    Configuration menu
    Copy the full SHA
    8c2bacc 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 Apr 23, 2025
    Configuration menu
    Copy the full SHA
    55ce8c6 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 Apr 23, 2025
    Configuration menu
    Copy the full SHA
    43c80ce View commit details
    Browse the repository at this point in the history

  4. Define entity discard predicates for Java

    @kaspersv
    kaspersv committed Apr 23, 2025
    Configuration menu
    Copy the full SHA
    fa5d411 View commit details
    Browse the repository at this point in the history

  5. Member: Allow methods with empty bodies for overlay

    @kaspersv
    kaspersv committed Apr 23, 2025
    Configuration menu
    Copy the full SHA
    873007a View commit details
    Browse the repository at this point in the history

  6. DataFlowImplCommon: Mark LambdaFlow as overlay global

    @kaspersv
    kaspersv committed Apr 23, 2025
    Configuration menu
    Copy the full SHA
    ee1b4fb View commit details
    Browse the repository at this point in the history

  7. Virtual dispatch must be local

    @kaspersv
    kaspersv committed Apr 23, 2025
    Configuration menu
    Copy the full SHA
    494df14 View commit details
    Browse the repository at this point in the history

  8. Mark ActivateModels subclasses overlay[local?]

    @kaspersv
    kaspersv committed Apr 23, 2025
    Configuration menu
    Copy the full SHA
    8f47bf9 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2025

  1. Merge branch 'kaspersv/overlay-dil-splitting' into HEAD

    @hmakholm
    hmakholm committed Apr 29, 2025
    Configuration menu
    Copy the full SHA
    103739e View commit details
    Browse the repository at this point in the history
Loading