7 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	14d48e9d58	Add black pre-commit hook ... This switched `codegen` from the `autopep8` formatting to the `black` one, and applies it to `bulk_mad_generator.py` as well. We can enroll more python scripts to it in the future.	2025-06-10 12:25:39 +02:00
Tom Hvitved	be7aca9780	Address review comments	2024-11-21 10:32:06 +01:00
Tom Hvitved	c8736e8a3d	Rust: Auto-generate CfgNodes.qll	2024-11-21 10:21:11 +01:00
Paolo Tranquilli	a5e3fbf367	Codegen/Rust: allow breaking up schema file	2024-09-19 15:57:42 +02:00
Paolo Tranquilli	f40901f391	Rust: archiving + skeleton def translator	2024-08-28 17:15:49 +02:00
Paolo Tranquilli	1155b97232	Codegen: mark generated checked in files as such	2023-05-05 09:29:16 +02:00
Paolo Tranquilli	cdd4e8021b	Move swift/codegen to misc/codegen	2023-02-27 09:46:48 +01:00