424 Commits

Author	SHA1	Message	Date
Geoffrey White	2192ed04be	Rust: Add clone MaD trait model.	2025-07-25 09:43:34 +01:00
Geoffrey White	4140579dd6	Rust: Remove QL model for clone.	2025-07-25 08:17:52 +01:00
Simon Friis Vindum	97e77944eb	Rust: Accept test changes	2025-07-15 10:21:53 +02:00
Geoffrey White	be7db8079a	Rust: Accept consistency check change (from CI).	2025-07-14 10:59:03 +01:00
Geoffrey White	05e1cd437d	Rust: Fix garbled merge.	2025-07-11 17:50:24 +01:00
Geoffrey White	e20ae48699	Merge branch 'main' into models3b	2025-07-11 17:37:52 +01:00
Tom Hvitved	4ab2977358	Rust: Type inference for pattern matching	2025-07-11 10:37:40 +02:00
Tom Hvitved	1d7d45e16b	Rust: Update expected test output	2025-07-10 19:40:39 +02:00
Tom Hvitved	1e9520c737	Merge pull request #19995 from hvitved/rust/disambiguate-assoc-function-calls ... Rust: Disambiguate associated function calls	2025-07-10 19:38:06 +02:00
Geoffrey White	6de5a618f3	Rust: Accept consistency changes as well.	2025-07-10 18:03:12 +01:00
Geoffrey White	75078346c0	Rust: Accept .expected changes (mostly renumberings).	2025-07-10 17:05:12 +01:00
Geoffrey White	7ba18fa5d0	Merge branch 'main' into models3b	2025-07-10 14:53:09 +01:00
Tom Hvitved	c7d20eb98a	Rust: Update expected test output	2025-07-10 13:52:19 +02:00
Geoffrey White	4dea5eef70	Rust: Fix futures_io models.	2025-07-10 10:41:09 +01:00
Geoffrey White	8177b0938d	Merge branch 'main' into models5	2025-07-10 09:41:48 +01:00
Geoffrey White	47a4ba33a4	Rust: Fix typo in models (also fixed in another open PR).	2025-07-09 16:00:35 +01:00
Geoffrey White	a034e29040	Rust: Simplify the test a little.	2025-07-09 15:52:54 +01:00
Geoffrey White	097ac69207	Rust: Current sources test regressions.	2025-07-09 15:52:19 +01:00
Geoffrey White	3dabd51cf7	Rust: Fix a summaryModelDeprecated that was causing problems.	2025-07-08 11:24:57 +01:00
Tom Hvitved	7701a31f4a	Rust: Improve type inference for for loops and range expressions	2025-07-08 11:20:42 +02:00
Geoffrey White	f57d691424	Rust: Fix typo in model.	2025-07-08 09:51:20 +01:00
Geoffrey White	a1e9a4eddf	Rust: Accept test .expected changes.	2025-07-08 08:44:24 +01:00
Geoffrey White	831509539b	Merge pull request #19934 from geoffw0/models0 ... Rust: Update legacy MaD models 1	2025-07-03 14:24:21 +01:00
Tom Hvitved	072339137a	Rust: Update expected test output	2025-07-01 10:34:16 +02:00
Tom Hvitved	e88d7baa7d	Rust: Apply inherent method prioritization inside type inference loop	2025-07-01 10:17:26 +02:00
Geoffrey White	59b74871c2	Rust: Accept regressions.	2025-06-30 21:13:44 +01:00
Geoffrey White	91072477b7	Rust: Trivial test changes.	2025-06-30 20:15:18 +01:00
Tom Hvitved	8c240399c1	Rust: Apply MaD trait models to implementations	2025-06-25 21:32:24 +02:00
Tom Hvitved	3e54c61f52	Rust: Add MaD trait tests	2025-06-25 21:32:22 +02:00
Tom Hvitved	5e265b10c7	Rust: Trait call dispatch in dataflow	2025-06-25 21:32:21 +02:00
Tom Hvitved	a4ed5da50b	Rust: Add data flow tests involving traits	2025-06-25 21:32:19 +02:00
Tom Hvitved	1f09f713b9	Rust: Avoid overlapping path resolution consistency checks	2025-06-23 11:26:30 +02:00
Paolo Tranquilli	23c449f21f	Merge pull request #19824 from github/redsun82/rust-derive-macro-expansion ... Rust: expand derive macros	2025-06-23 09:42:49 +02:00
Paolo Tranquilli	6253b5c5d0	Merge branch 'main' into redsun82/rust-regenerate-models	2025-06-20 15:27:40 +02:00
Paolo Tranquilli	670b835410	Merge branch 'main' into redsun82/rust-derive-macro-expansion	2025-06-20 15:21:03 +02:00
Paolo Tranquilli	3590ccaa69	Rust: fix tests	2025-06-20 14:32:24 +02:00
Paolo Tranquilli	691281a481	Rust: mark one value flow as spurious (should be taint)	2025-06-20 14:13:37 +02:00
Simon Friis Vindum	6b2c125bb0	Rust: Updated expected files	2025-06-19 21:01:53 +02:00
Paolo Tranquilli	0e9d4aacd9	Rust: accept test changes	2025-06-19 16:13:26 +02:00
Tom Hvitved	c88a5049e0	Rust: Fix column orders in interpretModelForTest	2025-06-18 13:15:36 +02:00
Tom Hvitved	63379df004	Rust: Add new MaD format based on QL-computed canonical paths	2025-06-18 12:14:36 +02:00
Tom Hvitved	c35598a2ea	Rust: Add Deprecated suffix to existing MaD extensible predicates	2025-06-18 12:14:30 +02:00
Tom Hvitved	433756debb	Rust: Make SummarizedCallable extend Function instead of string	2025-06-17 14:12:38 +02:00
Paolo Tranquilli	55096a31f2	Rust: add Cargo.lock files to all tests with cargo check	2025-06-16 10:52:53 +02:00
Tom Hvitved	66c0ff61bb	Rust: Model String -> str implicit conversion in type inference	2025-06-13 11:32:23 +02:00
Paolo Tranquilli	22c490ce4e	Merge pull request #19667 from github/redsun82/rust-mad ... Rust: Use QL computed canonical paths in MaD `Field` tokens	2025-06-12 20:48:41 +02:00
Paolo Tranquilli	455490436c	Rust: fix dataflow models test expectation	2025-06-12 12:16:37 +02:00
Simon Friis Vindum	fecd445e78	Rust: Use Call in data flow	2025-06-12 11:16:26 +02:00
Simon Friis Vindum	18583550ae	Rust: Add data flow tests for operator overloading	2025-06-12 11:12:03 +02:00
Paolo Tranquilli	3c834de5be	Rust: fix dataflow models test	2025-06-12 11:04:30 +02:00