21 Commits

Author	SHA1	Message	Date
Krasimir Angelov	bdb9a20f7e	fix int->size_t types	2023-01-26 21:53:59 +01:00
Krasimir Angelov	d87b3ce166	get rid of the destructive updates for seq_ids	2022-01-10 10:27:09 +01:00
Krasimir Angelov	00f857559d	restore the sharing of sequences. Shrinks the grammar by ~45%	2022-01-08 19:49:42 +01:00
krangelov	48c40f3170	fix the pretty printing for linearization variables	2021-12-14 11:08:27 +01:00
krangelov	0b8a1a0de8	fix the order in which HOAS variables are shown in pgf_graphviz_abstract_tree	2021-12-04 18:09:08 +01:00
krangelov	a3d680f317	restored graphvizAbstractTree	2021-12-04 16:05:24 +01:00
krangelov	15c03816ea	implemented nonExist	2021-12-01 14:10:34 +01:00
krangelov	4a68ea93b3	generate and store the ranges for all linearization rules	2021-11-26 14:05:03 +01:00
krangelov	857e85c8a1	implement pre {..}	2021-11-25 19:04:35 +01:00
krangelov	3fd668e525	fix failure is the printout is empty	2021-11-25 13:51:19 +01:00
krangelov	070f63a049	complete showPGF	2021-11-17 14:03:04 +01:00
krangelov	2a5434df96	avoid using the wildcard constant	2021-10-12 19:07:21 +02:00
krangelov	9fe6ee3cce	bugfixes for showContext & showType	2021-09-14 19:54:38 +02:00
krangelov	a7bf47cb87	added showContext	2021-09-14 19:10:01 +02:00
krangelov	f7aad0c0e0	added createCategory, dropCategory	2021-09-09 17:33:25 +02:00
krangelov	3e7d80bf30	reading & showing unicode identifiers	2021-08-27 14:44:42 +02:00
krangelov	5271ddd10b	PgfPrinter::nprintf dynamically reallocates the printing buffer if needed	2021-08-27 11:57:58 +02:00
krangelov	8195f8b0cb	support for unbounded integers	2021-08-27 11:31:10 +02:00
krangelov	b28e891a6b	a type annotated version of marshaller/unmarshaller	2021-08-26 17:27:34 +02:00
krangelov	69f74944e2	The unmarshaller is no longer stored in the PGF object but is passed explicitly to each function that needs it.	2021-08-26 16:14:56 +02:00
krangelov	275addfcbe	pretty printing for expressions and types	2021-08-26 15:46:16 +02:00