68 Commits

Author	SHA1	Message	Date
krasimir	a9453c87ab	refactor BracketedString	2010-05-01 21:02:32 +00:00
krasimir	a587cfef40	bug fix for bracketedLinearize with HOAS and meta variables	2010-05-01 20:51:07 +00:00
krasimir	9fe715a58d	fixes in unStr,unInt,unDouble,isMeta	2010-05-01 07:29:41 +00:00
krasimir	8742ebee38	for backward compatibility we have the old parse function again. the old functionality is exposed by parse_	2010-04-30 20:18:26 +00:00
krasimir	d2ae070eac	optimize/simplify the error reporting in the new API	2010-04-30 20:16:16 +00:00
hallgren	87cc4d7624	Merge phrasebook.js into minibar.js	2010-04-30 14:55:56 +00:00
hallgren	4fd94cc5c1	Some work on the Saldo game	2010-04-28 12:58:17 +00:00
krasimir	83528f15d7	first incarnation of the bracketed string API	2010-04-30 14:36:06 +00:00
krasimir	94235548c4	fix parsing of literals	2010-04-23 20:46:14 +00:00
aarne	a3465202e9	removed mention of 2.9 welcome, and some traces in visualization	2010-04-22 06:36:37 +00:00
hallgren	14a053a81b	Some work on minibar: ... 1. Menu for choosing target language. 2. Pass options when calling start_minibar. See about.html for more details.	2010-04-19 16:48:26 +00:00
hallgren	be045d40fa	Work in progress on keyboard input in minibar	2010-04-15 15:42:18 +00:00
hallgren	6e24b79dcd	Code simplification	2010-04-15 15:41:30 +00:00
hallgren	603536a2f2	Omit redundant trailing "&" in jsonp url	2010-04-15 13:48:28 +00:00
hallgren	0b1a2bb20b	Fix bug in get_grammarlist. Some code simplificaiton.	2010-04-15 13:33:21 +00:00
krasimir	9377fd7c7c	fix the molto-molto-molto problem	2010-04-12 13:55:40 +00:00
hallgren	b3c8cf315a	Some documentation	2010-04-09 14:04:18 +00:00
hallgren	1b4dd1df71	Abstract out grammar access method	2010-04-09 14:00:38 +00:00
hallgren	df6ab55915	Adding the Minibar files to the darcs repository.	2010-04-09 13:51:34 +00:00
aarne	0e2f34b269	in the shell, permit 3-letter lang codes as concrete syntax names	2010-04-04 20:46:36 +00:00
krasimir	3b7d0e4fcc	export fullFormLexicon from PGF	2010-03-31 11:09:12 +00:00
aarne	13a7954646	Action category, more doc in Phrasebook	2010-03-28 19:29:06 +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	ba3b57bff9	add JavaScript API for completion. contributed by John J. Camilleri	2010-03-23 08:55:56 +00:00
aarne	d1615144b6	PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage	2010-03-22 19:03:06 +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	34f5b2a436	bugfix in PGF.TypeCheck	2010-03-14 12:21:00 +00:00
krasimir	6a89647a6d	cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scope	2010-03-13 20:12:00 +00:00
krasimir	5d2b204246	refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store	2010-02-22 15:50:41 +00:00
krasimir	f3c6acc6dc	bugfix in PGF.TypeCheck	2010-02-20 18:48:06 +00:00
krasimir	e54ac49769	fix in PGF.Printer	2010-02-17 10:31:10 +00:00
krasimir	d91ffecfa4	-output-format=pgf_pretty now prints the flags as well	2010-02-17 10:20:49 +00:00
krasimir	e1ac90f543	fix the PGF printer for abstract	2010-02-16 21:47:58 +00:00
aarne	101ba3ec5e	gr for several metas fixed ; commented out one alternative in SammieGer to make it compile	2010-02-02 07:12:52 +00:00
aarne	3dd8fb8dec	commands mq and tq can take a tree with metas to guide generation	2010-02-01 09:56:58 +00:00
krasimir	c93e406997	add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation and PGF.Expr.Patt	2010-01-31 14:45:44 +00:00
aarne	5507133638	gt and gr can start from a tree with metavariables, just filling them	2010-01-30 18:01:18 +00:00
krasimir	3926ea1a05	code cleanup in PGF.TypeCheck	2010-01-30 10:10:51 +00:00
krasimir	9e547710f5	bugfix in the PGF typechecker and more test cases	2010-01-29 21:10:14 +00:00
aarne	8f0df0442a	in example-based grammar conversion, warnings about unknown words	2010-01-28 10:06:16 +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
aarne	a5a1d2bbe0	bug fixes in biased generation ; example probs file in lib/src	2010-01-26 21:49:00 +00:00
aarne	a463443cf5	probability ranking (rt) and gr -probs=FILE	2010-01-26 21:08:04 +00:00
aarne	9226dc6052	added probabilities to trees and random gen; not yet in shell	2010-01-26 15:53:49 +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	e5efe28c74	move the definitions of _B and _V to PGF.Macros	2010-01-12 14:36:41 +00:00
krasimir	11218cdbca	store the label names in PMCFG	2010-01-05 08:35:33 +00:00
krasimir	f841b1ada5	printnames are now kept as String instead of Term in PGF	2010-01-05 07:05:41 +00:00