gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Collapse)	Author
2012-03-18	PGF run-time library: function names in BracketedString (experimental)	hallgren
	+ Make room for function names in the BracketedString data structure. + Fill in function names when linearizing an abstract syntax tree to a BracketedString. + Fill in wildCId when it is not obvious what the function is. + Function bracketedLinearize: for compatibility with the other linearization functions, return Leaf "" instead of error "cannot linearize". + Export flattenBracketedString from module PGF. + PGFServce: make function names available in the JSON representation of BracketedString.
2011-08-30	bugfix: allow higher-order variables in the linearization	kr.angelov

2010-10-02	refactor the API for random generation again. Now PGF contains probabilities ↵	krasimir
	in the abstract syntax
2010-08-09	native representation for HOAS in PMCFG and incremental type checking of the ↵	krasimir
	parse forest
2010-06-09	filter the duplications when doing 'l -table'	krasimir

2010-05-25	bugfix in the linearization algorithm	krasimir

2010-05-19	now every BracketedString also has reference to the source expression(s)	krasimir

2010-05-01	refactor BracketedString	krasimir

2010-05-01	bug fix for bracketedLinearize with HOAS and meta variables	krasimir

2010-04-30	first incarnation of the bracketed string API	krasimir

2010-03-28	Action category, more doc in Phrasebook	aarne

2010-01-27	cleanup the code of the PGF interpreter and polish the binary serialization ↵	krasimir
	to match the preliminary specification
2010-01-17	PGF is now real synchronous PMCFG	krasimir

2010-01-17	now the linearization is completely based on PMCFG	krasimir

2010-01-05	printnames are now kept as String instead of Term in PGF	krasimir

2009-12-31	morpho analysis with -missing flag, shows words outside lexicon; also ↵	aarne
	invoked if parsing fails; also added pg -words to show the list of words
2009-12-13	reorganize the directories under src, and rescue the JavaScript interpreter ↵	krasimir
	from deprecated