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 |
|
Simon Friis Vindum
|
8f5d9d7702
|
Rust: Add type inference tests for borrowing
|
2025-06-11 08:40:15 +02:00 |
|
Geoffrey White
|
652d32d4ff
|
Merge pull request #19626 from geoffw0/futures
Rust: Model futures-io, rustls, futures-rustls
|
2025-06-10 15:23:43 +01:00 |
|
Paolo Tranquilli
|
8f0f2006a8
|
Merge pull request #19708 from github/redsun82/rust-getArg-getParam
Rust: add `Callable::getParam` and `CallExprBase::getArg` shortcuts
|
2025-06-10 15:31:05 +02:00 |
|
Geoffrey White
|
fd2154d389
|
Merge branch 'main' into futures
|
2025-06-10 14:16:06 +01:00 |
|
Tom Hvitved
|
791369dd0e
|
Merge pull request #19584 from hvitved/rust/type-inference-await
Rust: Type inference for `.await` expressions
|
2025-06-10 14:56:28 +02:00 |
|
Paolo Tranquilli
|
4ac4e44b50
|
Rust: accept test changes
|
2025-06-10 14:45:57 +02:00 |
|
Geoffrey White
|
918fa3684f
|
Merge branch 'main' into futures
|
2025-06-10 13:24:09 +01:00 |
|