summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2011-09-21Update 19 broken links in the GF bibliographyhallgren
Most of the broken link were due to the move from www.cs.chalmers.se was to www.cse.chalmers.se in 2010.
2011-09-21statistics on grammar size in terms of constructorsaarne
2011-09-21fix 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-21commands ss to show source, and sd to show the dependencies of a constantaarne
2011-09-20module for analysing source grammarsaarne
2011-09-20command ss to show source (including gfo) in text; to be extendedaarne
2011-09-20Home page news item about editor modes for GFhallgren
2011-09-20Created a new page documenting available editor modes for GFhallgren
Also adding editing modes for Gedit and Geany contributed by John J. Camilleri.
2011-09-20QueryGer added; some bugs to fixaarne
2011-09-20QueryIta addedaarne
2011-09-20QueryFre added; a utf8 typo in StructuralFre correctedaarne
2011-09-19treebank to test Queryaarne
2011-09-19QueryFin improvedaarne
2011-09-19test suite: Don't fail because of the Win32/Unix text file incompatibility.hallgren
2011-09-19Adding test case for interaction between record subtyping and record extensionhallgren
2011-09-16gfse: add Extra and Lexicon to the list of resource modules that can be openedhallgren
2011-09-15added topological sort module to PGF - to be used in example based grammar ↵ra.monique
writing
2011-09-15Add a command name header to the 'help -t2t' outputhallgren
2011-09-15Add the commands to the table of contents in the GF shell reference manualhallgren
2011-09-15made 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-14Include a table of contents in the GF shell reference manualhallgren
2011-09-14Separate commands with <hr> instead of <p> in the GF shell reference manualhallgren
2011-09-14Omit empty sections in GF shell reference manualhallgren
2011-09-14Omit empty sections in gf help outputhallgren
2011-09-14Use 'help -full -t2t' to generate the GF Shell reference manualhallgren
2011-09-14GF shell command 'help -t2t' outputs help in txt2tags formathallgren
2011-09-14Adding a link to the GF shell reference manual on the GF home pagehallgren
2011-09-14Donkey: Det and Conj added, as well as negative sentencesaarne
2011-09-14Adding a GF shell command referencehallgren
First, plain text version generated with 'help -full' in the shell. Introduction taken from the GF book.
2011-09-13gfse: added grammar cloninghallgren
2011-09-14quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisitedaarne
2011-09-14Donkey: added AP, reported problem with ModCN and polymorphic AP'saarne
2011-09-13rewrote DonkeyEng with RGL and introduced VP categoryaarne
2011-09-13examples on using type theoryaarne
2011-09-13added examples/typetheoryaarne
2011-09-12Added news item about the GF 3.2.9 snapshot on the home pagehallgren
2011-09-12Mention the 3.2.9 snapshot release on the download pagehallgren
2011-09-12Record old changes in gf-reference.htmlhallgren
even though this file is automatically generated from gf-reference.t2t.
2011-09-12Record the added link to the JPGF Android Tutorial on home pagehallgren
2011-09-12Take snapshot, version 3.2.9hallgren
2011-09-12gf.cabal: add Tested-With fieldhallgren
2011-09-09Don't make noexpand the default with -fcclazyhallgren
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-09utf8 in gf-book indexaarne
2011-09-09slides and UK order of gf-bookaarne
2011-09-09Make -fcclazy (the new faster lazy compute_concrete) the default. Bump ↵hallgren
version number to 3.2.9
2011-09-09Make noexpand the default optimization package when configuring with -fcclazyhallgren
2011-09-09Remove 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-07GF.Grammar.Macros: simplify composOp and composSafeOphallgren
2011-09-05Make the -fcclazy configuration option visible in the build info in the GF ↵hallgren
Shell welcome message
2011-09-01Add lazy version of GF.Compile.Compute.Concretehallgren
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.