Commits

Commit history

1. Commits on May 13, 2025

   • Java: Update model generator implementation and test expected output.

     

     Michael Nebel (michaelnebel)

     authored and

     Mathias Vorreiter Pedersen (MathiasVP)

     committed
     ee83ca9View commit details

     Copy full SHA for ee83ca9

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

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

     Mathias Vorreiter Pedersen (MathiasVP)

     committed
     d5bc95dView commit details

     Copy full SHA for d5bc95d

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

   • Java: Fixup queries and accept test changes.

     Mathias Vorreiter Pedersen (MathiasVP)

     committed
     07641e4View commit details

     Copy full SHA for 07641e4

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

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

     Michael Nebel (michaelnebel)

     committed
     2535055View commit details

     Copy full SHA for 2535055

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

   • Java: Convert the model generator neutral test to use the combined neutral generator.

     Michael Nebel (michaelnebel)

     committed
     71d0409View commit details

     Copy full SHA for 71d0409

     View code at this pointBrowse repository at this point

   • Java: Change the heuristic summary test tag to heuristic-summary.

     Michael Nebel (michaelnebel)

     committed
     7e51daeView commit details

     Copy full SHA for 7e51dae

     View code at this pointBrowse repository at this point

   • Java: Adjust model generator test cases to the new implementation.

     Michael Nebel (michaelnebel)

     committed
     08f7caaView commit details

     Copy full SHA for 08f7caa

     View code at this pointBrowse repository at this point
6. Commits on Dec 12, 2024

   • Java: Update all test util paths to point to the new location.

     Michael Nebel (michaelnebel)

     committed
     0a1d2d0View commit details

     Copy full SHA for 0a1d2d0

     View code at this pointBrowse repository at this point
7. Commits on Oct 21, 2024

   • Java: Update model generator expected output.

     Michael Nebel (michaelnebel)

     committed
     23d285cView commit details

     Copy full SHA for 23d285c

     View code at this pointBrowse repository at this point

   • Java: Add modelgenerator clone example.

     Michael Nebel (michaelnebel)

     committed
     7919dcfView commit details

     Copy full SHA for 7919dcf

     View code at this pointBrowse repository at this point

   • Java: Update expected test output for the model editor tests.

     Michael Nebel (michaelnebel)

     committed
     24d1e99View commit details

     Copy full SHA for 24d1e99

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

   • C#/Java: Update model generator expected output.

     Michael Nebel (michaelnebel)

     committed
     0b39c5bView commit details

     Copy full SHA for 0b39c5b

     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.

     Michael Nebel (michaelnebel)

     committed
     8310faaView commit details

     Copy full SHA for 8310faa

     View code at this pointBrowse repository at this point
9. Commits on Sep 26, 2024

   • C#/Java: Updated expected test output.

     Michael Nebel (michaelnebel)

     committed
     9a923d6View commit details

     Copy full SHA for 9a923d6

     View code at this pointBrowse repository at this point

   • C#/Java: Update model generator expected test output.

     Michael Nebel (michaelnebel)

     committed
     0cd4ccbView commit details

     Copy full SHA for 0cd4ccb

     View code at this pointBrowse repository at this point

   • C#/Java: Add some examples of missing synthetic field element flow.

     Michael Nebel (michaelnebel)

     committed
     aae8660View commit details

     Copy full SHA for aae8660

     View code at this pointBrowse repository at this point

   • C#/Java: Add model generator test examples.

     Michael Nebel (michaelnebel)

     committed
     58513caView commit details

     Copy full SHA for 58513ca

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

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

      Michael Nebel (michaelnebel)

      committed
      e608575View commit details

      Copy full SHA for e608575

      View code at this pointBrowse repository at this point

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

      Michael Nebel (michaelnebel)

      committed
      22c2522View commit details

      Copy full SHA for 22c2522

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

    • Java: Add content based example with multiple paths.

      Michael Nebel (michaelnebel)

      committed
      0fbeca1View commit details

      Copy full SHA for 0fbeca1

      View code at this pointBrowse repository at this point

    • Java: Update some model generator test cases.

      Michael Nebel (michaelnebel)

      committed
      d7e61d0View commit details

      Copy full SHA for d7e61d0

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

    • Java: Add content based model generation test.

      Michael Nebel (michaelnebel)

      committed
      5ddcb16View commit details

      Copy full SHA for 5ddcb16

      View code at this pointBrowse repository at this point
13. Commits on Aug 14, 2024

    • C#/Java: Update model generation expected output.

      Michael Nebel (michaelnebel)

      committed
      eaf4f5eView commit details

      Copy full SHA for eaf4f5e

      View code at this pointBrowse repository at this point

    • Java: Add example of missing sink generation.

      Michael Nebel (michaelnebel)

      committed
      046018fView commit details

      Copy full SHA for 046018f

      View code at this pointBrowse repository at this point
14. Commits on Jul 19, 2024

    • Code quality improvements.

      Michael Nebel (michaelnebel)

      committed
      2796597View commit details

      Copy full SHA for 2796597

      View code at this pointBrowse repository at this point
15. Commits on Jul 18, 2024

    • C#/Java: Update model generator expected output.

      Michael Nebel (michaelnebel)

      committed
      0bf1ed1View commit details

      Copy full SHA for 0bf1ed1

      View code at this pointBrowse repository at this point

    • C#/Java: Add test for missing neutral summary generation.

      Michael Nebel (michaelnebel)

      committed
      c9832dfView commit details

      Copy full SHA for c9832df

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

    • Java: Update the model generator expected test output.

      Michael Nebel (michaelnebel)

      committed
      9cb7018View commit details

      Copy full SHA for 9cb7018

      View code at this pointBrowse repository at this point

    • Java: Add some source/sink examples where lifting is applied.

      Michael Nebel (michaelnebel)

      committed
      22e9ae2View commit details

      Copy full SHA for 22e9ae2

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

    • Java: Update model generator test expected output.

      Michael Nebel (michaelnebel)

      committed
      24685a0View commit details

      Copy full SHA for 24685a0

      View code at this pointBrowse repository at this point

    • Java: Add some spurious source and sink examples.

      Michael Nebel (michaelnebel)

      committed
      30249e4View commit details

      Copy full SHA for 30249e4

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

    • Java: Update expected output of model generation.

      Michael Nebel (michaelnebel)

      committed
      aa962f9View commit details

      Copy full SHA for aa962f9

      View code at this pointBrowse repository at this point

    • Java: Add some spurious source and sink model generation examples.

      Michael Nebel (michaelnebel)

      committed
      1185e28View commit details

      Copy full SHA for 1185e28

      View code at this pointBrowse repository at this point