13 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	57973df795	Rust: make CallExpr.toString use call identifier if present	2024-11-20 10:00:10 +01:00
Paolo Tranquilli	fce13aeb35	Rust: accept test changes	2024-11-19 17:50:14 +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
Tom Hvitved	3e77dd8b6b	Rust: Fix extraction errors	2024-09-30 10:36:56 +02:00
Tom Hvitved	bafef791f7	Rust: Add extraction error consistency query	2024-09-30 10:28:24 +02:00
Arthur Baars	e6e0e6eb66	Rust: accept expected output	2024-09-20 15:51:01 +02:00
Arthur Baars	a9423f4bdb	Rust: codegen	2024-09-20 15:50:59 +02:00
Arthur Baars	80d32a2333	Rust: re-generate code	2024-09-19 13:00:46 +02:00
Tom Hvitved	4dd3059f16	Rust: Run code generator	2024-09-16 13:39:55 +02:00
Arthur Baars	2a88086544	Rust: AST: add docs with examples for qltest	2024-09-12 17:58:15 +02:00