7 Commits

Author	SHA1	Message	Date
Tom Hvitved	a3ad6f5697	Ruby: Weaken scopeNoFirst check	2024-09-26 11:07:15 +02:00
Tom Hvitved	d299380a5a	Rust: Enable CFG consistency checks	2024-09-25 10:56:44 +02:00
Tom Hvitved	1988397f93	Make shared CFG construction library a parameterized module	2023-08-03 09:39:30 +02:00
Tom Hvitved	79ee5112fc	Ruby: Add toString functionality consistency queries	2023-06-23 09:42:03 +02:00
Arthur Baars	560413f94a	Address comments	2021-12-17 14:04:25 +01:00
Arthur Baars	83a8a60676	Ruby: CFG: consistency query to check that Expr nodes are post-order	2021-12-17 12:21:18 +01:00
Arthur Baars	976daddd36	Move files to ruby subfolder	2021-10-15 11:47:28 +02:00