11 Commits

Author	SHA1	Message	Date
Geoffrey White	e9a13aec1d	Merge branch 'main' into resolvable	2024-11-25 14:33:56 +00:00
Geoffrey White	6e627f6543	Rust: Add new consistency check failure.	2024-11-22 12:21:13 +00:00
Paolo Tranquilli	fd45e11f4b	Rust: accept test changes	2024-11-20 16:49:20 +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	b4bb24aa43	Merge remote-tracking branch 'upstream/main' into aibaars/rust-macros	2024-10-11 13:33:50 +02:00
Arthur Baars	796da126b8	Rust: update expected output	2024-10-10 15:52:57 +02:00
Geoffrey White	2e772a80c4	Rust: Accept minor consistency .expected changes.	2024-10-03 15:15:32 +01:00
Tom Hvitved	bbd0aa929f	Rust: Add more missing CFG trees	2024-10-01 21:01:26 +02:00
Tom Hvitved	2018b6361d	Rust: Accept CFG inconsistencies	2024-09-30 15:45:15 +02:00
Tom Hvitved	bafef791f7	Rust: Add extraction error consistency query	2024-09-30 10:28:24 +02:00