0147885e2f
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
75b724ab54
libpgf: simplify the loading of PgfCncCat
2012-02-17 14:26:08 +00:00
1bb13787a7
libpgf: added printer.c
2012-02-17 14:11:29 +00:00
92cbbe9173
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
0e05fc08d5
libpgf: use a temporal pool for allocating the arrays in the continuation map of the parser
2012-01-26 09:03:08 +00:00
469d8cf804
libpgf: fix a warning in reader.c
2012-01-26 08:58:23 +00:00
51def0c381
libpgf: fix in string.h
2012-01-26 08:58:03 +00:00
b62d57fd30
libpgf: few fixes to make the loading of grammars with def rules possible
2012-01-24 14:47:11 +00:00
5b96b55184
libpgf: extra_ccat is now redundant and was removed
2012-01-23 19:47:08 +00:00
81191787fe
libpgf: forgot to add utils/pgf-print.c
2012-01-23 16:34:02 +00:00
d8cfb13715
pgf-translate: add \n at the end of two error messages
2012-01-23 15:51:37 +00:00
21dee01c9d
libpgf: debugging framework for the parser
2012-01-23 15:49:29 +00:00
f2cfa9888e
libpgf: the concrete categories were allocated from the temporary pool
2012-01-23 13:43:17 +00:00
e9014902ef
libpgf: printing of literals and flags
2012-01-23 10:17:20 +00:00
c5b4e5388a
libpgf: move the lindefs field from PgfCncCat to PgfCCat. display the list in the grammar printout
2012-01-23 09:46:45 +00:00
64a00dad48
added an API for printing the PGF to human readable format
2012-01-21 10:27:55 +00:00
1acb722ba2
fix the crash in the reader when there aren't any productions per category.
2012-01-21 10:25:43 +00:00
a369d3bdac
initial import of the C runtime
2012-01-20 13:41:10 +00:00
5bbd1d6f73
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
c20745480f
Now graphvizAbstractTree suppress the visualization of implicit arguments.
2011-12-08 09:18:38 +00:00
1b85355d47
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
bbe42d1e90
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
fb43ab5019
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
3e5aded279
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
fa4af3d043
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
ad90185b4f
minibar/support.js: added function encodeArgs.
2011-10-10 17:40:53 +00:00
9bd15b0777
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
7fa94d7a90
added topological sort module to PGF - to be used in example based grammar writing
2011-09-15 16:32:49 +00:00
9f0bf57d79
quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisited
2011-09-14 11:29:35 +00:00
dbe00fd0eb
bugfixes in the typechecker and the tree generator
2011-08-30 11:24:59 +00:00
9a899edb0b
bugfix: allow higher-order variables in the linearization
2011-08-30 09:22:44 +00:00
7bf4683c02
skip spaces before closing parenthesis in PGF.Expr.pFactor
2011-08-29 12:03:45 +00:00
250c9f8d82
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
6667e5faf9
minibar: documentation update
2011-08-22 17:55:47 +00:00
0079c49a78
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
d0dad690e4
minibar: documentation fixes
2011-08-21 21:35:14 +00:00
2dc037fc72
minibar: bug fix for "Try Google Translate" button
2011-08-19 13:56:12 +00:00
3eab4e3ae1
minibar: adding pgf_offline.js
...
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-16 16:29:51 +00:00
9820b2640b
minibar: documentation and API work
2011-08-11 16:28:49 +00:00
dabeddb3ca
minibar: some functions were in the wrong file
2011-08-11 14:56:34 +00:00
b4c0509f77
minibar: more documentation (in minibar-api.html)
2011-08-09 15:57:40 +00:00
61da350167
minibar: refactoring for improved modularity
...
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 17:28:24 +00:00
77132183fe
minibar: resolve conflict
2011-08-08 14:08:55 +00:00
b77e95abf5
minibar: improve pgf_online.js
...
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 15:21:38 +00:00
1a25f04303
minibar: small code and documentation tweaks
2011-08-03 14:24:47 +00:00
e232c6145d
minibar: recording old configuration changes
2011-08-08 14:04:51 +00:00
9023382c31
GenIP, GenRP in Extra and any_Quant in ExtraEng
2011-07-21 08:25:04 +00:00
ca16782d06
minibar support.js: add function ajax_http_post for posting FormData
2011-06-21 16:10:44 +00:00
b2ffdd59eb
minibar: fix typo
2011-04-11 13:03:46 +00:00
ff870aa8f9
minibar: small documentation updates and corrections
2011-04-11 13:00:52 +00:00
kr.angelov