Commits

Commit history

1. Commits on May 16, 2025

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

     Mathias Vorreiter Pedersen (MathiasVP)

     committed
     d6beb2aView commit details

     Copy full SHA for d6beb2a

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

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

     Mathias Vorreiter Pedersen (MathiasVP)

     committed
     e80c3b5View commit details

     Copy full SHA for e80c3b5

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

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

     Show description for e903d76
     Mathias Vorreiter Pedersen (MathiasVP)

     authored
     e903d76View commit details

     Copy full SHA for e903d76

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

   • Cpp: Update model generator implementation.

     

     Michael Nebel (michaelnebel)

     authored and

     Mathias Vorreiter Pedersen (MathiasVP)

     committed
     fcecc5aView commit details

     Copy full SHA for fcecc5a

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

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

     Mathias Vorreiter Pedersen (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

     Simon Friis Vindum (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

     Mathias Vorreiter Pedersen (MathiasVP)

     committed
     d5bc95dView commit details

     Copy full SHA for d5bc95d

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

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

     Mathias Vorreiter Pedersen (MathiasVP)

     committed
     d8eafbbView commit details

     Copy full SHA for d8eafbb

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

   • Shared: Sprinkle some predicate defaults and clean up.

     Michael Nebel (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.

     Michael Nebel (michaelnebel)

     committed
     c16d913View commit details

     Copy full SHA for c16d913

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

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

     Mathias Vorreiter Pedersen (MathiasVP)

     committed
     6466a5dView commit details

     Copy full SHA for 6466a5d

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

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

     Michael Nebel (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.

     Mathias Vorreiter Pedersen (MathiasVP)

     committed
     2f26539View commit details

     Copy full SHA for 2f26539

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

    • C++: Also make protected members irrelevant.

      Mathias Vorreiter Pedersen (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'

      Mathias Vorreiter Pedersen (MathiasVP)

      committed
      e55f94cView commit details

      Copy full SHA for e55f94c

      View code at this pointBrowse repository at this point

    • Remove an unnecessary if.

      Mathias Vorreiter Pedersen (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.

      Mathias Vorreiter Pedersen (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.

      Mathias Vorreiter Pedersen (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#.

      Mathias Vorreiter Pedersen (MathiasVP)

      committed
      1465058View commit details

      Copy full SHA for 1465058

      View code at this pointBrowse repository at this point

    • C++: Instantiate model generation library.

      Mathias Vorreiter Pedersen (MathiasVP)

      committed
      3d48b23View commit details

      Copy full SHA for 3d48b23

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