54 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Michael Sippel	1869176bb7	make MsbCont morphism generic over item type	2025-03-20 19:49:03 +01:00
Michael Sippel	4b824cbb7c	unicode morphisms: remove LE- suffix from UTF32 since we are using native.UInt32	2025-03-20 17:26:18 +01:00
Michael Sippel	1d10b1bf61	improve length prefix array macros	2025-03-20 17:25:40 +01:00
Michael Sippel	f67f8c0118	replace x86.T with native.T	2025-03-20 16:28:16 +01:00
Michael Sippel	e29a5a3475	generate all length prefix array variants via macro	2025-03-20 16:16:49 +01:00
Michael Sippel	4c7302c4a3	digit morphisms: print message to stderr when digit is out of range	2025-03-19 17:28:54 +01:00
Michael Sippel	17a1e499d8	add lenpfx to valsep morphism	2025-03-19 17:28:26 +01:00
Michael Sippel	f8725c0624	unicode morphisms: switch to 0 terminator instead of '\0'	2025-03-19 17:28:04 +01:00
Michael Sippel	24b332c682	add morphism for unix-timestamp to iso8601	2025-03-19 17:27:04 +01:00
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	65cd0b6853	add morphisms for angle, temperature & real numbers	2025-03-18 14:06:05 +01:00
Michael Sippel	6f85e004b9	improve posint morphisms	2025-03-18 14:05:42 +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	2d92bce91b	includes & errors in morphisms	2025-03-15 19:19:20 +01:00
Michael Sippel	90eb43475b	gitignore	2025-03-15 18:49:39 +01:00
Michael Sippel	2eb3728027	add test script	2025-03-15 18:49:29 +01:00
Michael Sippel	d0118b56b1	add morphisms ... - unicode - value delimited seq - zigzag encoding (still lacking any way to get to signed integer yet'..)	2025-03-15 18:49:06 +01:00
Michael Sippel	630948139b	move header & library for morphism data structures to 'runtime' diretcory ... - adapt Makefile for code size benchmark - write build files to 'target' directory	2025-03-15 18:45:52 +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	9e871a97a4	remove deprecated .gitignore	2025-02-20 05:23:32 +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	d6107601a6	morphisms: add posint to u64 and vice-versa	2025-02-20 02:23:58 +01:00
Michael Sippel	24e28e7bb5	move code size benchmark to separate directory	2025-02-16 17:25:23 +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	c270efbb87	add radix morphism for little and big endian	2025-02-14 13:54:59 +01:00
Michael Sippel	638bb690aa	nullterm/lenprefix : UInt8 as base type,strip char~ascii	2025-02-14 13:54:10 +01:00
Michael Sippel	eb29fad4b2	code size benchmark: separate morph function to avoid overhead from scanf/printf	2025-02-14 13:51:59 +01:00
Michael Sippel	959d2f9185	wip generating map morphism	2025-02-05 11:26:55 +01:00
Michael Sippel	e07b3585f9	add C functions for map lengthPrefix	2025-02-05 11:25:53 +01:00
Michael Sippel	10dab73876	digit morphisms: switch char to uint8_t	2025-02-05 11:10:11 +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	e544b82a4c	morphism base: remove syntax sugar for Seq for now	2025-02-03 17:52:36 +01:00
Michael Sippel	8e0ac3cbbc	gitignore	2025-02-03 17:07:23 +01:00
Michael Sippel	23b2dcaf82	posint morph code size benchmark	2025-02-03 17:05:19 +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
Michael Sippel	f65dfee2b3	test.c: fmt& fix radix in call to morph_endianness	2025-01-29 19:37:33 +01:00