6 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	2e90c80a6f	Rust: accept test changes	2024-11-22 13:45:00 +01:00
Simon Friis Vindum	6ae979293c	Rust: Accept inconsistencies	2024-11-19 13:26:01 +01:00
Simon Friis Vindum	6a3d417836	Rust: Implement enclosing callable for additional classes	2024-11-11 11:11:29 +01:00
Simon Friis Vindum	7f344fab78	Rust: Add data flow consistency queries	2024-11-04 10:17:50 +01:00
Arthur Baars	fdf99e2f50	Rust: filter out definitions that are inside expanded macros	2024-10-28 11:27:59 +01:00
Arthur Baars	c4126e4410	Rust: add tests for Definitions.qll	2024-10-28 11:17:48 +01:00