514 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	cd2038a8f8	Rust: Setup inline flow test library	2024-11-11 16:41:59 +01:00
Simon Friis Vindum	6a3d417836	Rust: Implement enclosing callable for additional classes	2024-11-11 11:11:29 +01:00
Simon Friis Vindum	55796badaf	Rust: Mark SSA data flow nodes in output and hide them in paths	2024-11-11 08:48:48 +01:00
Simon Friis Vindum	dadc6059a8	Rust: Implement enclosing callable	2024-11-06 16:23:24 +01:00
Simon Friis Vindum	60986d8c9b	Rust: Fix unique type data flow inconsistency	2024-11-06 13:48:10 +01:00
Simon Friis Vindum	262a9f0cfa	Rust: Make fixes in data flow based on PR feedback	2024-11-05 15:37:44 +01:00
Simon Friis Vindum	d9636b37b6	Rust: Add data flow test with assignment to mutable variable	2024-11-04 20:00:36 +01:00
Simon Friis Vindum	6b25bea2e5	Rust: Accept consistency results	2024-11-04 11:28:26 +01:00
Simon Friis Vindum	a3c7d5a469	Merge branch 'main' into rust-data-flow-consistency	2024-11-04 11:10:48 +01:00
Simon Friis Vindum	7f344fab78	Rust: Add data flow consistency queries	2024-11-04 10:17:50 +01:00
Simon Friis Vindum	82076ee0b8	Rust: Propagate data flow through a few expression types	2024-11-03 16:12:59 +01:00
Simon Friis Vindum	2bab29d31b	Rust: Add local data flow step tests	2024-11-03 16:12:58 +01:00
Simon Friis Vindum	a36095d85b	Rust: Add local data flow test with if expression	2024-11-01 11:28:10 +01:00
Simon Friis Vindum	44bebedae6	Rust: Add basic skeleton setup for data flow	2024-10-30 13:16:26 +01:00