| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2012-02-18 | libpgf: remove the now redundant field extra_ccats in PgfConcr | kr.angelov | |
| 2012-02-18 | libpgf: now the linearization index is created during the grammar loading ↵ | kr.angelov | |
| which also makes the types PgfLzr and PgfParser redundant. | |||
| 2012-02-17 | libpgf: simplify the loading of PgfCncCat | kr.angelov | |
| 2012-02-17 | libpgf: added printer.c | kr.angelov | |
| 2012-01-26 | libpgf: switch to using callbacks and lazy prediction in the parser. this ↵ | kr.angelov | |
| reduce the parsing time from 11 sec down to 3 sec. | |||
| 2012-01-26 | libpgf: use a temporal pool for allocating the arrays in the continuation ↵ | kr.angelov | |
| map of the parser | |||
| 2012-01-26 | libpgf: fix a warning in reader.c | kr.angelov | |
| 2012-01-26 | libpgf: fix in string.h | kr.angelov | |
| 2012-01-24 | libpgf: few fixes to make the loading of grammars with def rules possible | kr.angelov | |
| 2012-01-23 | libpgf: extra_ccat is now redundant and was removed | kr.angelov | |
| 2012-01-23 | libpgf: forgot to add utils/pgf-print.c | kr.angelov | |
| 2012-01-23 | pgf-translate: add \n at the end of two error messages | kr.angelov | |
| 2012-01-23 | libpgf: debugging framework for the parser | kr.angelov | |
| 2012-01-23 | libpgf: the concrete categories were allocated from the temporary pool | kr.angelov | |
| 2012-01-23 | libpgf: printing of literals and flags | kr.angelov | |
| 2012-01-23 | libpgf: move the lindefs field from PgfCncCat to PgfCCat. display the list ↵ | kr.angelov | |
| in the grammar printout | |||
| 2012-01-21 | added an API for printing the PGF to human readable format | kr.angelov | |
| 2012-01-21 | fix the crash in the reader when there aren't any productions per category. | kr.angelov | |
| 2012-01-20 | initial import of the C runtime | kr.angelov | |
| 2011-12-19 | the parser now use nub instead of nubsort which means that the abstract ↵ | kr.angelov | |
| syntax trees will be returned lazily | |||
| 2011-12-08 | Now graphvizAbstractTree suppress the visualization of implicit arguments. | kr.angelov | |
| 2011-11-15 | now we store version number in every .gfo file. If the file is compiled with ↵ | kr.angelov | |
| different compiler then we simply recompile it. | |||
| 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-10-25 | Preparations for release of GF 3.3 | hallgren | |
| + Changing version numbers and dates here and there. + Simplify build-binary-dist.sh since pgf-http need not be built anymore. + Use--gf-lib-path to make the sample grammars for minibar compile even if GF is not installed. | |||
| 2011-10-20 | PGF.hs: Add LANGUAGE BangPatterns to make GHC 7.2 happy | hallgren | |
| Also remove oddly named function forExample (topological sorting) from export list. | |||
| 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-10 | minibar/support.js: added function encodeArgs. | hallgren | |
| 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-15 | added topological sort module to PGF - to be used in example based grammar ↵ | ra.monique | |
| writing | |||
| 2011-09-14 | quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisited | aarne | |
| 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-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-21 | minibar: documentation fixes | hallgren | |
| 2011-08-19 | minibar: bug fix for "Try Google Translate" button | hallgren | |
| 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 | |
| 2011-08-03 | minibar: improve pgf_online.js | hallgren | |
| pgf_online.js has been simplified and generalized to support the full GF Web Service API. The changes are backwards incompatible, unfortunately. The documentation and minibar.js have been updated accordingly. | |||
| 2011-08-03 | minibar: small code and documentation tweaks | hallgren | |
| 2011-08-08 | minibar: recording old configuration changes | hallgren | |
| 2011-07-21 | GenIP, GenRP in Extra and any_Quant in ExtraEng | aarne | |
| 2011-06-21 | minibar support.js: add function ajax_http_post for posting FormData | hallgren | |
| 2011-04-11 | minibar: fix typo | hallgren | |
