14 Commits

Author	SHA1	Message	Date
kr.angelov	1b85355d47	now we store version number in every .gfo file. If the file is compiled with different compiler then we simply recompile it.	2011-11-15 19:12:22 +00:00
krasimir	8a0b3b8ba8	optimization in the parser for large lexicons. Now, the parser is slightly slower for grammars with a small lexicon but 3-4 times faster for the English Resource Grammar used in combination with Oxford Advanced Learners Dictionary	2010-12-14 08:46:22 +00:00
krasimir	9aa7c88c5a	native representation for HOAS in PMCFG and incremental type checking of the parse forest	2010-08-09 10:10:08 +00:00
krasimir	5ea08bd2e8	bugfix in the decoding of literals in PGF.Binary	2010-07-13 08:24:03 +00:00
krasimir	d777e8e52f	dead code elimination for PGF. Note: the produced grammars will not work well with metavariables and high-order abstract syntax	2010-06-09 11:32:59 +00:00
krasimir	5e2feb4b60	since now we don't do common subexpression elimination for PGF we could simplify the PMCFG generation	2010-05-26 09:37:32 +00:00
krasimir	ce99935812	now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types.	2010-03-24 11:11:55 +00:00
krasimir	a74a81b8a1	pattern @ should be propagated to PGF	2010-03-18 20:21:57 +00:00
krasimir	0c2944fa7f	syntax for inaccessible patterns in GF	2010-03-18 19:34:30 +00:00
krasimir	3685595ece	cleanup the code of the PGF interpreter and polish the binary serialization to match the preliminary specification	2010-01-27 09:39:14 +00:00
krasimir	a039808141	PGF is now real synchronous PMCFG	2010-01-17 21:35:36 +00:00
krasimir	362f333ebd	now the linearization is completely based on PMCFG	2010-01-17 17:05:21 +00:00
krasimir	76debee2c1	remove the old parsing code and the -erasing=on flag	2009-12-14 10:54:22 +00:00
krasimir	c92f9d1c0c	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00