Commits

Commit history

1. Commits on May 2, 2025

   • 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

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

   • Java: Fixup queries and accept test changes.

     MathiasVP

     committed
     07641e4View commit details

     Copy full SHA for 07641e4

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

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

     michaelnebel

     committed
     2535055View commit details

     Copy full SHA for 2535055

     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
4. 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
5. Commits on Aug 26, 2024

   • C#/Java: Address review comments.

     michaelnebel

     committed
     34d83a6View commit details

     Copy full SHA for 34d83a6

     View code at this pointBrowse repository at this point
6. Commits on Aug 20, 2024

   • Java: Add some summary debugging queries.

     michaelnebel

     committed
     fd311d5View commit details

     Copy full SHA for fd311d5

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