hallgren
|
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 |
|
ra.monique
|
7fa94d7a90
|
added topological sort module to PGF - to be used in example based grammar writing
|
2011-09-15 16:32:49 +00:00 |
|
gdetrez
|
5be1b5d493
|
Adding a basic lexicon-based tokenizer and the asociated command in gf shell
|
2011-02-10 15:00:06 +00:00 |
|
aarne
|
1b24f4490c
|
moved PGF.ToApi to GF.Compile.ToAPI
|
2010-12-07 18:05:13 +00:00 |
|
ra.monique
|
faaddfe54b
|
added syntax to api translation module
|
2010-12-05 19:51:19 +00:00 |
|
ramona.enache
|
cd69929b4d
|
added giza Alignments with command ga and merged the rendering algorithm for graphviz and giza alignments
|
2010-10-31 13:39:01 +00:00 |
|
krasimir
|
51452d4ef0
|
added explicit depth parameter to the parsing API and the corresponding command in the shell
|
2010-10-18 16:51:25 +00:00 |
|
krasimir
|
be9ad26aea
|
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
|
2010-10-02 13:03:57 +00:00 |
|
krasimir
|
4e715c3952
|
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
|
2010-09-22 15:49:16 +00:00 |
|
krasimir
|
bc92927692
|
cleanup and export the Probabilistic API from PGF
|
2010-09-22 09:06:19 +00:00 |
|
krasimir
|
b20821dfc3
|
more advanced complete function in the PGFService
|
2010-08-24 15:58:22 +00:00 |
|
krasimir
|
71ea541765
|
two new functions in the PGF API: mkAbs, unAbs
|
2010-07-31 16:40:16 +00:00 |
|
krasimir
|
b227c8a586
|
now the meta id of the meta variables is accessible via the PGF API
|
2010-07-31 12:52:20 +00:00 |
|
krasimir
|
ebe5b87738
|
added function unType in PGF
|
2010-07-31 12:47:10 +00:00 |
|
krasimir
|
e92151caf8
|
redesign the open-literals API
|
2010-07-01 08:51:59 +00:00 |
|
krasimir
|
43736135ca
|
introduce the type synonym Token=String in the PGF API
|
2010-06-29 09:00:41 +00:00 |
|
krasimir
|
237b30d6c4
|
preliminary version of API for Open Literals
|
2010-06-22 12:31:04 +00:00 |
|
krasimir
|
529447f56f
|
now the parser could return partial parse results
|
2010-05-19 12:31:36 +00:00 |
|
krasimir
|
8742ebee38
|
for backward compatibility we have the old parse function again. the old functionality is exposed by parse_
|
2010-04-30 20:18:26 +00:00 |
|
krasimir
|
83528f15d7
|
first incarnation of the bracketed string API
|
2010-04-30 14:36:06 +00:00 |
|
krasimir
|
3b7d0e4fcc
|
export fullFormLexicon from PGF
|
2010-03-31 11:09:12 +00:00 |
|
krasimir
|
ce99935812
|
now for every category we store, in PGF, the list of functions for it in source-code order. The order matters for the termination of the exhaustive generation with dependent types.
|
2010-03-24 11:11:55 +00:00 |
|
aarne
|
d1615144b6
|
PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage
|
2010-03-22 19:03:06 +00:00 |
|
krasimir
|
0c2944fa7f
|
syntax for inaccessible patterns in GF
|
2010-03-18 19:34:30 +00:00 |
|
krasimir
|
5d2b204246
|
refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access to the meta store
|
2010-02-22 15:50:41 +00:00 |
|
krasimir
|
e1ac90f543
|
fix the PGF printer for abstract
|
2010-02-16 21:47:58 +00:00 |
|
aarne
|
3dd8fb8dec
|
commands mq and tq can take a tree with metas to guide generation
|
2010-02-01 09:56:58 +00:00 |
|
aarne
|
5507133638
|
gt and gr can start from a tree with metavariables, just filling them
|
2010-01-30 18:01:18 +00:00 |
|
krasimir
|
9e547710f5
|
bugfix in the PGF typechecker and more test cases
|
2010-01-29 21:10:14 +00:00 |
|
krasimir
|
3685595ece
|
cleanup the code of the PGF interpreter and polish the binary serialization to match the preliminary specification
|
2010-01-27 09:39:14 +00:00 |
|
krasimir
|
a039808141
|
PGF is now real synchronous PMCFG
|
2010-01-17 21:35:36 +00:00 |
|
krasimir
|
f841b1ada5
|
printnames are now kept as String instead of Term in PGF
|
2010-01-05 07:05:41 +00:00 |
|
krasimir
|
76debee2c1
|
remove the old parsing code and the -erasing=on flag
|
2009-12-14 10:54:22 +00:00 |
|
krasimir
|
c92f9d1c0c
|
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
|
2009-12-13 18:50:29 +00:00 |
|