9 Commits

Author	SHA1	Message	Date
Geoffrey White	983179b84e	Rust: Autoformat.	2024-10-15 11:23:16 +01:00
Geoffrey White	ac9a8d602c	Rust: Add metadata to the original CFG consistency query.	2024-10-11 17:01:47 +01:00
Geoffrey White	85f2582afd	Rust: Move CFG consistency logic into a library.	2024-10-11 16:53:45 +01:00
Tom Hvitved	aa5e0c39ba	Rust: Implement ConditionalCompletionSplitting	2024-10-03 21:25:50 +02:00
Tom Hvitved	c4eafb2cf3	Rust: Skip ParenExprs in the CFG	2024-10-01 21:26:49 +02:00
Tom Hvitved	e8cb3490e6	Rust: Refine deadEnd consistency check	2024-10-01 21:02:55 +02:00
Tom Hvitved	17770af491	Rust: Account for let statement else blocks in deadEnd	2024-10-01 21:00:39 +02:00
Tom Hvitved	24f39ccae2	Rust: Weaken scopeNoFirst check	2024-09-26 11:09:52 +02:00
Tom Hvitved	d299380a5a	Rust: Enable CFG consistency checks	2024-09-25 10:56:44 +02:00