Commit history

1. Commits on Jul 16, 2026

   • C#: Lift models to unbound declarations.

     michaelnebel

     committed
     541cde9View commit details

     Copy full SHA for 541cde9

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

   • C#: Adapt to changes in `FlowSummaryImpl`

     hvitved

     committed
     b11b091View commit details

     Copy full SHA for b11b091

     View code at this pointBrowse repository at this point
3. Commits on Dec 3, 2025

   • C#/Java: Go back to access path limit 2

     hvitved

     committed
     3ba256aView commit details

     Copy full SHA for 3ba256a

     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 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
6. Commits on May 13, 2025

   • C#: Update model generator implementation and test expected output.

     

     michaelnebel

     authored and

     MathiasVP

     committed
     09dc3c8View commit details

     Copy full SHA for 09dc3c8

     View code at this pointBrowse repository at this point
7. 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/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.

     MathiasVP

     committed
     4d2f2b8View commit details

     Copy full SHA for 4d2f2b8

     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
8. Commits on Apr 30, 2025

   • C#: Fixup queries and accept test changes.

     MathiasVP

     committed
     cd47379View commit details

     Copy full SHA for cd47379

     View code at this pointBrowse repository at this point
9. 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
     0016fbfView commit details

     Copy full SHA for 0016fbf

     View code at this pointBrowse repository at this point

   • Shared: Split model printing of summaries and sources/sinks into separate param modules.

     michaelnebel

     committed
     b5c596bView commit details

     Copy full SHA for b5c596b

     View code at this pointBrowse repository at this point

   • C#/Java/Rust: Change the tag for the model generator debugging queries.

     michaelnebel

     committed
     89fd9a4View commit details

     Copy full SHA for 89fd9a4

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

    • C#/Java/Rust: Use Mixed flow from capture summary models queries and adjust other queries to the re-factored implementation.

      michaelnebel

      committed
      2a0097eView commit details

      Copy full SHA for 2a0097e

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

    • C#: Fixup MaD input.

      MathiasVP

      committed
      04bf908View commit details

      Copy full SHA for 04bf908

      View code at this pointBrowse repository at this point
12. Commits on Mar 26, 2025

    • C#: Correct printing of out and ref notes in the model generator.

      michaelnebel

      committed
      8763d18View commit details

      Copy full SHA for 8763d18

      View code at this pointBrowse repository at this point
13. Commits on Jan 29, 2025

    • Java, C#: Ensure variable is used in all disjuncts

      paldepind

      committed
      7055095View commit details

      Copy full SHA for 7055095

      View code at this pointBrowse repository at this point
14. Commits on Jan 28, 2025

    • Shared: Generalize the number of columns in a generated MaD row

      paldepind

      committed
      13e0829View commit details

      Copy full SHA for 13e0829

      View code at this pointBrowse repository at this point
15. Commits on Nov 6, 2024

    • C#/Java: Exclude summaries using callbacks in fields, properties and synthetic fields.

      michaelnebel

      committed
      55cfbccView commit details

      Copy full SHA for 55cfbcc

      View code at this pointBrowse repository at this point

    • C#: Simplify delegate read and store steps (remove dependency on parameter).

      michaelnebel

      committed
      5c38935View commit details

      Copy full SHA for 5c38935

      View code at this pointBrowse repository at this point

    • C#: Add read and store steps for delegate calls.

      michaelnebel

      committed
      fe85481View commit details

      Copy full SHA for fe85481

      View code at this pointBrowse repository at this point
16. Commits on Sep 27, 2024

    • Shared: Only make unlifted models in case the API itself is relevant.

      michaelnebel

      committed
      80497f5View commit details

      Copy full SHA for 80497f5

      View code at this pointBrowse repository at this point

    • C#/Java: Add a query that uses both content based and non-content based model generation.

      michaelnebel

      committed
      8310faaView commit details

      Copy full SHA for 8310faa

      View code at this pointBrowse repository at this point
17. Commits on Sep 24, 2024

    • Shared: Put the content of CaptureSummaryFlowQuery into the shared library code.

      michaelnebel

      committed
      e608575View commit details

      Copy full SHA for e608575

      View code at this pointBrowse repository at this point

    • Shared: Move the model generator implementation to an internal folder.

      michaelnebel

      committed
      fd45d2dView commit details

      Copy full SHA for fd45d2d

      View code at this pointBrowse repository at this point

    • Shared: Make a ContentSensitive module with predicates and classes related to content flow.

      michaelnebel

      committed
      22c2522View commit details

      Copy full SHA for 22c2522

      View code at this pointBrowse repository at this point
18. Commits on Sep 19, 2024

    • C#: Use the shared model generator implementation.

      michaelnebel

      committed
      1f3b28aView commit details

      Copy full SHA for 1f3b28a

      View code at this pointBrowse repository at this point
19. Commits on Sep 17, 2024

    • C#/Java: Address review comments.

      michaelnebel

      committed
      68165bbView commit details

      Copy full SHA for 68165bb

      View code at this pointBrowse repository at this point
20. Commits on Sep 10, 2024

    • C#: Add the capture content summary models query.

      michaelnebel

      committed
      da012a7View commit details

      Copy full SHA for da012a7

      View code at this pointBrowse repository at this point

    • C#: Sync changes and make language specific parts.

      michaelnebel

      committed
      e948902View commit details

      Copy full SHA for e948902

      View code at this pointBrowse repository at this point
21. Commits on Sep 5, 2024

    • Java/C#: Address review comments.

      michaelnebel

      committed
      e1048cfView commit details

      Copy full SHA for e1048cf

      View code at this pointBrowse repository at this point
22. Commits on Sep 3, 2024

    • C#: Sync changes and make C# implementation.

      michaelnebel

      committed
      486246cView commit details

      Copy full SHA for 486246c

      View code at this pointBrowse repository at this point
23. Commits on Aug 26, 2024

    • Merge pull request #17246 from michaelnebel/modelgendebug

      Show description for e81fdc9
      michaelnebel

      authored
      e81fdc9View commit details

      Copy full SHA for e81fdc9

      View code at this pointBrowse repository at this point