Mathias Vorreiter Pedersen
|
bce5f2539f
|
C++/C#/Java/Rust: Fixup tests.
|
2025-05-02 16:52:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
d5bc95daeb
|
Merge branch 'main' into generate-more-value-preserving-summaries-2
|
2025-05-02 10:51:11 +01:00 |
|
Mathias Vorreiter Pedersen
|
cd47379700
|
C#: Fixup queries and accept test changes.
|
2025-04-30 20:34:30 +01:00 |
|
Michael Nebel
|
0016fbfa21
|
C#: Re-factor implementation to use the new model generator interface.
|
2025-04-29 15:22:05 +02:00 |
|
Michael Nebel
|
82f8a796e1
|
C#: Update all test util paths to point to the new location.
|
2024-12-12 13:21:31 +01:00 |
|
Michael Nebel
|
8310faa2e9
|
C#/Java: Add a query that uses both content based and non-content based model generation.
|
2024-09-27 09:22:11 +02:00 |
|
Michael Nebel
|
22c2522aac
|
Shared: Make a ContentSensitive module with predicates and classes related to content flow.
|
2024-09-24 15:16:16 +02:00 |
|
Michael Nebel
|
4123876343
|
C#: Add content based summary generation test.
|
2024-09-03 12:58:06 +02:00 |
|