22 commits

Author	SHA1	Message	Date
Michael Sippel	8b8acb81a6	generated main(): use sizeof for buffer sizes	2025-03-18 14:09:01 +01:00
Michael Sippel	5d1ea93e20	add float & double representations to C-generator	2025-03-18 14:07:14 +01:00
Michael Sippel	6cfb25a1a7	fix warnings	2025-03-15 19:48:02 +01:00
Michael Sippel	45453a04f4	split main.rs into separate files	2025-03-15 19:37:03 +01:00
Michael Sippel	5a64334b1d	add include header in morphism-base	2025-03-15 18:28:57 +01:00
Michael Sippel	5993923338	apply substitution before creating symbol name when generating instantiations	2025-03-15 18:27:21 +01:00
Michael Sippel	ffd190890d	improve encode_type_to_symbol to handle complex types	2025-03-15 18:22:46 +01:00
Michael Sippel	186c12fc5d	improve output	2025-02-20 05:35:40 +01:00
Michael Sippel	44ff30e599	encode all literal-character types as ascii code for compatiblity with c symbol names	2025-02-20 05:26:37 +01:00
Michael Sippel	dfc9ced33c	msb continuation ((ammend))	2025-02-20 05:24:50 +01:00
Michael Sippel	4a5977ec8e	add morphisms to Msb-ContinuationBit Sequences	2025-02-20 05:22:28 +01:00
Michael Sippel	b88251b9c4	add length_prefix_array_map_8_to_8	2025-02-20 05:16:31 +01:00
Michael Sippel	cea1f36e63	read morphism body definitions from morphism-base file and generate instantiations based on type-variable substitutions	2025-02-16 17:08:55 +01:00
Michael Sippel	3f4a99ad79	generate instanitated symbol name	2025-02-16 00:55:14 +01:00
Michael Sippel	afa326ed23	more work on code generation	2025-02-14 14:07:18 +01:00
Michael Sippel	959d2f9185	wip generating map morphism	2025-02-05 11:26:55 +01:00
Michael Sippel	59c0ea8e57	add morphisms to MorphismBase, first generation of C code for pipe-utility from ladder types	2025-02-03 19:21:53 +01:00
Michael Sippel	1068b8ed45	load multiple morphism base files	2025-02-03 18:41:14 +01:00
Michael Sippel	88978d9008	function to determine C-type to represent a ladder type, for morphism generate expected C-signatures & calls	2025-02-03 17:55:18 +01:00
Michael Sippel	e500a24d2a	read morphism base from file	2025-02-01 12:40:45 +01:00
Michael Sippel	f0f8adbbbc	parse type terms	2025-01-31 17:56:08 +01:00
Michael Sippel	d66dc0e78b	initial parser for morphism-base using chumsky	2025-01-29 19:37:33 +01:00