1816 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	55096a31f2	Rust: add Cargo.lock files to all tests with cargo check	2025-06-16 10:52:53 +02:00
Simon Friis Vindum	8fe737ca52	Rust: Use defaults for type parameters	2025-06-16 09:54:01 +02:00
Simon Friis Vindum	1425bb8b08	Rust: Add type inference tests with default for type parameters	2025-06-16 09:52:38 +02:00
Paolo Tranquilli	2a51749a31	Merge pull request #19748 from github/redsun82/rust-models ... Rust: regenerate models	2025-06-16 08:37:00 +02:00
Simon Friis Vindum	eacf034dde	Rust: Disambiguate some method calls based on argument types	2025-06-13 15:43:39 +02:00
Simon Friis Vindum	d1aee7f704	Rust: Add type inference test	2025-06-13 15:42:08 +02:00
Tom Hvitved	6cca01662d	Merge pull request #19755 from hvitved/rust/type-inference-operand-workaround ... Rust: Temporarily disable type information to flow into operands	2025-06-13 15:25:34 +02:00
Geoffrey White	6194676b7d	Rust: Accept consistency failures (for now).	2025-06-13 13:51:01 +01:00
Geoffrey White	62e3cc57c6	Merge branch 'main' into typeinfer	2025-06-13 13:45:19 +01:00
Tom Hvitved	5f4d588cd9	Rust: Temporarily disable type information to flow into operands	2025-06-13 14:21:02 +02:00
Geoffrey White	b89d6d3402	Rust: Implement type inference for ArrayRepeatExprs.	2025-06-13 12:58:51 +01:00
Geoffrey White	51343a5c03	Rust: Implement type inference for ArrayListExprs.	2025-06-13 12:58:49 +01:00
Geoffrey White	f76b56291b	Rust: Implement type inference for 'for' loops on arrays.	2025-06-13 12:58:47 +01:00
Geoffrey White	840ef5ce92	Rust: Add test cases for type inference in loops.	2025-06-13 12:37:32 +01:00
Tom Hvitved	2f698d1590	Rust: Type inference for macro expressions	2025-06-13 13:11:11 +02:00
Tom Hvitved	fd59a27bd2	Rust: Add macro expr type inference test	2025-06-13 13:11:07 +02:00
Tom Hvitved	ad64e04475	Merge pull request #19737 from hvitved/rust/type-inference-string-str-deref ... Rust: Model `String` -> `str` implicit conversion in type inference	2025-06-13 13:09:24 +02:00
Paolo Tranquilli	ff9ac3bb6f	Rust: accept test changes	2025-06-13 11:56:12 +02:00
Tom Hvitved	66c0ff61bb	Rust: Model String -> str implicit conversion in type inference	2025-06-13 11:32:23 +02:00
Tom Hvitved	3d18e3ea8f	Rust: Use hasImplementation in path resolution	2025-06-13 08:44:44 +02:00
Tom Hvitved	5b5074e922	Rust: Add another type inference test	2025-06-12 21:48:40 +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	a5dba9b54f	Merge pull request #19649 from github/redsun82/rust-has-implementation ... Rust: extract `hasImplementation` on functions and consts	2025-06-12 15:19:23 +00:00
Simon Friis Vindum	e30a9e9906	Merge pull request #19685 from paldepind/rust/df-operator-overloading ... Rust: Data flow through overloaded operators	2025-06-12 17:08:16 +02:00
Paolo Tranquilli	b102d5c39d	Rust: accept test changes	2025-06-12 16:19:17 +02:00
Paolo Tranquilli	ad7fb9c061	Merge branch 'main' into redsun82/rust-has-implementation	2025-06-12 15:25:59 +02:00
Tom Hvitved	93fd6ec826	Merge pull request #19729 from hvitved/rust/type-inference-adjust-type-relevant-access ... Rust: Also apply `adjustedAccessType` in `RelevantAccess`	2025-06-12 13:04:13 +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	5642445e1d	Rust: Fix canonical path for Deref trait	2025-06-12 11:16:25 +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
Tom Hvitved	d667f7d411	Merge pull request #19732 from hvitved/rust/builtin-canonical-paths ... Rust: Generate canonical paths for builtins	2025-06-12 10:47:00 +02:00
Paolo Tranquilli	326ddd6625	Merge branch 'main' into redsun82/rust-mad	2025-06-12 09:24:44 +02:00
Paolo Tranquilli	a6cc94698a	Rust: fix inline flow test	2025-06-12 09:24:33 +02:00
Tom Hvitved	383cc5c2a7	Rust: Rename Bultins.qll -> Builtins.qll	2025-06-12 09:12:32 +02:00
Tom Hvitved	69e549f400	Rust: Generate canonical paths for builtins	2025-06-11 21:14:56 +02:00
Geoffrey White	087e666658	Rust: Exclude sources in macro expansions.	2025-06-11 18:48:23 +01:00
Geoffrey White	168246005c	Rust: Extend tests based on cases found in DCA.	2025-06-11 18:33:59 +01:00
Geoffrey White	b29deed919	Rust: Accept changes in an unrelated test reported by CI.	2025-06-11 18:09:22 +01:00
Paolo Tranquilli	97c2dfe23f	Rust: fix tests	2025-06-11 17:32:43 +02:00
Paolo Tranquilli	bea5381420	Rust: replace last hand-written instances of Field[crate::	2025-06-11 16:48:39 +02:00
Paolo Tranquilli	051704e59d	Merge branch 'main' into redsun82/rust-mad	2025-06-11 16:39:10 +02:00
Tom Hvitved	18392a07ce	Rust: Also apply adjustedAccessType in RelevantAccess	2025-06-11 15:00:35 +02:00
Tom Hvitved	133aca0773	Rust: Simple type inference for index expressions	2025-06-11 13:15:21 +02:00
Tom Hvitved	301bd44a4c	Rust: Add type inference tests for index expressions	2025-06-11 13:08:59 +02:00
Simon Friis Vindum	75caa182f5	Merge pull request #19724 from github/rust/type-inference-borrow ... Rust: Implement type inference for ref expression as type equality	2025-06-11 12:36:43 +02:00
Paolo Tranquilli	fbcd9eaf09	Merge pull request #19674 from github/redsun82/mad ... Rust: regenerate MaD files using DCA	2025-06-11 11:10:08 +02:00
Geoffrey White	ecac0dbe69	Rust: Accept consistency check failures.	2025-06-11 08:52:52 +01:00
Simon Friis Vindum	01701de4a7	Rust: Implement type inference for ref expression as type equality	2025-06-11 09:09:22 +02:00