55 Commits

Author	SHA1	Message	Date
Tom Hvitved	4e77b1b9b8	Rust: Add self-assignment variable test	2025-09-16 13:05:48 +02:00
Paolo Tranquilli	71edc48c0e	Merge branch 'main' into redsun82/cargo-upgrade-2	2025-08-15 10:15:26 +02:00
Paolo Tranquilli	0924d795b4	Rust: accept test changes	2025-08-15 10:12:12 +02:00
Tom Hvitved	f63e55c1fd	Rust: Handle chained let expressions	2025-08-14 10:36:43 +02:00
Tom Hvitved	fd1d9401c0	Rust: Add tests for chained let expressions	2025-08-14 10:36:41 +02:00
Tom Hvitved	2b2bd17d10	Rust: Add more SSA tests	2025-07-04 10:47:56 +02:00
Arthur Baars	bc35599f1a	Rust: rename MacroStmts to MacroBlockExpr	2025-05-02 16:23:02 +02:00
Arthur Baars	9ca6706550	Rust: make MacroStmts a CFG Expr	2025-05-02 16:22:59 +02:00
Simon Friis Vindum	b0c40111e7	Rust: Tweaks to stringification	2025-04-03 12:45:08 +02:00
Simon Friis Vindum	17d6cb626d	Rust: Assume in the CFG that lowercase identifiers are in fact identifiers	2025-03-17 08:40:02 +01:00
Simon Friis Vindum	0f627ae59a	Merge branch 'main' into rust-fewer-no-match	2025-02-21 13:20:50 +01:00
Simon Friis Vindum	df2a110b41	Rust: Changes based on PR comments	2025-02-21 11:15:54 +01:00
Simon Friis Vindum	4a01a4df37	Rust: Remove nonsensical no-match CFG edges	2025-02-20 10:51:33 +01:00
Tom Hvitved	889ef33006	Rust: Update expected test output	2025-02-20 10:19:41 +01:00
Simon Friis Vindum	7476aeaabf	Rust: Handle ref patterns in data flow ... To do this we: * Let SSA writes target the name inside identifier patterns instead of the pattern itself * Include relevant names in the data flow graph * Add a store step from a identifier patterns with `ref` into the contained name. So we have an edge `ref a` -> `a` that stores in the reference content type.	2025-02-12 13:20:11 +01:00
Simon Friis Vindum	a09b37edc3	Rust: Expand on toString of IdentPat	2025-02-11 15:25:54 +01:00
Tom Hvitved	1bbb3fde96	Rust: Take nested functions into account when resolving variables	2025-01-15 09:44:53 +01:00
Tom Hvitved	fe216aefc7	Rust: Add tests for nested functions	2025-01-15 09:43:43 +01:00
Tom Hvitved	33e6d6392c	Rust: Avoid location-based variable analysis	2025-01-13 11:08:00 +01:00
Tom Hvitved	d03b284a0a	Rust: Add more variable tests	2025-01-13 10:46:54 +01:00
Tom Hvitved	7376449d38	Rust: Rename variables.rs to main.rs	2025-01-13 10:46:53 +01:00
Simon Friis Vindum	5c64a8c948	Rust: Accept expected changes and fix other CI complaints	2025-01-03 16:38:11 +01:00
Simon Friis Vindum	a28ddd642c	Rust: Add variables example with let statement in macro	2024-12-19 13:12:45 +01:00
Simon Friis Vindum	43dd3ebf14	Rust: Add variables test with captured self parameter	2024-12-06 14:07:42 +01:00
Paolo Tranquilli	b59b90ba6d	Rust: accept test changes	2024-12-06 09:12:16 +01:00
Simon Friis Vindum	c62b7d139f	Merge branch 'main' into rust-df-array	2024-12-04 13:55:26 +01:00
Paolo Tranquilli	b6f0ae0460	Rust: accept test changes	2024-12-04 11:05:01 +01:00
Simon Friis Vindum	3346b64e96	Rust: Add variables and data flow array tests	2024-12-03 14:14:41 +01:00
Simon Friis Vindum	d06b5833cf	Rust: Add an additional variables test with a self parameter	2024-11-25 16:08:26 +01:00
Paolo Tranquilli	a82d267223	Rust: accept test changes	2024-11-21 16:03:56 +01:00
Paolo Tranquilli	6a6154913b	Merge branch 'main' into redsun82/rust-str	2024-11-21 11:50:38 +01:00
Paolo Tranquilli	d609c1b7e6	Rust: fix OrPat.toString	2024-11-20 17:00:13 +01:00
Paolo Tranquilli	fd45e11f4b	Rust: accept test changes	2024-11-20 16:49:20 +01:00
Simon Friis Vindum	93f6f042e1	Rust: Update expected file	2024-11-20 12:39:31 +01:00
Paolo Tranquilli	57973df795	Rust: make CallExpr.toString use call identifier if present	2024-11-20 10:00:10 +01:00
Simon Friis Vindum	0e025abd13	Rust: Add custom toString predicate for path expression	2024-11-18 09:09:03 +01:00
Simon Friis Vindum	74a6d9812d	Rust: Add SSA test for async blocks	2024-11-10 11:33:03 +01:00
Paolo Tranquilli	26839f5e15	Merge pull request #17882 from github/redsun82/rust-resolve ... Rust: extract some resolved paths	2024-11-08 13:33:41 +01:00
Tom Hvitved	9392bf796a	Rust: Include literals in the CFG for literal patterns	2024-11-06 09:21:52 +01:00
Paolo Tranquilli	e5a199b821	Rust: accept test changes due to toString implementations	2024-10-31 16:02:56 +01:00
Simon Friis Vindum	85e59c9920	Merge branch 'main' into rust-saa-additions	2024-10-21 13:30:02 +02:00
Simon Friis Vindum	272d12fee1	Rust: Step correctly over method arguments ... Previously the math was wrong and the first argument (with `i` being `0`) had two edges out of it.	2024-10-18 11:19:07 +02:00
Simon Friis Vindum	a1db359ba1	Rust: Add variable tests involving borrowing and capture	2024-10-16 13:05:53 +02:00
Tom Hvitved	b0ea175021	Rust: Add more variables tests	2024-10-11 19:36:04 +02:00
Arthur Baars	5f45402cf7	Merge remote-tracking branch 'upstream/main' into aibaars/rust-macros	2024-10-11 15:40:07 +02:00
Arthur Baars	9fad5410c0	Rust: implement CFG for macros	2024-10-11 10:37:24 +02:00
Tom Hvitved	756affa4aa	Rust: Fix bugs in LetExprTree and MethodCallExprTree	2024-10-10 21:05:01 +02:00
Tom Hvitved	2f14ec9f2a	Rust: Include patterns in the CFG	2024-10-10 21:05:00 +02:00
Tom Hvitved	f6f54c6e3b	Rust: Include parameters in the CFG	2024-10-10 21:04:58 +02:00
Tom Hvitved	5afd2d5bf0	Rust: Account for captured variables	2024-10-09 10:17:01 +02:00