109 Commits

Author	SHA1	Message	Date
gdetrez	f2df9631fd	Adding a missing file for the tokenizer...	2011-03-17 16:04:21 +00:00
aarne	e4eccba450	a simple clitic analysis command 'ca'	2011-02-06 16:19:24 +00:00
krasimir	adbe9cd94d	fix the computation of abstract expressions in the presence of implicit arguments	2011-01-08 20:55:58 +00:00
krasimir	e41df3c873	bugfix in the handling of implicit arguments in the typechecker	2011-01-08 12:55:50 +00:00
krasimir	e52f8dda61	bugfix: setProbabilities should be more robust when there are missing probabilities for some functions or categories	2010-12-17 09:09:07 +00:00
krasimir	f62d6a7ed4	now every parse state keeps reference only to the concrete and the abstract syntaxes but not to the whole PGF	2010-12-14 17:20:53 +00:00
aarne	22a3eb2f0a	work-around in Tree.expr2tree to make Paraphrase work	2010-12-14 14:36:05 +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	92266359d3	fixed typos in the documentation for PGF.Parse	2010-12-08 10:32:18 +00:00
krasimir	a9218ff45c	simple refactoring in PGF.Macros and related	2010-12-06 14:19:51 +00:00
aarne	1b24f4490c	moved PGF.ToApi to GF.Compile.ToAPI	2010-12-07 18:05:13 +00:00
ra.monique	1e5a0c9d9e	no more IO in the syntax to API translator	2010-12-06 10:15:14 +00:00
aarne	86bc73cb03	vt -api with conversion to resource API names	2010-12-06 09:53:04 +00:00
ra.monique	faaddfe54b	added syntax to api translation module	2010-12-05 19:51:19 +00:00
krasimir	159b68f946	command ai in the shell now shows the probability of the tree	2010-11-24 12:51:54 +00:00
krasimir	fe1205059b	operations in the abstract syntax	2010-11-12 19:37:19 +00:00
ramona.enache	cd69929b4d	added giza Alignments with command ga and merged the rendering algorithm for graphviz and giza alignments	2010-10-31 13:39:01 +00:00
krasimir	9802d534c0	when faced with hard unification problem the type checker should just postpone the decision instead of failing immediately. added test case as well	2010-10-25 15:47:33 +00:00
krasimir	75e8cba592	when we print the bracketed string it is useful to print the attached metavariables as well	2010-10-25 12:21:12 +00:00
krasimir	8c751d404f	change the TcM monad to continuation passing style. The old monad caused stack overflow for large search spaces	2010-10-21 15:01:52 +00:00
krasimir	09dde495ce	support for proof search with high-order functions	2010-10-21 12:47:26 +00:00
krasimir	43cbc6693d	bugfix in the term generation	2010-10-20 13:36:39 +00:00
krasimir	6e23da41a2	fixed typo which broke the parsing with -openclass	2010-10-20 09:04:48 +00:00
krasimir	5acec7be21	in the type checker monad we should use lazy pattern matching because otherwise we force the exhaustive tree generation to be strict	2010-10-19 13:04:41 +00:00
krasimir	51452d4ef0	added explicit depth parameter to the parsing API and the corresponding command in the shell	2010-10-18 16:51:25 +00:00
krasimir	afce46b386	typo in PGF.TypeCheck which spoiled the previous patch	2010-10-18 16:50:55 +00:00
krasimir	7fb5fddbb8	now we use the GF reasoner to fillin meta variables in the abstract trees generated from the parser	2010-10-18 15:55:14 +00:00
krasimir	9fdc7134e8	now since the type checking monad TcM is nondeterministic we can use the same monad in PGF.Forest.getAbsTrees	2010-10-14 14:28:40 +00:00
krasimir	cc2232e289	bugfix in PGF.VisualizeTree for handling trees with implicit arguments	2010-10-13 13:32:48 +00:00
krasimir	f4603cf9d4	fix PGF.Generate.restart. The restart should be done only if there are some solutions found	2010-10-13 12:38:51 +00:00
krasimir	95733f0b1b	the exhaustive/random generator now knows how to handle computable functions in the types	2010-10-11 17:18:28 +00:00
krasimir	e7f6239bc6	now the generation from template with meta-variables respects the dependent types	2010-10-11 09:59:57 +00:00
krasimir	7d9bbea985	backtracking for random generation is not enough. we must restart the search after each solution	2010-10-02 13:34:58 +00:00
krasimir	be9ad26aea	refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax	2010-10-02 13:03:57 +00:00
krasimir	4e715c3952	the first revision of exhaustive and random generation with dependent types. Still not quite stable.	2010-09-22 15:49:16 +00:00
krasimir	bc92927692	cleanup and export the Probabilistic API from PGF	2010-09-22 09:06:19 +00:00
krasimir	efbc9e9d6d	bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be supported in GF	2010-09-12 12:26:38 +00:00
krasimir	b0e78f33bc	PGF.Expr.normalForm does variable renaming	2010-08-30 07:37:12 +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	71ea541765	two new functions in the PGF API: mkAbs, unAbs	2010-07-31 16:40:16 +00:00
krasimir	b227c8a586	now the meta id of the meta variables is accessible via the PGF API	2010-07-31 12:52:20 +00:00
krasimir	ebe5b87738	added function unType in PGF	2010-07-31 12:47:10 +00:00
krasimir	df555d54fb	fix the algorithm for items cutting in the partial parser	2010-07-15 14:01:51 +00:00
krasimir	ef68e209c2	fix the loopchecking in PGF.Forest.bracketedTokn	2010-07-13 12:04:06 +00:00
krasimir	5ea08bd2e8	bugfix in the decoding of literals in PGF.Binary	2010-07-13 08:24:03 +00:00
krasimir	8d63bf8d79	report type errors in the shell from command "p"	2010-07-07 12:23:21 +00:00
krasimir	21c14b1305	simplify the monad TcM	2010-07-07 07:19:56 +00:00
krasimir	e92151caf8	redesign the open-literals API	2010-07-01 08:51:59 +00:00
krasimir	97a9ddb4a7	rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int|Float)	2010-06-30 07:40:22 +00:00
krasimir	4fab73d5e7	in PGF.Printer special output format for SymLit	2010-06-29 09:05:07 +00:00