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 |
|
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 |
|
Paolo Tranquilli
|
2dd3dea33a
|
Merge branch 'main' into redsun82/cargo-upgrade
|
2025-04-14 16:35:57 +02: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 |
|
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 |
|
Simon Friis Vindum
|
5dba2412b5
|
Rust: Fix annotation in comment
|
2025-04-07 12:53:13 +02:00 |
|
Simon Friis Vindum
|
6cecf7e618
|
Rust: Resolve Self path in trait type of implementation
|
2025-04-07 11:55:03 +02:00 |
|
Simon Friis Vindum
|
5c2d6e3d0f
|
Rust: Add path resolution test for Self in trait implementation
|
2025-04-07 11:45:43 +02:00 |
|
Geoffrey White
|
893e42315e
|
Merge branch 'main' into badalloc
|
2025-04-07 09:33:23 +01:00 |
|
Geoffrey White
|
f292d04d7a
|
Merge branch 'main' into blockon
|
2025-04-07 09:03:55 +01:00 |
|
Geoffrey White
|
471f02cf3b
|
Merge branch 'main' into sinkstats
|
2025-04-04 22:28:30 +01:00 |
|
Geoffrey White
|
6ad7a950da
|
Merge branch 'main' into badalloc
|
2025-04-04 21:57:04 +01:00 |
|
Geoffrey White
|
c9939387f8
|
Rust: Turn on PrettyPrintModels for RegexInjection so we hopefully don't have to deal with test result changes there as often.
|
2025-04-04 21:47:22 +01:00 |
|
Geoffrey White
|
a5883b1627
|
Rust: Accept test changes (due to added models?).
|
2025-04-04 21:45:37 +01:00 |
|
Geoffrey White
|
bc92a99fae
|
Merge pull request #19080 from geoffw0/deallocation
Rust: Query for dereferencing an invalid pointer
|
2025-04-04 21:25:40 +01:00 |
|
Geoffrey White
|
784ccb740b
|
Rust: Define Rust queries and extensions more consistently.
|
2025-04-04 18:17:16 +01:00 |
|
Geoffrey White
|
c783549b5c
|
Merge branch 'main' into blockon
|
2025-04-04 17:35:00 +01:00 |
|
Geoffrey White
|
8e7e162ebc
|
Merge branch 'main' into badalloc
|
2025-04-04 17:09:50 +01:00 |
|
Geoffrey White
|
49c2f97cc8
|
Merge pull request #19180 from geoffw0/lessnoise
Rust: Reduce CI noise from the SummaryStats query
|
2025-04-04 16:51:30 +01:00 |
|
Tom Hvitved
|
006cb024de
|
Merge pull request #19217 from hvitved/rust/macro-expansion-inherit-location
Rust: Use macro call location as fall back in macro expansions
|
2025-04-04 16:25:45 +02:00 |
|
Geoffrey White
|
d47e925e85
|
Rust: Delete empty .expected files.
|
2025-04-04 14:43:24 +01:00 |
|
Geoffrey White
|
65974544a3
|
Merge remote-tracking branch 'upstream/main' into lessnoise
|
2025-04-04 13:58:29 +01:00 |
|
Geoffrey White
|
64ee6c5c02
|
Merge branch 'main' into lessnoise
|
2025-04-04 13:51:31 +01:00 |
|
Geoffrey White
|
dc31da82d0
|
Rust: Fix file name typo.
|
2025-04-04 13:42:29 +01:00 |
|
Geoffrey White
|
24a4aad120
|
Rust: Accept consistency check fixes following merge with main.
|
2025-04-04 12:11:25 +01:00 |
|
Geoffrey White
|
8b23945417
|
Merge branch 'main' into deallocation
|
2025-04-04 12:06:50 +01:00 |
|
Tom Hvitved
|
5731fa91f3
|
Rust: Use macro call location as fall back in macro expansions
|
2025-04-04 11:38:10 +02:00 |
|
Geoffrey White
|
44b26e5ae6
|
Rust: Change the test copy of the example as well.
|
2025-04-04 09:54:41 +01:00 |
|