| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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. | |||
| 2011-08-30 | GF.Grammar.Lookup: added function lookupQIdentInfo | hallgren | |
| + Avoids some code duplication by combinging lookupModule and lookupIdentInfo. + Also removed lookupIdentInfo from export list, since it is not used anywhere else. | |||
| 2011-08-30 | PatternMatch.hs: commented out suspicious unused function varsOfPatt | hallgren | |
| 2011-08-30 | GrammarToPGF.hs: comment out unused imports | hallgren | |
| 2011-08-30 | bugfixes in the typechecker and the tree generator | kr.angelov | |
| 2011-08-30 | bugfix: allow higher-order variables in the linearization | kr.angelov | |
| 2011-08-29 | skip spaces before closing parenthesis in PGF.Expr.pFactor | aarne | |
| 2011-08-28 | import command now gives priority to new abstract syntax, and discards the ↵ | aarne | |
| old concretes if they are for the old abstract; the new priority is implemented in PGF.Data.unionPGF | |||
| 2011-08-25 | pgf-http: fix a bug that caused "+" to be treaded as " " in PGF service ↵ | hallgren | |
| requests URLs. This was a bug in my workaround for a bug in the httpd-shed package. It made it impossible to use the glue token "&+" for Turkish input in the minibar, for example. | |||
| 2011-08-25 | reload command in shell | aarne | |
| 2011-08-24 | pgf-service: apply the OpenMath LaTeX function only when linearizing to a | hallgren | |
| concrete language whose name ends with LaTeX. This change also avoids duplicating output and, in addition to the linearize command, applies the transfer also when using the linearizeAll command. | |||
| 2011-08-23 | pgf-service: add Jordis transfer function for OpenMath LaTeX output | hallgren | |
| 2011-08-22 | minibar: documentation update | hallgren | |
| 2011-08-22 | minibar: quick fix to allow literals to be entered. | hallgren | |
| If you press Enter, the current word will be accepted, even if there are no matching completions. (You can now use names of people when constructing sentences in the Letter grammar, for example.) | |||
| 2011-08-22 | commented Compute/Concrete with explanations | aarne | |
| 2011-08-22 | pgf service: external service hook: always format the output as a JSON string | hallgren | |
| 2011-08-22 | pgf service: added a hook for external services | hallgren | |
| This is really reinventing CGI, people should learn how to write CGI scripts instead... TODO: better handling of temporary files | |||
| 2011-08-21 | minibar: documentation fixes | hallgren | |
| 2011-08-19 | minibar: bug fix for "Try Google Translate" button | hallgren | |
| 2011-08-17 | gfse: fix an issue with Webkit browers | hallgren | |
| For lin and lincats with empty RHSs, there was nothing to point to to make the edit button (the "%" button) appear in browsers based on Webkit (Safari, Chrome). | |||
| 2011-08-16 | minibar: adding pgf_offline.js | hallgren | |
| This file exports the same PGF runtime interface as pgf_online.js but calls the hs2js translation of the PGF runtime library (which is not included in darcs). | |||
| 2011-08-11 | minibar: documentation and API work | hallgren | |
| 2011-08-11 | minibar: some functions were in the wrong file | hallgren | |
| 2011-08-09 | minibar: more documentation (in minibar-api.html) | hallgren | |
| 2011-08-08 | minibar: refactoring for improved modularity | hallgren | |
| Two smaller objects have been factored out from the Minibar object: Input and Translations. These have been placed in two separate files: minibar_input.js and minibar_translations.js. Some common auxiliary functions have also been moved to a separate file: minibar_support.js | |||
| 2011-08-08 | minibar: resolve conflict | hallgren | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |