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

Age	Commit message (Collapse)	Author
2013-10-30	added the linref construction in GF. The PGF version number is now bumped	kr.angelov

2013-09-27	a major refactoring in the C and the Haskell runtimes. Note incompatible ↵	kr.angelov
	change in the PGF format!!! The following are the outcomes: - Predef.nonExist is fully supported by both the Haskell and the C runtimes - Predef.BIND is now an internal compiler defined token. For now it behaves just as usual for the Haskell runtime, i.e. it generates &+. However, the special treatment will let us to handle it properly in the C runtime. - This required a major change in the PGF format since both nonExist and BIND may appear inside 'pre' and this was not supported before.
2012-08-29	A basic infrastructure for generating Teyjus bytecode from the GF abstract ↵	kr.angelov
	syntax
2011-11-10	Now PMCFG is compiled per module and at the end we only link it. The new ↵	kr.angelov
	compilation schema is few times faster.
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-30	rename isLiteralFCat -> isPredefFId, fcat(String\|Int\|Float) -> ↵	krasimir
	fid(String\|Int\|Float)
2010-06-29	in PGF.Printer special output format for SymLit	krasimir

2010-06-18	PGF.Printer now dumps the printnames as well	krasimir

2010-05-11	in PGF, when printing function and category definitions, add semicolon	krasimir

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

2010-03-24	now for every category we store, in PGF, the list of functions for it in ↵	krasimir
	source-code order. The order matters for the termination of the exhaustive generation with dependent types.
2010-03-18	syntax for inaccessible patterns in GF	krasimir

2010-02-17	-output-format=pgf_pretty now prints the flags as well	krasimir

2010-02-16	fix the PGF printer for abstract	krasimir

2010-01-29	bugfix in the PGF typechecker and more test cases	krasimir

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