4 Commits

Author	SHA1	Message	Date
Lorenzo Volpi	e5f631d4bc	reworked data model	2023-11-10 01:24:18 +01:00
Lorenzo Volpi	f346005515	update trailing char	2023-11-08 17:26:44 +01:00
Lorenzo Volpi	469dcb5898	binary quantifier completed, tests added. errors updated.	2023-07-27 03:16:41 +02:00
Lorenzo Volpi	1347ac3c9d	Binary quantifier added, support added and tested.	2023-07-26 00:38:23 +02:00