Commit Graph

1504 Commits

Author SHA1 Message Date
Arthur Baars
a4788fd816 Rust: update expected output 2025-05-22 13:36:38 +02:00
Geoffrey White
852203911a Rust: Equal -> Equals. 2025-05-22 11:13:56 +01:00
Tom Hvitved
76737cb53a Rust: Follow-up changes after rebase 2025-05-22 10:22:03 +02:00
Tom Hvitved
9ee0d2e6cf Rust: Exclude flow summary nodes from DataFlowStep.ql 2025-05-22 09:53:32 +02:00
Arthur Baars
f093c496d5 Rust: normalize file paths for PathResolutionConsistency.ql 2025-05-22 09:53:31 +02:00
Arthur Baars
76da2e41f7 Rust: drop crate_graph/modules.ql test 2025-05-22 09:53:28 +02:00
Arthur Baars
e90ab7b881 Rust: fix diagnostics tests 2025-05-22 09:53:27 +02:00
Arthur Baars
457632e10e Rust: update UncontrolledAllocationSize.expected 2025-05-22 09:53:24 +02:00
Arthur Baars
5ee7658921 Rust: update DataFlowStep.expected 2025-05-22 09:53:23 +02:00
Arthur Baars
67846f1d50 fixup TestUtils 2025-05-22 09:53:18 +02:00
Arthur Baars
643059ed34 Rust: fix type-interence file paths 2025-05-22 09:53:13 +02:00
Arthur Baars
44a404571f Rust: fixes 2025-05-22 09:53:12 +02:00
Tom Hvitved
456a4b2be8 Rust: Make dataflow/modeled pass by not using #[derive(Clone)] 2025-05-22 09:53:09 +02:00
Arthur Baars
1269a2e8a0 Rust: fix extractor-tests 2025-05-22 09:53:08 +02:00
Tom Hvitved
8996f9e61c Rust: Follow-up work to make path resolution and type inference tests pass again 2025-05-22 09:53:03 +02:00
Arthur Baars
980cebeef8 Rust: fix QL code after removing Crate::getModule() 2025-05-22 09:52:08 +02:00
Tom Hvitved
cb59795474 Merge pull request #19134 from hvitved/rust/canonical-path
Rust: Compute canonical paths in QL
2025-05-22 08:38:31 +02:00
Geoffrey White
3551d4488f Merge branch 'main' into logsinks 2025-05-21 17:40:06 +01:00
Geoffrey White
355864dd93 Merge branch 'main' into pin 2025-05-21 17:24:00 +01:00
Simon Friis Vindum
1828d408b7 Merge pull request #19549 from paldepind/rust/type-inference-operators
Rust: Type inference for non-overloadable operators
2025-05-21 17:25:44 +02:00
Simon Friis Vindum
666726c935 Rust: Infer types for non-overloadable operators 2025-05-21 13:03:23 +02:00
Simon Friis Vindum
0dcf15bf77 Rust: Add type inference tests for operators 2025-05-21 13:03:16 +02:00
Geoffrey White
053da5530f Rust: Accept test changes after merge with main. 2025-05-21 10:17:14 +01:00
Geoffrey White
95289b8fc8 Merge branch 'main' into operations2 2025-05-21 09:18:51 +01:00
Geoffrey White
ea9531f3ea Merge branch 'main' into tokio 2025-05-21 09:17:45 +01:00
Tom Hvitved
b7f8b79f0e Rust: Calculate canonical paths in QL 2025-05-21 09:22:07 +02:00
Geoffrey White
e96e39c3d3 Rust: Model log_err. 2025-05-20 17:51:15 +01:00
Geoffrey White
e5af459787 Rust: Correct what we're testing here. 2025-05-20 17:30:49 +01:00
Geoffrey White
355e440fdf Rust: Make the new test cases work. 2025-05-20 15:25:14 +01:00
Geoffrey White
3b40a5875a Rust: Add test cases (generated by LLM). 2025-05-20 15:21:32 +01:00
Simon Friis Vindum
c68579bd0d Merge pull request #19499 from paldepind/rust-bulk-model-generator
Rust: Bulk model generator
2025-05-20 15:30:16 +02:00
Geoffrey White
bfb15cd88f Rust: Accept changes to other tests. 2025-05-20 11:13:00 +01:00
Geoffrey White
204260e244 Rust: Uncomment calls to test functions. 2025-05-20 10:59:23 +01:00
Geoffrey White
ca1437adf1 Rust: Move the getGreaterOperand/getLesserOperand predicates into RelationalOperation. 2025-05-20 10:19:11 +01:00
Geoffrey White
bc4b69bb93 Rust: Add ComparisonOperation library. 2025-05-20 10:07:48 +01:00
Simon Friis Vindum
eb5d4efb26 Merge branch 'main' into rust-ti-implementing-type-method 2025-05-20 09:53:51 +02:00
Geoffrey White
94b57ac9a9 Update rust/ql/test/library-tests/dataflow/modeled/main.rs
Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>
2025-05-19 21:49:02 +01:00
Geoffrey White
ebd75a118b Rust: Add models for std::Pin. 2025-05-19 18:38:50 +01:00
Geoffrey White
533aa7fc26 Rust: Add tests for std::Pin. 2025-05-19 18:38:20 +01:00
Simon Friis Vindum
654d410485 Rust: Address PR feedback 2025-05-19 15:50:29 +02:00
Simon Friis Vindum
f4ff815253 Rust: Add additional type inference tests 2025-05-19 15:12:38 +02:00
Geoffrey White
65456b5cf0 Merge branch 'main' into moresensitive 2025-05-19 11:54:46 +01:00
Geoffrey White
d20a602aab Rust: Accept consistency check failures. 2025-05-19 11:07:37 +01:00
Geoffrey White
b58b2500ee Merge branch 'main' into tokio 2025-05-19 10:42:28 +01:00
Simon Friis Vindum
41e76e20b5 Rust: Add models auto-generated in bulk 2025-05-16 14:08:16 +02:00
Tom Hvitved
8521becbd5 Rust: Fix semantic merge conflict 2025-05-15 20:53:35 +02:00
Tom Hvitved
60cc63f4d4 Merge pull request #19474 from hvitved/rust/builtins-resolution
Rust: Type inference and path resolution for builtins
2025-05-15 15:22:32 +02:00
Tom Hvitved
9d37597461 Address review comments 2025-05-14 20:50:40 +02:00
Paolo Tranquilli
e4b7b914b2 Merge pull request #19334 from github/redsun82/rust-expand-attr-macros
Rust: expand attribute macros
2025-05-14 15:35:58 +02:00
Paolo Tranquilli
3d38d77d63 Rust: accept dummy test output 2025-05-14 11:41:17 +02:00