21 Commits

Author	SHA1	Message	Date
Tom Hvitved	bc6d38ebb4	Address review comments	2025-12-04 10:38:47 +01:00
Tom Hvitved	7378fbc567	Rust: Restructure classes representing calls	2025-12-02 10:08:04 +01:00
Tom Hvitved	0ca62ca5b6	Fix copilot implementation	2025-11-03 14:15:16 +01:00
Kristen Newbury	49ef6939d4	Add extra Customizations files	2025-08-19 14:49:31 -04:00
Tom Hvitved	7701a31f4a	Rust: Improve type inference for for loops and range expressions	2025-07-08 11:20:42 +02:00
Tom Hvitved	fad5e0daa8	Rust: Add type inference inline expectations for all function calls	2025-07-07 17:20:15 +02: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	bc4b69bb93	Rust: Add ComparisonOperation library.	2025-05-20 10:07:48 +01:00
Tom Hvitved	3fc9da7466	Merge pull request #19475 from hvitved/rust/literal-sub-classes ... Rust: Add `LiteralExpr` sub classes	2025-05-13 16:06:53 +02:00
Tom Hvitved	cd01bd0e07	Rust: Add LiteralExpr sub classes	2025-05-12 20:35:00 +02:00
Geoffrey White	060d5152c4	Rust: Add an Operation class above LogicalOperation, AssignmentOperation etc.	2025-05-02 16:46:44 +01:00
Simon Friis Vindum	d52a2d67a2	Rust: Create CFG scope for async blocks	2024-11-08 15:00:02 +01:00
Arthur Baars	fc4ac9bcf8	Rust: implement Format and FormatArgument classes	2024-10-24 15:13:23 +02:00
Arthur Baars	f213a2d640	Rust: CFG for ImplicitVariableAccess	2024-10-24 15:11:01 +02:00
Tom Hvitved	a9cf33ce18	Rust: &x is neither a read nor a write	2024-10-03 20:20:59 +02:00
Tom Hvitved	b0efffd8f0	Rust: AST support for variables	2024-10-01 10:10:08 +02:00
Tom Hvitved	8c956e8276	Rust: Add LogicalOperation.qll	2024-09-25 10:55:16 +02:00
Paolo Tranquilli	b4b680775c	Rust: integrate into standard files+location library	2024-09-12 13:17:10 +02:00
Paolo Tranquilli	885e89a927	Rust: first running tests	2024-08-30 17:45:51 +02:00