1159 Commits

Author	SHA1	Message	Date
Geoffrey White	7e108a8a29	Merge pull request #19310 from geoffw0/trim ... Rust: Add model for str.trim	2025-04-17 09:48:45 +01:00
Geoffrey White	e1bddb6152	Merge pull request #19304 from geoffw0/rustio ... Rust: Model sources for std::io	2025-04-17 09:47:21 +01:00
Geoffrey White	372ba5c9a5	Merge branch 'main' into modelnoise	2025-04-17 09:42:43 +01:00
Geoffrey White	9da6d9435e	Rust: More tests affected.	2025-04-16 17:41:27 +01:00
Arthur Baars	2f87630ded	Rust: update expected output	2025-04-15 17:18:51 +02:00
Arthur Baars	cec95ae875	Rust: crate graph: generic parameters	2025-04-15 17:18:42 +02:00
Arthur Baars	a7ccba9aeb	Rust: crate graph: type variables	2025-04-15 17:18:28 +02:00
Geoffrey White	432d4b0eca	Merge branch 'main' into trim	2025-04-15 16:05:02 +01:00
Paolo Tranquilli	ff8cd98527	Merge pull request #19233 from github/redsun82/cargo-upgrade ... Rust: upgrade rust-analyzer to `0.0.273`	2025-04-15 16:30:12 +02:00
Geoffrey White	39a875e751	Rust: Make some summaries value type.	2025-04-15 14:46:57 +01:00
Geoffrey White	c561da4536	Merge branch 'main' into rustio	2025-04-15 12:29:55 +01:00
Geoffrey White	fea82d4d6a	Merge branch 'main' into trim	2025-04-15 12:21:48 +01:00
Geoffrey White	40a5db6736	Rust: Other tests affected.	2025-04-15 11:52:23 +01:00
Geoffrey White	c06f340bd8	Rust: Make str / String models consistent.	2025-04-15 11:47:29 +01:00
Geoffrey White	bfe9cdfed5	Rust: Add model for str.trim and as_bytes.	2025-04-15 11:26:52 +01:00
Arthur Baars	1c79c5e9ab	Merge pull request #19292 from github/aibaars/rust-shadow-prelude ... Rust: allow shadowing of prelude items	2025-04-15 09:54:31 +02:00
Geoffrey White	bdd5717c09	Rust: Remove the models output from the dataflow/local test.	2025-04-14 16:42:20 +01:00
Paolo Tranquilli	2dd3dea33a	Merge branch 'main' into redsun82/cargo-upgrade	2025-04-14 16:35:57 +02:00
Geoffrey White	a8b552200a	Rust: Impact on dataflow/local test.	2025-04-14 15:03:04 +01:00
Geoffrey White	24bcd041b8	Rust: Add flow models for io.	2025-04-14 14:20:45 +01:00
Geoffrey White	7a9ea52bc7	Rust: Add source models for io.	2025-04-14 10:47:30 +01:00
Geoffrey White	4f9f550ba6	Rust: Add source models for fs.	2025-04-14 10:47:26 +01:00
Geoffrey White	258c1afe27	Rust: Add tests for std::fs sources.	2025-04-14 10:47:21 +01:00
Geoffrey White	cef3cd9b54	Rust: Add tests for std::io sources.	2025-04-14 10:47:17 +01:00
Geoffrey White	c821f27309	Merge branch 'main' into badalloc	2025-04-14 09:36:59 +01:00
Paolo Tranquilli	9dd1062a9c	Rust: remove fixed inconsistency	2025-04-11 17:25:56 +02:00
Paolo Tranquilli	c844db09d2	Merge branch 'redsun82/rust-pick-edition' into redsun82/cargo-upgrade	2025-04-11 17:03:29 +02:00
Arthur Baars	b27ae98b54	Rust: normalize paths in the rustup folder	2025-04-11 15:46:57 +02:00
Arthur Baars	662e963a7b	Rust: allow shadowing of prelude items	2025-04-11 15:46:55 +02:00
Arthur Baars	85940484ab	Update rust/ql/test/setup.sh	2025-04-11 09:57:50 +02:00
Tom Hvitved	e26695fc51	Rust: Take where clauses into account in path resolution	2025-04-11 09:28:08 +02:00
Tom Hvitved	cc85a09b39	Rust: Add AI-generated test for path resolution of where clauses	2025-04-11 09:24:09 +02:00
Paolo Tranquilli	db1203acb3	Rust: reinstate adding rust-src for test toolchains	2025-04-11 08:57:14 +02:00
Paolo Tranquilli	becea89a47	Rust: refine ql/test/setup.sh	2025-04-11 08:26:48 +02:00
Tom Hvitved	1ba06ab3bf	Merge pull request #19216 from hvitved/rust/path-resolution-path-attr ... Rust: Handle path attributes in path resolution	2025-04-09 18:57:56 +02:00
Paolo Tranquilli	25bd0c3b21	Rust: add test setup script	2025-04-08 17:28:57 +02:00
Simon Friis Vindum	9dc008b9f4	Merge pull request #19214 from paldepind/rust-ti-associated ... Rust: Associated types	2025-04-08 13:46:36 +02:00
Geoffrey White	866fc6b320	Merge pull request #19235 from geoffw0/ssaconsistency ... Rust: SSA inconsistency counts	2025-04-08 10:49:19 +01:00
Geoffrey White	10ad5780b5	Rust: Try a different toolchain version to fix the test in CI?	2025-04-08 10:21:40 +01:00
Geoffrey White	e2f63db96d	Merge branch 'main' into badalloc	2025-04-08 10:15:38 +01:00
Geoffrey White	88439b42e6	Merge pull request #19095 from geoffw0/blockon ... Rust: Model futures::executor::block_on.	2025-04-07 17:41:49 +01:00
Geoffrey White	9c1567375d	Shared: Implement getInconsistencyCounts for SSA.	2025-04-07 16:20:42 +01:00
Simon Friis Vindum	48e5b0a731	Merge branch 'main' into rust-ti-associated	2025-04-07 17:07:05 +02:00
Simon Friis Vindum	602e617bc6	Rust: Add type inference test for trait with multiple associated types	2025-04-07 17:02:51 +02:00
Tom Hvitved	13f4a6afa6	Rust: Handle path attributes in path resolution	2025-04-07 15:24:17 +02:00
Tom Hvitved	edb7aaabab	Rust: Add path attribute test	2025-04-07 15:23:27 +02:00
Paolo Tranquilli	afb97d2797	Rust: regenerate schema	2025-04-07 14:34:33 +02:00
Simon Friis Vindum	74583e4fbf	Merge pull request #19227 from paldepind/rust-pr-self ... Rust: Resolve `Self` path in trait type of implementation	2025-04-07 14:21:02 +02:00
Geoffrey White	2c2506c4f8	Rust: Add Rust SSA inconsistency infrastructure.	2025-04-07 12:16:45 +01:00
Simon Friis Vindum	3441af136c	Merge pull request #19146 from paldepind/rust-ti-alias ... Rust: Implement support for inference of type aliases	2025-04-07 13:03:30 +02:00