kr.angelov
e31c883075
libpgf: the first prototype for the robust parser
2012-02-29 14:43:08 +00:00
kr.angelov
b054549082
libpgf: the choice object should remember integers instead of single bytes
2012-02-29 13:41:59 +00:00
kr.angelov
5fa1418194
libpgf: another fix in the parser debugger
2012-02-28 16:37:12 +00:00
kr.angelov
4ddf24429b
libpgf: the time measurement in pgf-translate should be made after pgf_parse_result for more accurate timing
2012-02-28 13:14:24 +00:00
kr.angelov
dcbeb63849
libpgf: fix in the parser debugger
2012-02-28 13:12:38 +00:00
kr.angelov
686fcca9a4
libpgf: pretty printing for expressions with metavaraibles
2012-02-27 13:50:35 +00:00
kr.angelov
667ca8e5f7
libpgf: fix in pgf_read_into_map
2012-02-24 15:15:07 +00:00
kr.angelov
1d239ab567
libpgf: simple fix in the grammar printer and the reader
2012-02-24 13:52:21 +00:00
kr.angelov
b99fa6aa9a
libpgf: now we have both complete bottom up index for robust parsing and fast lexical lookup from the same index
2012-02-22 21:27:54 +00:00
kr.angelov
42410f80d2
libpgf: two small fixes in the parser debugger
2012-02-22 14:06:49 +00:00
kr.angelov
786bf883b7
libpgf: the map curr_lindefs must be allocated from a temporary pool
2012-02-22 08:49:08 +00:00
kr.angelov
7ddd0d5f3e
libpgf: added index for fast lexicon lookup. Still not perfect
2012-02-21 21:17:50 +00:00
kr.angelov
a178608f37
utils/pgf-translate now reports the parsing time
2012-02-21 20:17:18 +00:00
kr.angelov
a55a224dce
libpgf: now the debugging mode for the parser is available only with compilation option.
2012-02-18 19:30:16 +00:00
kr.angelov
5259be92e3
libpgf: remove the now redundant field extra_ccats in PgfConcr
2012-02-18 16:25:53 +00:00
kr.angelov
47e5e8c966
libpgf: now the linearization index is created during the grammar loading which also makes the types PgfLzr and PgfParser redundant.
2012-02-18 16:22:40 +00:00
kr.angelov
aed7cc429a
libpgf: simplify the loading of PgfCncCat
2012-02-17 14:26:08 +00:00
kr.angelov
4f8ad8c23f
libpgf: added printer.c
2012-02-17 14:11:29 +00:00
kr.angelov
6f0795d8a3
libpgf: switch to using callbacks and lazy prediction in the parser. this reduce the parsing time from 11 sec down to 3 sec.
2012-01-26 12:32:26 +00:00
kr.angelov
a2414bc625
libpgf: use a temporal pool for allocating the arrays in the continuation map of the parser
2012-01-26 09:03:08 +00:00
kr.angelov
8256750599
libpgf: fix a warning in reader.c
2012-01-26 08:58:23 +00:00
kr.angelov
ecb5e9f23a
libpgf: fix in string.h
2012-01-26 08:58:03 +00:00
kr.angelov
58de345f99
libpgf: few fixes to make the loading of grammars with def rules possible
2012-01-24 14:47:11 +00:00
kr.angelov
acc4f352af
libpgf: extra_ccat is now redundant and was removed
2012-01-23 19:47:08 +00:00
kr.angelov
4f289698f0
libpgf: forgot to add utils/pgf-print.c
2012-01-23 16:34:02 +00:00
kr.angelov
1af48d34ec
pgf-translate: add \n at the end of two error messages
2012-01-23 15:51:37 +00:00
kr.angelov
5ccd75c8b9
libpgf: debugging framework for the parser
2012-01-23 15:49:29 +00:00
kr.angelov
fcd2c2905e
libpgf: the concrete categories were allocated from the temporary pool
2012-01-23 13:43:17 +00:00
kr.angelov
4e4881dba5
libpgf: printing of literals and flags
2012-01-23 10:17:20 +00:00
kr.angelov
7fcaa81858
libpgf: move the lindefs field from PgfCncCat to PgfCCat. display the list in the grammar printout
2012-01-23 09:46:45 +00:00
kr.angelov
28bce1cdc0
added an API for printing the PGF to human readable format
2012-01-21 10:27:55 +00:00
kr.angelov
d164ddfbe1
fix the crash in the reader when there aren't any productions per category.
2012-01-21 10:25:43 +00:00
kr.angelov
2eee382a62
initial import of the C runtime
2012-01-20 13:41:10 +00:00
kr.angelov
bb6905e36f
the parser now use nub instead of nubsort which means that the abstract syntax trees will be returned lazily
2011-12-19 13:10:33 +00:00
kr.angelov
7c9bbd844b
Now graphvizAbstractTree suppress the visualization of implicit arguments.
2011-12-08 09:18:38 +00:00
kr.angelov
a2626e24dd
now we store version number in every .gfo file. If the file is compiled with different compiler then we simply recompile it.
2011-11-15 19:12:22 +00:00
kr.angelov
416d231c5e
Now PMCFG is compiled per module and at the end we only link it. The new compilation schema is few times faster.
2011-11-10 14:09:41 +00:00
hallgren
a8185fd997
Preparations for release of GF 3.3
...
+ 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-25 18:25:49 +00:00
hallgren
6c5ee3d666
PGF.hs: Add LANGUAGE BangPatterns to make GHC 7.2 happy
...
Also remove oddly named function forExample (topological sorting) from export
list.
2011-10-20 13:21:28 +00:00
hallgren
44d1a5a9f7
Improvements of "gf -server" mode and related setup
...
"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-12 17:03:54 +00:00
hallgren
693b807cb5
minibar/support.js: added function encodeArgs.
2011-10-10 17:40:53 +00:00
kr.angelov
89fb9a7fdf
fix in the proof search. when we start the generation from a template, we must start the refinement from the expression that the typecheker generated
2011-09-21 13:30:09 +00:00
ra.monique
bdc77bf0e4
added topological sort module to PGF - to be used in example based grammar writing
2011-09-15 16:32:49 +00:00
aarne
d394f76e3d
quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisited
2011-09-14 11:29:35 +00:00
kr.angelov
4215fc31bf
bugfixes in the typechecker and the tree generator
2011-08-30 11:24:59 +00:00
kr.angelov
41a60772c7
bugfix: allow higher-order variables in the linearization
2011-08-30 09:22:44 +00:00
aarne
380011eb7d
skip spaces before closing parenthesis in PGF.Expr.pFactor
2011-08-29 12:03:45 +00:00
aarne
769121788a
import command now gives priority to new abstract syntax, and discards the old concretes if they are for the old abstract; the new priority is implemented in PGF.Data.unionPGF
2011-08-28 10:35:55 +00:00
hallgren
c5086bda7c
minibar: documentation update
2011-08-22 17:55:47 +00:00
hallgren
d45b9edcd8
minibar: quick fix to allow literals to be entered.
...
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 17:03:47 +00:00
