7 Commits

Author	SHA1	Message	Date
Paolo Tranquilli	f1233b14e8	Rust: fix generated hierarchy	2024-09-16 10:06:01 +02:00
Paolo Tranquilli	faf1eeeb0d	Rust: introduce typed labels	2024-09-13 13:57:14 +02:00
Paolo Tranquilli	3cd8aaf4b0	Rust: simplify rust doc test annotation	2024-09-09 08:59:17 +02:00
Paolo Tranquilli	7e1290aa74	Rust: reuse shared rust trap library	2024-08-30 16:08:37 +02:00
Paolo Tranquilli	4f0fe1ce3a	Rust: bazel packaging	2024-08-30 13:05:46 +02:00
Paolo Tranquilli	590a146b49	Rust: some basic extraction of function names (with locations!)	2024-08-29 17:58:50 +02:00
Paolo Tranquilli	f40901f391	Rust: archiving + skeleton def translator	2024-08-28 17:15:49 +02:00