Commits

Commit history

1. Commits on Feb 27, 2026

   • C++: Fix a few qualifiers.

     MathiasVP

     committed
     26e8701View commit details

     Copy full SHA for 26e8701

     View code at this pointBrowse repository at this point

   • C++: Fix some imports.

     MathiasVP

     committed
     cdb4158View commit details

     Copy full SHA for cdb4158

     View code at this pointBrowse repository at this point
2. Commits on Jan 26, 2026

   • C++: Adapt to changes in `FlowSummaryImpl`

     hvitved

     committed
     3b1e062View commit details

     Copy full SHA for 3b1e062

     View code at this pointBrowse repository at this point
3. Commits on Jan 15, 2026

   • C++: Modify test to reveal a bug.

     MathiasVP

     committed
     27a437aView commit details

     Copy full SHA for 27a437a

     View code at this pointBrowse repository at this point
4. Commits on Nov 26, 2025

   • Remove trailing periods from @name metadata in query files

     Show description for caf6b95
     felicitymay

     committed
     caf6b95View commit details

     Copy full SHA for caf6b95

     View code at this pointBrowse repository at this point
5. Commits on Nov 18, 2025

   • C++: Create a common base class for 'NonUnionContent' and 'UnionContent' called 'FieldContent'.

     MathiasVP

     committed
     7f0fcb0View commit details

     Copy full SHA for 7f0fcb0

     View code at this pointBrowse repository at this point

   • C++: Rename 'FieldContent' to 'NonUnionContent'.

     MathiasVP

     committed
     2af6db6View commit details

     Copy full SHA for 2af6db6

     View code at this pointBrowse repository at this point
6. Commits on May 16, 2025

   • C++: Don't generate models for stuff we have modeled in Ql by hand.

     MathiasVP

     committed
     d6beb2aView commit details

     Copy full SHA for d6beb2a

     View code at this pointBrowse repository at this point
7. Commits on May 15, 2025

   • C++: Exclude tests (by matching paths) in model generation.

     MathiasVP

     committed
     e80c3b5View commit details

     Copy full SHA for e80c3b5

     View code at this pointBrowse repository at this point
8. Commits on May 14, 2025

   • Merge pull request #19443 from MathiasVP/generate-more-value-preserving-summaries-2

     Show description for e903d76
     MathiasVP

     authored
     e903d76View commit details

     Copy full SHA for e903d76

     View code at this pointBrowse repository at this point
9. Commits on May 13, 2025

   • Cpp: Update model generator implementation.

     

     michaelnebel

     authored and

     MathiasVP

     committed
     fcecc5aView commit details

     Copy full SHA for fcecc5a

     View code at this pointBrowse repository at this point
10. Commits on May 2, 2025

    • C++/C#/Java/Rust: Fixup tests.

      MathiasVP

      committed
      bce5f25View commit details

      Copy full SHA for bce5f25

      View code at this pointBrowse repository at this point

    • Shared: Remove the language-specific model generator scripts

      paldepind

      committed
      c6d95ceView commit details

      Copy full SHA for c6d95ce

      View code at this pointBrowse repository at this point

    • Merge branch 'main' into generate-more-value-preserving-summaries-2

      MathiasVP

      committed
      d5bc95dView commit details

      Copy full SHA for d5bc95d

      View code at this pointBrowse repository at this point
11. Commits on Apr 30, 2025

    • C++: Fixup queries and accept test changes.

      MathiasVP

      committed
      d8eafbbView commit details

      Copy full SHA for d8eafbb

      View code at this pointBrowse repository at this point
12. Commits on Apr 29, 2025

    • Shared: Sprinkle some predicate defaults and clean up.

      michaelnebel

      committed
      c9d01bcView commit details

      Copy full SHA for c9d01bc

      View code at this pointBrowse repository at this point

    • C++: Re-factor implementation to use the new model generator interface.

      michaelnebel

      committed
      c16d913View commit details

      Copy full SHA for c16d913

      View code at this pointBrowse repository at this point
13. Commits on Apr 28, 2025

    • Merge branch 'main' into add-missing-predicate-to-mad-generation

      MathiasVP

      committed
      6466a5dView commit details

      Copy full SHA for 6466a5d

      View code at this pointBrowse repository at this point
14. Commits on Apr 25, 2025

    • C++: Adjust the model generator queries to the new shared implementation.

      michaelnebel

      committed
      d05f604View commit details

      Copy full SHA for d05f604

      View code at this pointBrowse repository at this point

    • C++: Add missing predicate to grab the parameter position of a return kind.

      MathiasVP

      committed
      2f26539View commit details

      Copy full SHA for 2f26539

      View code at this pointBrowse repository at this point
15. Commits on Apr 20, 2025

    • C++: Also make protected members irrelevant.

      MathiasVP

      committed
      f6f5f97View commit details

      Copy full SHA for f6f5f97

      View code at this pointBrowse repository at this point

    • C++: Move contents of 'isUninterestingForDataFlowModels' to 'relevant'

      MathiasVP

      committed
      e55f94cView commit details

      Copy full SHA for e55f94c

      View code at this pointBrowse repository at this point

    • Remove an unnecessary if.

      MathiasVP

      committed
      0ce6ab5View commit details

      Copy full SHA for 0ce6ab5

      View code at this pointBrowse repository at this point

    • C++: Make final member functions not extensible.

      MathiasVP

      committed
      5462dcdView commit details

      Copy full SHA for 5462dcd

      View code at this pointBrowse repository at this point

    • C++: Fix ql-for-ql findings.

      MathiasVP

      committed
      1f43e51View commit details

      Copy full SHA for 1f43e51

      View code at this pointBrowse repository at this point

    • C++: Add copy-pasted files from C#.

      MathiasVP

      committed
      1465058View commit details

      Copy full SHA for 1465058

      View code at this pointBrowse repository at this point

    • C++: Instantiate model generation library.

      MathiasVP

      committed
      3d48b23View commit details

      Copy full SHA for 3d48b23

      View code at this pointBrowse repository at this point
16. Loading