17 Commits

Author	SHA1	Message	Date
Tom Hvitved	ddd05b5d1b	Rust: Never skip match scrutinee/patterns in data flow	2024-12-16 15:12:16 +01:00
Tom Hvitved	9f2b436d35	Rust: Never skip assignment LHS in data flow	2024-12-16 15:12:15 +01:00
Michael Nebel	864c34fc03	Rust: Update all test util paths to point to the new location.	2024-12-12 15:02:59 +01:00
Tom Hvitved	2fb670a27c	Rust: Do not print unit type in data flow	2024-11-25 19:14:44 +01:00
Paolo Tranquilli	e7c10c6325	Merge branch 'main' into redsun82/rust-str	2024-11-22 14:44:48 +01:00
Simon Friis Vindum	fffeac6a13	Rust: Extend data flow library instantiation for global data flow	2024-11-21 15:11:25 +01:00
Paolo Tranquilli	fd45e11f4b	Rust: accept test changes	2024-11-20 16:49:20 +01:00
Paolo Tranquilli	b4af5a61d1	Rust: more advanced toString	2024-11-20 16:21:23 +01:00
Paolo Tranquilli	4d04c5af83	Rust: fix non-existent string representations	2024-11-20 12:08:51 +01:00
Simon Friis Vindum	6ae979293c	Rust: Accept inconsistencies	2024-11-19 13:26:01 +01:00
Simon Friis Vindum	7cb9d07f59	Rust: Fix default source and sink in inline flow test	2024-11-15 11:59:48 +01:00
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	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	7f344fab78	Rust: Add data flow consistency queries	2024-11-04 10:17:50 +01:00
Simon Friis Vindum	44bebedae6	Rust: Add basic skeleton setup for data flow	2024-10-30 13:16:26 +01:00