summaryrefslogtreecommitdiff
path: root/src/runtime
AgeCommit message (Collapse)Author
2012-02-27libpgf: pretty printing for expressions with metavaraibleskr.angelov
2012-02-24libpgf: fix in pgf_read_into_mapkr.angelov
2012-02-24libpgf: simple fix in the grammar printer and the readerkr.angelov
2012-02-22libpgf: now we have both complete bottom up index for robust parsing and ↵kr.angelov
fast lexical lookup from the same index
2012-02-22libpgf: two small fixes in the parser debuggerkr.angelov
2012-02-22libpgf: the map curr_lindefs must be allocated from a temporary poolkr.angelov
2012-02-21libpgf: added index for fast lexicon lookup. Still not perfectkr.angelov
2012-02-21utils/pgf-translate now reports the parsing timekr.angelov
2012-02-18libpgf: now the debugging mode for the parser is available only with ↵kr.angelov
compilation option.
2012-02-18libpgf: remove the now redundant field extra_ccats in PgfConcrkr.angelov
2012-02-18libpgf: now the linearization index is created during the grammar loading ↵kr.angelov
which also makes the types PgfLzr and PgfParser redundant.
2012-02-17libpgf: simplify the loading of PgfCncCatkr.angelov
2012-02-17libpgf: added printer.ckr.angelov
2012-01-26libpgf: 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-26libpgf: use a temporal pool for allocating the arrays in the continuation ↵kr.angelov
map of the parser
2012-01-26libpgf: fix a warning in reader.ckr.angelov
2012-01-26libpgf: fix in string.hkr.angelov
2012-01-24libpgf: few fixes to make the loading of grammars with def rules possiblekr.angelov
2012-01-23libpgf: extra_ccat is now redundant and was removedkr.angelov
2012-01-23libpgf: forgot to add utils/pgf-print.ckr.angelov
2012-01-23pgf-translate: add \n at the end of two error messageskr.angelov
2012-01-23libpgf: debugging framework for the parserkr.angelov
2012-01-23libpgf: the concrete categories were allocated from the temporary poolkr.angelov
2012-01-23libpgf: printing of literals and flagskr.angelov
2012-01-23libpgf: move the lindefs field from PgfCncCat to PgfCCat. display the list ↵kr.angelov
in the grammar printout
2012-01-21added an API for printing the PGF to human readable formatkr.angelov
2012-01-21fix the crash in the reader when there aren't any productions per category.kr.angelov
2012-01-20initial import of the C runtimekr.angelov
2011-12-19the parser now use nub instead of nubsort which means that the abstract ↵kr.angelov
syntax trees will be returned lazily
2011-12-08Now graphvizAbstractTree suppress the visualization of implicit arguments.kr.angelov
2011-11-15now 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-10Now 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-25Preparations for release of GF 3.3hallgren
+ 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-20PGF.hs: Add LANGUAGE BangPatterns to make GHC 7.2 happyhallgren
Also remove oddly named function forExample (topological sorting) from export list.
2011-10-12Improvements of "gf -server" mode and related setuphallgren
"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-10minibar/support.js: added function encodeArgs.hallgren
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-15added topological sort module to PGF - to be used in example based grammar ↵ra.monique
writing
2011-09-14quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisitedaarne
2011-08-30bugfixes in the typechecker and the tree generatorkr.angelov
2011-08-30bugfix: allow higher-order variables in the linearizationkr.angelov
2011-08-29skip spaces before closing parenthesis in PGF.Expr.pFactoraarne
2011-08-28import 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-22minibar: documentation updatehallgren
2011-08-22minibar: 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-21minibar: documentation fixeshallgren
2011-08-19minibar: bug fix for "Try Google Translate" buttonhallgren
2011-08-16minibar: adding pgf_offline.jshallgren
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-11minibar: documentation and API workhallgren
2011-08-11minibar: some functions were in the wrong filehallgren
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-03 00:28:00 +0000