17 Commits

Author	SHA1	Message	Date
Simon Friis Vindum	f7c74664fa	Rust: Improve a few toString implementations	2025-09-09 13:46:51 +02:00
Paolo Tranquilli	4df479471f	Rust: accept test changes	2025-08-18 15:55:06 +02:00
Paolo Tranquilli	a8671452fc	Rust: add upgrade script	2025-08-18 13:06:30 +02:00
Paolo Tranquilli	92e94695e7	Rust: add ForBinder case in ClosureExpr and accept test changes	2025-08-12 17:29:11 +02:00
Paolo Tranquilli	338572f256	Rust: run codegen again	2025-08-12 17:04:26 +02:00
Paolo Tranquilli	355fd85c23	Codegen: remove unneeded has|getNumberOf in instance tests	2025-06-25 12:02:13 +02:00
Paolo Tranquilli	6bbf1e3bc1	Codegen: use one generated test file per directory ... This collapses all generated test QL sources into a single one per directory, using query predicates to run the different tests. This should improve the time required to run generated tests.	2025-06-25 11:44:54 +02:00
Arthur Baars	943dd8e70c	update output	2025-05-30 22:56:06 +02:00
Arthur Baars	f0db47b571	Rust: run codegen	2025-05-30 11:51:35 +02:00
Paolo Tranquilli	db18d1046b	Rust: rename getTy -> getTypeRepr	2024-12-03 11:17:08 +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
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
Arthur Baars	69a172c7ba	Rust: accept trivial expected output	2024-09-20 15:51:06 +02:00
Arthur Baars	db06ad2ac3	Rust: codegen	2024-09-20 15:51:03 +02:00
Arthur Baars	80d32a2333	Rust: re-generate code	2024-09-19 13:00:46 +02:00