8 Commits

Author	SHA1	Message	Date
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	07641e48ab	Java: Fixup queries and accept test changes.	2025-04-30 20:34:32 +01:00
Michael Nebel	2535055de0	Java: Re-factor implementation to use the new model generator interface.	2025-04-29 15:22:07 +02:00
Michael Nebel	0a1d2d0bbb	Java: Update all test util paths to point to the new location.	2024-12-12 13:21:25 +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	5ddcb16cd6	Java: Add content based model generation test.	2024-09-03 12:58:01 +02:00