6 Commits

Author	SHA1	Message	Date
Mathias Vorreiter Pedersen	4d2f2b89e7	Shared/Java/C#/Rust/C++: Rename 'captureHeuristicFlow' to 'captureFlow'.	2025-05-02 14:02:41 +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	539a06dcb4	C#: Re-factor the heuristic summary test to use heuristic-summary tag in tests.	2025-04-25 15:49:53 +02:00
Michael Nebel	da99c75a13	C#: Rename some of the model generator tests.	2025-04-25 15:49:51 +02:00