9 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	bc8b1f251e	Rust: rename asFunction to getFunction	2025-06-20 15:27:56 +02:00
Paolo Tranquilli	b5a7f87bbc	Rust: fix debug/CaptureSummaryModelsPartialPath.ql	2025-06-19 16:17:18 +02:00
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	775197372c	Rust: Fixup queries.	2025-04-30 20:34:33 +01:00
Michael Nebel	a6b5645b13	Rust: Re-factor implementation to use the new model generator interface.	2025-04-29 15:22:11 +02:00
Michael Nebel	89fd9a4dd5	C#/Java/Rust: Change the tag for the model generator debugging queries.	2025-04-29 12:02:37 +02:00
Michael Nebel	2a0097ea56	C#/Java/Rust: Use Mixed flow from capture summary models queries and adjust other queries to the re-factored implementation.	2025-04-25 15:49:47 +02:00
Simon Friis Vindum	f76647fc00	Rust: Initial model generation setup	2025-01-30 11:45:21 +01:00