C#: Overlay annotations.#20756

Draft

michaelnebel wants to merge 19 commits intogithub:mainfrom

michaelnebel:csharp/overlayannotation

Commits on Nov 4, 2025

C#: Enable overlay compilation in lib/qlpack.yml.
michaelnebel
committed
C#: Fix bad join due to overlay compilation.
michaelnebel
committed
C#: Add overlay builtins to the dbscheme.
michaelnebel
committed
C#: Add upgrade- and downgrade scripts.
michaelnebel
committed
C#: Turn on overlay support in codeql-extractor.yml.
michaelnebel
committed
C#: Add functionality to detect overlay mode and integrate in extraction context.
michaelnebel
committed
C#: Add unit test.
michaelnebel
committed
C#: Sprinkle uses of OnlyScaffold to extract less when in overlay mode.
michaelnebel
committed
C#: Write overlay metadata at end of extraction.
michaelnebel
committed
C#: Define discarding predicates for expressions, statements, locations and some named TRAP entities.
michaelnebel
committed
C#: Add QL overlay tests.
michaelnebel
committed
C#: Add a locatable type to the dbscheme.
michaelnebel
committed
C#: Simplify the discarding and also discard type mentions and comments.
michaelnebel
committed
C#: Add discarding for diagnostics and extractor messages.
michaelnebel
committed
C#: Add change-note.
michaelnebel
committed
C#: Only scaffold assemblies in overlay mode, only extract expressions when not scaffolding and only extract attributes when they are in source code in overlay mode.
michaelnebel
committed
C#: Add using directives and type mentions as star entities.
michaelnebel
committed
C#: Add default overlay annotations.
michaelnebel
committed
C#: Add overlay[global] annotation to getALocation to ensure that old locations are discarded.
michaelnebel
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

C#: Overlay annotations.#20756

C#: Overlay annotations.#20756
michaelnebel wants to merge 19 commits intogithub:mainfrom
michaelnebel:csharp/overlayannotation

Commits on Nov 4, 2025

C#: Enable overlay compilation in lib/qlpack.yml.

C#: Fix bad join due to overlay compilation.

C#: Add overlay builtins to the dbscheme.

C#: Add upgrade- and downgrade scripts.

C#: Turn on overlay support in codeql-extractor.yml.

C#: Add functionality to detect overlay mode and integrate in extraction context.

C#: Add unit test.

C#: Sprinkle uses of OnlyScaffold to extract less when in overlay mode.

C#: Write overlay metadata at end of extraction.

C#: Define discarding predicates for expressions, statements, locations and some named TRAP entities.

C#: Add QL overlay tests.

C#: Add a locatable type to the dbscheme.

C#: Simplify the discarding and also discard type mentions and comments.

C#: Add discarding for diagnostics and extractor messages.

C#: Add change-note.

C#: Only scaffold assemblies in overlay mode, only extract expressions when not scaffolding and only extract attributes when they are in source code in overlay mode.

C#: Add using directives and type mentions as star entities.

C#: Add default overlay annotations.

C#: Add overlay[global] annotation to getALocation to ensure that old locations are discarded.

C#: Overlay annotations.#20756michaelnebel wants to merge 19 commits intogithub:maingithub/codeql:mainfrom michaelnebel:csharp/overlayannotationmichaelnebel/codeql:csharp/overlayannotationCopy head branch name to clipboard

Commits

Commits on Nov 4, 2025

C#: Overlay annotations.#20756
michaelnebel wants to merge 19 commits intogithub:mainfrom
michaelnebel:csharp/overlayannotation