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/rtjo-changes2
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 5 commits
  • 6 files changed
  • 1 contributor

Commits on Mar 5, 2025

  1. Reduce number of negations in some cases.

    @alexet
    alexet committed Mar 5, 2025
    Copy the full SHA
    1793f09 View commit details

  2. CPP: Manually flip TC for RTJO.

    @alexet
    alexet committed Mar 5, 2025
    Copy the full SHA
    ceeeae6 View commit details

  3. CPP: Pull rank into predicate for RTJO.

    @alexet
    alexet committed Mar 5, 2025
    Copy the full SHA
    47f9103 View commit details

  4. Extarct to predicate for RTJO

    @alexet
    alexet committed Mar 5, 2025
    Copy the full SHA
    b099052 View commit details

  5. CPP: Add noinline so size estimates are better.

    @alexet
    alexet committed Mar 5, 2025
    Copy the full SHA
    ddf9cfc 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/rtjo-changes2