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

Age	Commit message (Collapse)	Author
2011-10-12	Show version & configuration info when gf -server starts	hallgren

2011-10-12	Bug fixes for gf -server mode and setup	hallgren

2011-10-12	Improvements of "gf -server" mode and related setup	hallgren
	"gf -server" mode now contains everything needed to run the minibar and the grammar editor (including example-based grammar writing). The Setup.hs script installs the required files where gf -server can find them. These files have been moved to a new directory: src/www. The separate server program pgf-http is now obsolete.
2011-10-11	More work on support for gfse in "gf -server" mode	hallgren

2011-10-10	gfse: make it workw ith "gf -server" cloud services	hallgren

2011-10-10	Add cloud services needed by gfse to "gf -server" mode	hallgren

2011-10-10	minibar/support.js: added function encodeArgs.	hallgren

2011-10-10	More functionality in "gf -server" mode	hallgren
	"gf -server" mode now includes PGF service and the services to support example-based grammar writing. (But gf -server is not quite ready to replace pgf-http yet...) Also bumped GF version number to 3.2.10-darcs
2011-10-07	gfse: documentation tweaks	hallgren

2011-10-04	example-based grammar writing: avoid a problem by returning Nothing instead ↵	hallgren
	of calling error
2011-10-03	gfse: browser compatibility fixes	hallgren

2011-10-03	gfse: references to the GF book in keyword tool tips and style tweaks for ↵	hallgren
	example-based grammar editing
2011-09-29	Example-based grammar writing: fix problems caused by the use of exprToAPI	hallgren
	The editor needs to keep track of both the raw term and the nice term returned by exprToAPI. (Manually constructed linearization rules will now have the raw term and can not be tested.) Also replace metavariables in generalized terms with the apropriate parameter from the linearization rule. Also fix communication problems caused by inconsistent use of show/read vs showExpr/readExpr.
2011-09-28	gfse: about.html updates	hallgren

2011-09-27	gfse: mention example-based grammar writing in about.html	hallgren

2011-09-27	exb: call exprToAPI to create nicer linearization functions	hallgren

2011-09-27	Server-side support for example-based grammar writing	hallgren

2011-09-27	gfse: work in progress on support for example-based grammar writing	hallgren

2011-09-26	don't count app nodes in term size	aarne

2011-09-25	generalized show_dependencies to take a list of constants as its argument	aarne

2011-09-25	structured examples in help into pairs (command,explanation)	aarne

2011-09-24	bug fixes in code size analysis	aarne

2011-09-22	change the precedence for the left argument of ->	kr.angelov

2011-09-22	the sd -size command now shows the size of all code needed for defining an oper	aarne

2011-09-22	documented the ss command	aarne

2011-09-21	statistics on grammar size in terms of constructors	aarne

2011-09-21	fix in the proof search. when we start the generation from a template, we ↵	kr.angelov
	must start the refinement from the expression that the typecheker generated
2011-09-21	commands ss to show source, and sd to show the dependencies of a constant	aarne

2011-09-20	module for analysing source grammars	aarne

2011-09-20	command ss to show source (including gfo) in text; to be extended	aarne

2011-09-20	Created a new page documenting available editor modes for GF	hallgren
	Also adding editing modes for Gedit and Geany contributed by John J. Camilleri.
2011-09-16	gfse: add Extra and Lexicon to the list of resource modules that can be opened	hallgren

2011-09-15	added topological sort module to PGF - to be used in example based grammar ↵	ra.monique
	writing
2011-09-15	Add a command name header to the 'help -t2t' output	hallgren

2011-09-15	made ps -from_TRANSLIT symmetric to -to_TRANSLIT in the sense that unknown ↵	aarne
	characters are returned as themselves and not as question marks
2011-09-14	Omit empty sections in gf help output	hallgren

2011-09-14	GF shell command 'help -t2t' outputs help in txt2tags format	hallgren

2011-09-13	gfse: added grammar cloning	hallgren

2011-09-14	quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisited	aarne

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-09-09	Remove unused function computeConcreteRec.	hallgren
	This also allows the parameter rec to be removed from function computeTermOpt. (The change is made in GF.Compile.Compute.ConcreteLazy, but not in GF.Compile.Compute.ConcreteStrict.)
2011-09-07	GF.Grammar.Macros: simplify composOp and composSafeOp	hallgren

2011-09-05	Make the -fcclazy configuration option visible in the build info in the GF ↵	hallgren
	Shell welcome message
2011-09-01	Add lazy version of GF.Compile.Compute.Concrete	hallgren
	This patch adds GF.Compile.Compute.ConcreteLazy, which replaces the Err monad with the Identity monad. While the Err monad makes the interpreter (hyper)strict, the Identity monad let's the interpreter inherit Haskell's laziness. This can give big speedups: from 50s to 1s in one example, from ~4 minutes to ~2 minutes for the RGL. This is still experimental and might be buggy, so it is off by default. You can turn it on by configuring with the -fcclazy flag, e.g. cabal configure -fcclazy Let me know if anything breaks.
2011-09-01	GF.Grammar.*: generalized the type of some functions that can not fail from ↵	hallgren
	the Err monad to arbitrary monads
2011-08-31	GF.Compile.Coding: cleaner code	hallgren
	Refine function codeTerm into codeTerm, codeLTerm and codeLTerms.
2011-08-31	GF.Infra.Modules: minor tweaks	hallgren
	Still keeping the modules both in a list and in a finite map. The overhead is smaller than I initially thought.
2011-08-30	GF.Infra.Modules: restore module dependency order invariant	hallgren
	It is needed by greatestResource (and similar functions, presumably). So keep both the list and the finite map of modules. This slows down some things, but the compilation of PhrasebookFin.pgf benefits from it. To be continued...
2011-08-30	GF.Infra.Modules: keep the modules of a grammar in a finite map instead of a ↵	hallgren
	list This speeds up the compilation of PhrasebookFin.pgf by 12%, mosly by speeding up calls to lookupModule in calls from lookupParamValues, in calls from allParamValues. The invariant "modules are stored in dependency order" is no longer respected! But the type MGrammar is now abstract, making it easier to maintain this or other invariants in the future.