1579 Commits

Author	SHA1	Message	Date
Geoffrey White	1e64f50c3c	Apply suggestions from code review ... Co-authored-by: Simon Friis Vindum <paldepind@github.com>	2025-05-27 08:51:00 +01:00
Simon Friis Vindum	5278064407	Rust: Only include relevant AST nodes in TypeMention	2025-05-27 09:35:30 +02:00
Simon Friis Vindum	0ce06e8818	Rust: Use member predicate from path resolution	2025-05-26 15:12:33 +02:00
Tom Hvitved	ba7726462f	Rust: Also include prelude path resolution in Core	2025-05-26 12:17:25 +02:00
Simon Friis Vindum	e778cbe768	Rust: Resolve function calls to traits methods	2025-05-24 10:25:46 +02:00
Arthur Baars	5b28ff1116	Merge branch 'main' into aibaars/rust-extract-libs	2025-05-23 22:05:29 +02:00
Tom Hvitved	c8ff69af9a	Rust: Fix bad join	2025-05-23 13:57:19 +02:00
Anders Schack-Mulligen	1d30103559	SSA: Distinguish between has and controls branch edge.	2025-05-23 09:56:22 +02:00
Geoffrey White	9ac24c7f4f	Merge branch 'main' into moresensitive	2025-05-22 16:11:12 +01:00
Geoffrey White	09dd00089b	Merge pull request #19546 from geoffw0/logsinks ... Rust: Models for log_err	2025-05-22 16:06:26 +01:00
Geoffrey White	dc280c6fb7	Rust: Add missing assignment class relations.	2025-05-22 15:23:29 +01:00
Geoffrey White	b22ce5515f	Rust: Make RefExpr an Operation.	2025-05-22 13:52:13 +01:00
Geoffrey White	b8f0e4d7e0	Rust: Use DerefExpr.	2025-05-22 13:52:08 +01:00
Geoffrey White	6c19cecb07	Rust: Add DerefExpr class.	2025-05-22 13:50:30 +01:00
Geoffrey White	fafdc1d181	Rust: Add BitwiseOperation library.	2025-05-22 13:50:29 +01:00
Geoffrey White	11480d29b7	Rust: Add ArithmeticOperation library.	2025-05-22 13:50:24 +01:00
Geoffrey White	d27596a0b2	Merge pull request #19535 from geoffw0/operations2 ... Rust: Add ComparisonOperation library.	2025-05-22 13:41:53 +01: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
Simon Friis Vindum	36f5e78a7e	Rust: Remove unused impl type	2025-05-22 10:17:44 +02:00
Tom Hvitved	9ee0d2e6cf	Rust: Exclude flow summary nodes from DataFlowStep.ql	2025-05-22 09:53:32 +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	0bb0a70fb7	Rust: add upgrade/downgrade scripts	2025-05-22 09:52:11 +02:00
Arthur Baars	980cebeef8	Rust: fix QL code after removing Crate::getModule()	2025-05-22 09:52:08 +02:00
Arthur Baars	f05bed685d	Rust: remove module data from Crate elements	2025-05-22 09:51:34 +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
Tom Hvitved	41e4adaf5d	Merge pull request #19534 from hvitved/rust/type-inference-performance ... Rust: Improve performance of type inference	2025-05-21 20:56:52 +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
Tom Hvitved	13861b81a8	Address review comments	2025-05-21 14:10:32 +02:00
Simon Friis Vindum	666726c935	Rust: Infer types for non-overloadable operators	2025-05-21 13:03:23 +02:00
Simon Friis Vindum	fafae89502	Rust: Add unit type	2025-05-21 13:03:22 +02:00
Geoffrey White	4ebf3adfdf	Rust: Address review comments.	2025-05-21 11:02:48 +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	93c8507ebc	Rust: Run codegen	2025-05-21 09:22:09 +02: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
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	bd004abeae	Rust: Remove redundant import.	2025-05-20 10:35:41 +01:00
Geoffrey White	0feade467d	Update rust/ql/lib/codeql/rust/elements/ComparisonOperation.qll ... Co-authored-by: Copilot <175728472+Copilot@users.noreply.github.com>	2025-05-20 10:35:02 +01:00
Geoffrey White	2b65eebbc8	Rust: QLDoc.	2025-05-20 10:33:42 +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
Tom Hvitved	3fa4ea4da3	Rust: Improve performance of type inference	2025-05-20 10:23:18 +02:00
Simon Friis Vindum	eb5d4efb26	Merge branch 'main' into rust-ti-implementing-type-method	2025-05-20 09:53:51 +02:00
Simon Friis Vindum	98c6783ed9	Rust: Rename predicate and inline predicate only used once	2025-05-20 09:20:35 +02:00
Geoffrey White	ebd75a118b	Rust: Add models for std::Pin.	2025-05-19 18:38:50 +01:00
Simon Friis Vindum	654d410485	Rust: Address PR feedback	2025-05-19 15:50:29 +02:00