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 |
|
Paolo Tranquilli
|
76b1349068
|
Merge branch 'main' into redsun82/rust-analyzer-update
|
2025-03-28 13:36:48 +01:00 |
|
Geoffrey White
|
ce7a0fd094
|
Rust: Test for sinks inside sources.
|
2025-03-28 11:12:10 +00:00 |
|
Anders Schack-Mulligen
|
0c74f21107
|
Merge pull request #19044 from aschackmull/ssa/useuse-trim
Ssa: Trim the use-use relation to skip irrelevant nodes
|
2025-03-28 11:55:34 +01:00 |
|
Arthur Baars
|
7fc7b7cc04
|
Rust: fix CleartextLogging query
|
2025-03-27 18:38:57 +00:00 |
|
Arthur Baars
|
6dff6826f0
|
Revert "Rust: accept test changes for now"
This reverts commit bf32acc198.
|
2025-03-27 18:33:00 +00:00 |
|
Tom Hvitved
|
f6ac82aff0
|
Rust: Add more path resolution tests
|
2025-03-27 15:54:57 +01:00 |
|
Paolo Tranquilli
|
cf63dae608
|
Merge branch 'main' into redsun82/codegen-rename-dbscheme
|
2025-03-27 15:12:16 +01:00 |
|
Geoffrey White
|
9ae271a7d1
|
Rust: Fix incidentally affected test merge conflict.
|
2025-03-27 12:55:36 +00:00 |
|
Geoffrey White
|
4e496fe7b2
|
Rust: Lets just not model 'drop' incorrectly, for now.
|
2025-03-27 12:25:08 +00:00 |
|
Simon Friis Vindum
|
0d75054955
|
Rust: Implement toString on type aliases and add docs
|
2025-03-27 11:34:39 +01:00 |
|
Geoffrey White
|
8598d619f2
|
Rust: Add a test case involving a Drop method.
|
2025-03-27 09:39:25 +00:00 |
|
Arthur Baars
|
9dd7b20db7
|
Merge pull request #18960 from github/aibaars/rust-tainted-path
Rust: TaintedPath query
|
2025-03-27 10:37:36 +01:00 |
|
Geoffrey White
|
d1a0237e87
|
Rust: Correct a few details in the test.
|
2025-03-27 09:20:25 +00:00 |
|
Geoffrey White
|
c84e2cd7cb
|
Rust: Reduce the workaround (fixes duplicate results).
|
2025-03-26 15:40:45 +00:00 |
|
Geoffrey White
|
0a04191a61
|
Rust: Effect of merging main (duplicate results).
|
2025-03-26 15:06:03 +00:00 |
|
Geoffrey White
|
56f330d545
|
Merge branch 'main' into deallocation
|
2025-03-26 14:58:32 +00:00 |
|
Arthur Baars
|
bf76505880
|
Rust: address comments
|
2025-03-26 13:28:44 +01:00 |
|
Paolo Tranquilli
|
2a81cc9567
|
Merge branch 'main' into redsun82/rust-analyzer-update
|
2025-03-26 09:33:38 +01:00 |
|
Tom Hvitved
|
72028c034e
|
Rust: Add reverse post-update flow steps
|
2025-03-26 09:03:18 +01:00 |
|
Tom Hvitved
|
fcb1d9433a
|
Rust: Add more data flow tests
|
2025-03-26 09:02:23 +01:00 |
|
Tom Hvitved
|
278d251dc1
|
Merge pull request #19107 from hvitved/rust/mad-argument-source
Rust: Support `Argument[x]` MaD source definitions
|
2025-03-26 09:02:06 +01:00 |
|
Geoffrey White
|
3ad4de400f
|
Merge pull request #19067 from geoffw0/convtest
Rust: Add a couple of test cases for data flow through conversions
|
2025-03-25 17:44:29 +00:00 |
|
Paolo Tranquilli
|
7cfed3c4a7
|
Merge branch 'main' into redsun82/rust-analyzer-update
|
2025-03-25 18:29:39 +01:00 |
|
Simon Friis Vindum
|
efcffc55e3
|
Merge branch 'main' into rust-ti-refactor
|
2025-03-25 15:44:39 +01:00 |
|
Anders Schack-Mulligen
|
ae47339d1a
|
Rust: Accept test changes.
|
2025-03-25 12:31:05 +01:00 |
|
Tom Hvitved
|
d6d3028e5a
|
Rust: Support Argument[x] MaD source definitions
|
2025-03-25 09:08:40 +01:00 |
|
Tom Hvitved
|
cf1b19f7c4
|
Rust: Add test for MaD argument source
|
2025-03-25 09:06:56 +01:00 |
|