8337 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
krangelov	7bbdbbe917	update the testsuite for python	2021-12-09 10:00:31 +01:00
krangelov	b0d364f8e8	implement tabularLinearize	2021-12-09 09:51:09 +01:00
krangelov	09de911499	drop the symbol_meta method	2021-12-09 08:56:32 +01:00
krangelov	72982d2344	added testsuite for linearization	2021-12-09 08:46:29 +01:00
krangelov	0069946f42	linearization for HOAS expressions	2021-12-09 08:45:53 +01:00
krangelov	d1b1cd6e8c	an API for constructing HOAS expressions	2021-12-09 07:46:49 +01:00
krangelov	e312a10882	fix a potential crash	2021-12-08 19:34:28 +01:00
krangelov	a7686cddde	detect an attempt to linearize tree with partial application	2021-12-08 19:32:53 +01:00
krangelov	3f8642d0b9	linearize discontinuous categories with linref	2021-12-08 15:49:13 +01:00
krangelov	ac3b654b6c	handle functions without lin rules as well as meta variables	2021-12-08 12:00:53 +01:00
krangelov	cd3f290ff2	always generate PMCFG for the literal categories	2021-12-07 15:51:34 +01:00
krangelov	f71ba14f6a	fix bracketed linearization for literals	2021-12-07 15:51:05 +01:00
krangelov	e177aa5d01	added graphiviz.cxx	2021-12-06 19:20:20 +01:00
krangelov	2c79b81565	missed graphviz.h	2021-12-06 19:05:32 +01:00
krangelov	d274f4856e	compile lindef & linref rules	2021-12-06 15:47:57 +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	3d1123eed4	restore graphvizParseTree	2021-12-04 14:12:23 +01:00
krangelov	bbff79aaa3	added API for print names	2021-12-03 16:49:36 +01:00
krangelov	655576c291	the variable labeling should start with 0.	2021-12-03 15:00:04 +01:00
krangelov	348963d13c	flush the pre stack at the end of the linearization as well	2021-12-03 14:52:31 +01:00
krangelov	d10f63c16b	fix the ranges for brackets around pre	2021-12-03 13:55:29 +01:00
krangelov	0132a70b94	take into account the order in which CAPIT && ALL_CAPIT appears	2021-12-03 11:40:00 +01:00
krangelov	df82e1e7ca	complete the linearization of pre	2021-12-03 11:29:01 +01:00
krangelov	baf78528d3	implement bracketedLinearize	2021-12-03 09:44:03 +01:00
krangelov	dc344fccc0	detect failures to resolve linearization	2021-12-02 15:28:48 +01:00
krangelov	9ca68b1b4b	support for Int,Float and String	2021-12-01 15:54:34 +01:00
krangelov	15c03816ea	implemented nonExist	2021-12-01 14:10:34 +01:00
krangelov	7e1a2447c2	PgfSymbolLit is the same as PgfSymbolCat for the linearizer	2021-12-01 13:58:12 +01:00
krangelov	03a5353c08	implement CAPIT & ALL_CAPIT	2021-12-01 13:56:52 +01:00
krangelov	0562d3fbdb	various small bugfixes	2021-12-01 13:56:14 +01:00
krangelov	8e19b7d31c	fix the memory leaks in the linearizer	2021-12-01 10:30:08 +01:00
krangelov	483f93822c	fix in the PMCFG generation	2021-12-01 10:13:01 +01:00
krangelov	9ed74d7772	basic linearization is working	2021-11-30 17:54:36 +01:00
krangelov	ae08d42d6e	started the linearizer	2021-11-26 18:44:17 +01:00
krangelov	3134a89307	reduce import symbols	2021-11-26 15:00:24 +01:00
krangelov	4a68ea93b3	generate and store the ranges for all linearization rules	2021-11-26 14:05:03 +01:00
krangelov	794e15aca3	fix in the PMCFG generation	2021-11-26 08:32:00 +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	f845889702	fix potential crashes	2021-11-25 11:50:09 +01:00
krangelov	fa1d7cf859	started on the typechecker	2021-11-19 10:39:06 +01:00
krangelov	1107b245da	remove obsolete code	2021-11-19 09:38:04 +01:00
krangelov	a5cbf3e894	fix other potential allocation failures	2021-11-18 18:16:41 +01:00
krangelov	9dc80f7706	fix the crash in the python testsuite	2021-11-18 14:11:35 +01:00
krangelov	f8fb64a53e	added test case for showPGF	2021-11-18 13:55:57 +01:00
krangelov	06980404a9	correctly distinguish between fun and data judgements	2021-11-18 13:50:09 +01:00
krangelov	7ff38bfcbe	show field names in double quotes	2021-11-18 11:43:44 +01:00
krangelov	09731b985c	fix showPGF for the case where a category has no fields	2021-11-18 11:41:24 +01:00
krangelov	5ada91f026	fix the serialization for empty strings	2021-11-18 11:36:18 +01:00