Simon Friis Vindum
|
77e1b231a6
|
Rust: Handle associated types in trait methods
|
2025-04-04 10:24:55 +02:00 |
|
Simon Friis Vindum
|
f9ff92a705
|
Rust: Expand on type inference tests for associated types
|
2025-04-04 10:16:09 +02:00 |
|
Tom Hvitved
|
f4e9382622
|
Rust: Take prelude into account when resolving paths
|
2025-04-03 16:07:26 +02:00 |
|
Tom Hvitved
|
4b3816e14e
|
Rust: Variants inherit visibility from their parent enum
|
2025-04-03 16:05:12 +02:00 |
|
Tom Hvitved
|
f09c3c5813
|
Rust: Handle self enum/struct uses
|
2025-04-03 16:05:11 +02:00 |
|
Tom Hvitved
|
3bfb4fbd8d
|
Rust: More path resolution tests
|
2025-04-03 16:05:09 +02:00 |
|
Simon Friis Vindum
|
a1d36c0501
|
Rust: Implement support for inference of type aliases
|
2025-04-03 15:18:15 +02:00 |
|
Simon Friis Vindum
|
e7027f0979
|
Rust: Add type inference tests for type aliases
|
2025-04-03 15:13:19 +02:00 |
|
Simon Friis Vindum
|
e6c7ad8ee0
|
Rust: Add comment as suggested in review
|
2025-04-03 14:34:23 +02:00 |
|
Simon Friis Vindum
|
a53f664e85
|
Rust: Fix bad join
|
2025-04-03 14:33:02 +02:00 |
|
Simon Friis Vindum
|
d5d61dd8b3
|
Rust: Add inline expectations test for type inference
|
2025-04-03 12:49:34 +02:00 |
|
Simon Friis Vindum
|
b0c40111e7
|
Rust: Tweaks to stringification
|
2025-04-03 12:45:08 +02:00 |
|
Simon Friis Vindum
|
52660fa57d
|
Merge pull request #19149 from paldepind/rust-ti-self-param
Rust: Make trait a base type mention of the self type parameter
|
2025-04-03 08:44:09 +02:00 |
|
Tom Hvitved
|
a01b211f79
|
Merge pull request #19185 from hvitved/rust/ssa-capture-psudeo-read-dominate
Rust: Fix `capturedCallRead`
|
2025-04-02 19:16:55 +02:00 |
|
Geoffrey White
|
fbde235253
|
Rust: Rename the test as well.
|
2025-04-02 12:16:10 +01:00 |
|
Geoffrey White
|
02245af3ca
|
Rust: Rename the query file.
|
2025-04-02 12:11:55 +01:00 |
|
Geoffrey White
|
c737ee9b52
|
Rust: Accept another consistency check failure.
|
2025-04-02 10:58:56 +01:00 |
|
Anders Schack-Mulligen
|
47b1c3d3ce
|
Merge pull request #19154 from aschackmull/ssa/variablecapture
Ssa: Replace phi-read references in VariableCapture with default use-use flow
|
2025-04-02 10:16:17 +02:00 |
|
Geoffrey White
|
1d7dac485e
|
Rust: switch the query to taint flow so that we get taint through conversions (without needing a special case).
|
2025-04-01 17:57:04 +01:00 |
|
Tom Hvitved
|
dcaeeabad8
|
Rust: Fix capturedCallRead
|
2025-04-01 15:11:20 +02:00 |
|
Tom Hvitved
|
9dea9f5046
|
SSA: Make phiWithoutTwoPriorRefs consistency check more informative
|
2025-04-01 15:07:46 +02:00 |
|
Tom Hvitved
|
01810cbac9
|
Rust: Update PhiDefinition.toString
|
2025-04-01 14:59:05 +02:00 |
|
Simon Friis Vindum
|
8acf9ceef4
|
Rust: Make trait a base type mention of the self type parameter
|
2025-04-01 14:04:46 +02:00 |
|
Tom Hvitved
|
f54d8325ae
|
Merge pull request #19133 from hvitved/rust/more-path-resolution
Rust: More path resolution improvements
|
2025-04-01 11:25:16 +02:00 |
|
Geoffrey White
|
86840a78c2
|
Rust: Update .expected files.
|
2025-04-01 09:56:56 +01:00 |
|
Geoffrey White
|
cc90ba5836
|
Rust: Create a less noisy version of the summary stats query, for use in tests.
|
2025-04-01 09:56:47 +01:00 |
|
Geoffrey White
|
fb22d55878
|
Rust: Remove duplicate models.
|
2025-03-31 18:26:26 +01:00 |
|
Geoffrey White
|
6a5a1001bb
|
Rust: Refine the barrier guard.
|
2025-03-31 18:26:21 +01:00 |
|
Geoffrey White
|
f7d3a51f27
|
Rust: Implement barrier guard.
|
2025-03-31 17:53:17 +01:00 |
|
Geoffrey White
|
cdd5cb0523
|
Rust: More test cases for bounds / guards.
|
2025-03-31 17:53:14 +01:00 |
|
Geoffrey White
|
addc1d34d8
|
Rust: Add qhelp, examples, and tests of examples.
|
2025-03-31 17:53:10 +01:00 |
|
Geoffrey White
|
e49c1afe72
|
Rust: Add a few missing models.
|
2025-03-31 17:39:19 +01:00 |
|
Geoffrey White
|
03f94de3cb
|
Rust: Add models.
|
2025-03-31 17:39:15 +01:00 |
|
Geoffrey White
|
9409cd6ed7
|
Rust: Prototype query.
|
2025-03-31 17:39:11 +01:00 |
|
Geoffrey White
|
ae555f2f2e
|
Rust: Add a test for uncontrolled allocation size.
|
2025-03-31 17:37:21 +01:00 |
|
Paolo Tranquilli
|
87dc4cd101
|
Rust: accept test changes
|
2025-03-31 13:19:23 +02:00 |
|
Paolo Tranquilli
|
80707678b6
|
Rust: accept test changes
|
2025-03-31 13:11:46 +02:00 |
|
Paolo Tranquilli
|
1c89b5185a
|
Rust: rename RecordFieldList to StructFieldList
|
2025-03-31 13:11:45 +02:00 |
|
Paolo Tranquilli
|
b664504534
|
Rust: remove obsolete expected files
|
2025-03-31 13:11:41 +02:00 |
|
Paolo Tranquilli
|
8bfc1c424e
|
Rust: rename several entities using more accepted names
|
2025-03-31 13:07:43 +02:00 |
|
Paolo Tranquilli
|
1eb51c7a2f
|
Merge pull request #19063 from github/redsun82/codegen-rename-dbscheme
Codegen: add `ql.db_table_name` property pragma
|
2025-03-31 12:01:35 +02:00 |
|
Anders Schack-Mulligen
|
56c46d74f9
|
Java/Rust/Swift: Accept qltest changes.
|
2025-03-31 11:44:37 +02:00 |
|
Arthur Baars
|
ec9fe8079e
|
Rust: add tests for re-export statements
|
2025-03-28 17:12:43 +01:00 |
|
Arthur Baars
|
d84baaa0f8
|
Rust: implement Use::toString
|
2025-03-28 17:12:42 +01:00 |
|
Geoffrey White
|
4a76b5b3db
|
Rust: Accept consistency check failures.
|
2025-03-28 15:40:18 +00:00 |
|
Tom Hvitved
|
605cf35970
|
Rust: More path resolution improvements
|
2025-03-28 15:32:20 +01:00 |
|
Paolo Tranquilli
|
01a69bffbe
|
Merge branch 'main' into redsun82/codegen-rename-dbscheme
|
2025-03-28 15:06:08 +01:00 |
|
Paolo Tranquilli
|
96f7dc7eb4
|
Merge pull request #19083 from github/redsun82/rust-analyzer-update
Rust: update rust-analyzer from `0.0.266` to `0.0.270`
|
2025-03-28 15:04:09 +01:00 |
|
Simon Friis Vindum
|
884c828452
|
Merge pull request #19102 from paldepind/rust-ti-refactor
Shared, type inference: Add inference for type parameters with constraints (base type mentions)
|
2025-03-28 13:58:16 +01:00 |
|
Geoffrey White
|
ed14b37964
|
Merge branch 'main' into deallocation
|
2025-03-28 12:44:46 +00:00 |
|