Tom Hvitved
|
dff5ed7d29
|
Rust: Assign locations to all DataFlowCallables
|
2025-09-03 11:21:57 +02:00 |
|
Simon Friis Vindum
|
0ed6428a94
|
Merge pull request #20321 from paldepind/rust/trait-method-scope-2
Rust: Take trait visibility into account when resolving paths and methods
|
2025-09-02 10:58:00 +02:00 |
|
Simon Friis Vindum
|
322ef4d985
|
Rust: Account for trait visibility when resolving paths and methods
|
2025-09-02 09:01:17 +02:00 |
|
Tom Hvitved
|
5b51bb2ef0
|
Rust: Deref as taint step
|
2025-09-02 08:55:10 +02:00 |
|
Geoffrey White
|
e8b7ce43a5
|
Merge pull request #20270 from geoffw0/pathi
Rust: Improve FS models
|
2025-08-28 14:30:18 +01:00 |
|
Geoffrey White
|
4a4f782d86
|
Rust: Accept another consistency test change.
|
2025-08-22 16:57:51 +01:00 |
|
Geoffrey White
|
08cb038086
|
Rust: Accept changes to other tests.
|
2025-08-22 16:17:50 +01:00 |
|
Geoffrey White
|
8b04bc0ceb
|
Rust: Model std::fs::OpenOptions and similar.
|
2025-08-22 09:58:07 +01:00 |
|
Geoffrey White
|
1d2ac33bb6
|
Rust: Model async-std::fs.
|
2025-08-22 09:58:00 +01:00 |
|
Geoffrey White
|
49b4adcc99
|
Rust: Add more tests for DirEntry, PathBuf, OsString.
|
2025-08-22 09:57:59 +01:00 |
|
Geoffrey White
|
bc226e2117
|
Rust: Add more general test cases for async_std::fs and tokio::fs.
|
2025-08-21 16:47:10 +01:00 |
|
Geoffrey White
|
5da296d77f
|
Rust: Add tests for std::fs::OpenOptions and similar.
|
2025-08-21 16:47:08 +01:00 |
|
Paolo Tranquilli
|
71edc48c0e
|
Merge branch 'main' into redsun82/cargo-upgrade-2
|
2025-08-15 10:15:26 +02:00 |
|
Paolo Tranquilli
|
0924d795b4
|
Rust: accept test changes
|
2025-08-15 10:12:12 +02:00 |
|
Tom Hvitved
|
f1bff93bc5
|
Merge pull request #20203 from hvitved/rust/if-let-chain-test
Rust: Handle chained `let` expressions
|
2025-08-14 19:51:43 +02:00 |
|
Tom Hvitved
|
51fb2157ef
|
Rust: Remove references to getResolvedPath and getExtendedCanonicalPath
|
2025-08-14 11:31:42 +02:00 |
|
Tom Hvitved
|
f63e55c1fd
|
Rust: Handle chained let expressions
|
2025-08-14 10:36:43 +02:00 |
|
Tom Hvitved
|
fd1d9401c0
|
Rust: Add tests for chained let expressions
|
2025-08-14 10:36:41 +02:00 |
|
Simon Friis Vindum
|
3ba285c298
|
Rust: Implement certain type information for annotation and simple calls
|
2025-08-04 14:06:38 +02:00 |
|
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 |
|