10 Commits

Author	SHA1	Message	Date
krasimir	7666f8cc59	During the compilation, the final message "OK" should be displayed only if we are not in silent mode. This was changed incidentally on the way.	2010-10-25 11:31:16 +00:00
krasimir	b10731fd97	forgot to remove a trace message	2010-10-02 13:38:00 +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	2069d9c9eb	Yay!! Direct generation of PMCFG from GF grammar	2010-06-18 12:55:58 +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	0b6b30d4a8	use the native unicode support from GHC 6.12	2010-04-19 09:38:36 +00:00
krasimir	d3a84f994b	store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet	2010-03-22 21:15:29 +00:00
krasimir	a039808141	PGF is now real synchronous PMCFG	2010-01-17 21:35:36 +00:00
krasimir	15ddc283d4	rename some modules that had GFCC in the name to PGF+something	2009-12-14 10:10:58 +00:00
krasimir	c92f9d1c0c	reorganize the directories under src, and rescue the JavaScript interpreter from deprecated	2009-12-13 18:50:29 +00:00