16 Commits

Author	SHA1	Message	Date
Tom Hvitved	1d7d45e16b	Rust: Update expected test output	2025-07-10 19:40:39 +02:00
Paolo Tranquilli	0e9d4aacd9	Rust: accept test changes	2025-06-19 16:13:26 +02:00
Geoffrey White	257d94905d	Merge branch 'main' into pin	2025-05-27 11:46:07 +01:00
Tom Hvitved	456a4b2be8	Rust: Make dataflow/modeled pass by not using #[derive(Clone)]	2025-05-22 09:53:09 +02:00
Geoffrey White	94b57ac9a9	Update rust/ql/test/library-tests/dataflow/modeled/main.rs ... Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>	2025-05-19 21:49:02 +01:00
Geoffrey White	ebd75a118b	Rust: Add models for std::Pin.	2025-05-19 18:38:50 +01:00
Geoffrey White	533aa7fc26	Rust: Add tests for std::Pin.	2025-05-19 18:38:20 +01:00
Tom Hvitved	a02bf182c5	Rust: Type inference and path resolution for builtins	2025-05-13 21:29:32 +02:00
Tom Hvitved	73fa381dbc	Rust: Remove visibility check in path resolution	2025-05-01 17:14:49 +02:00
Tom Hvitved	423e2dac91	Rust: Strenghten the modeling of the Clone trait	2025-05-01 10:54:52 +02:00
Simon Friis Vindum	c4773c42c4	Rust: Model pointer read and write functions	2025-02-28 11:44:11 +01:00
Simon Friis Vindum	5b657035d2	Rust: Add test for models of pointer read and write	2025-02-28 11:19:41 +01:00
Simon Friis Vindum	655449be81	Rust: Add auto generated flow summaries for Option	2025-02-12 08:38:47 +01:00
Simon Friis Vindum	608c1523d2	Rust: Add a few tests for modeled flow for Option	2025-02-11 16:02:04 +01:00
Simon Friis Vindum	86d7feabc6	Rust: Add value flow model for clone methods	2025-02-05 09:18:58 +01:00
Simon Friis Vindum	04d3f989ec	Rust: Add tests for flow through clone	2025-02-04 17:09:26 +01:00