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

Age	Commit message (Collapse)	Author
2011-12-14	gf -server[=port]	hallgren
	You can now specify which port the HTTP server should run on in server mode. The default is 41296.
2011-11-29	Sketch of the new type checker for the concrete syntax. Enabled only with ↵	kr.angelov
	-new-comp
2011-11-14	remove the -output-file option	kr.angelov

2011-11-14	the new design for -tags	kr.angelov

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.
2011-11-10	remove few obsolete options from GF.Infra.Options	kr.angelov

2011-11-02	Now the compiler maintains more precise information for the source locations ↵	kr.angelov
	of the different definitions. There is a --tags option which generates a list of all identifiers with their source locations.
2011-09-09	Don't make noexpand the default with -fcclazy	hallgren
	This reverts the previous change. Not preprocessing opers turns out to make a difference in what needs to be mentioned in restricted inheritance/imports.
2011-09-09	Make noexpand the default optimization package when configuring with -fcclazy	hallgren

2011-04-13	Added a preliminary "gf -server" mode.	hallgren
	The command "gf -server" now starts a simple HTTP server on port 41295, providing a simple web API to the GF compiler. It currently support the follwing operations: * creating new temporary directories for grammar uploads, * uploading grammars files for use in the GF shell, * executing GF shell commands, and * accessing static files. This means that GF now depends on some additional networking related packages, but they should be available and easy to install on all platforms. There is also a new configuration flag "server" in gf.cabal, so GF will be compiled without support for server mode if the extra packages are unavailable. Note that running gf -server while connected to the internet can be a security risk. To prevent unauthorized access to the rest of the system, it is advisable to run the server in GF_RESTRICTED mode and as a user with suitably restricted file permissions.
2010-12-11	Adding an option to the gf compiler to add an index to pgf files	gdetrez
	This is gonna be used by the android library to skip unused part of a pgf file
2010-12-14	updated documentation of pg -printer formats	aarne

2010-12-14	documented the pgf -printer values for help	aarne

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-07-01	redesign the open-literals API	krasimir

2010-06-09	dead code elimination for PGF. Note: the produced grammars will not work ↵	krasimir
	well with metavariables and high-order abstract syntax
2010-04-19	use the native unicode support from GHC 6.12	krasimir

2010-03-23	added codepage for Turkish	krasimir

2010-03-20	added experimental generation of Lambda Prolog code. Could be used for ↵	krasimir
	exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
2010-01-17	PGF is now real synchronous PMCFG	krasimir

2009-12-14	remove the old parsing code and the -erasing=on flag	krasimir

2009-12-13	reorganize the directories under src, and rescue the JavaScript interpreter ↵	krasimir
	from deprecated