ra.monique
|
6268c2d7d9
|
added syntax to api translation module
|
2010-12-05 19:51:19 +00:00 |
|
ramona.enache
|
1f8a0f0876
|
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
|
775e59dabe
|
added explicit depth parameter to the parsing API and the corresponding command in the shell
|
2010-10-18 16:51:25 +00:00 |
|
krasimir
|
cb8795c222
|
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
|
2010-10-02 13:03:57 +00:00 |
|
krasimir
|
617ce3cce6
|
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
|
2010-09-22 15:49:16 +00:00 |
|
krasimir
|
1c9305e7a3
|
cleanup and export the Probabilistic API from PGF
|
2010-09-22 09:06:19 +00:00 |
|
krasimir
|
d3a6866277
|
more advanced complete function in the PGFService
|
2010-08-24 15:58:22 +00:00 |
|
krasimir
|
94bd76df72
|
two new functions in the PGF API: mkAbs, unAbs
|
2010-07-31 16:40:16 +00:00 |
|
krasimir
|
067d908aa3
|
now the meta id of the meta variables is accessible via the PGF API
|
2010-07-31 12:52:20 +00:00 |
|
krasimir
|
b351c9d9dd
|
added function unType in PGF
|
2010-07-31 12:47:10 +00:00 |
|
krasimir
|
5ae7be358d
|
redesign the open-literals API
|
2010-07-01 08:51:59 +00:00 |
|
krasimir
|
272dcf6917
|
introduce the type synonym Token=String in the PGF API
|
2010-06-29 09:00:41 +00:00 |
|
krasimir
|
88d7631b62
|
preliminary version of API for Open Literals
|
2010-06-22 12:31:04 +00:00 |
|
krasimir
|
31856ebb4c
|
now the parser could return partial parse results
|
2010-05-19 12:31:36 +00:00 |
|
krasimir
|
9e7b914c3c
|
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
|
8460598801
|
first incarnation of the bracketed string API
|
2010-04-30 14:36:06 +00:00 |
|
krasimir
|
d83c2d01d8
|
export fullFormLexicon from PGF
|
2010-03-31 11:09:12 +00:00 |
|
krasimir
|
68482aa7e9
|
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
|
716a209f65
|
PGF.groupResults and the option l -groups, to show ambiguities grouped by laguage
|
2010-03-22 19:03:06 +00:00 |
|
krasimir
|
f870c4d80f
|
syntax for inaccessible patterns in GF
|
2010-03-18 19:34:30 +00:00 |
|
krasimir
|
09da1013f9
|
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
|
32f9499f2e
|
fix the PGF printer for abstract
|
2010-02-16 21:47:58 +00:00 |
|
aarne
|
510d511637
|
commands mq and tq can take a tree with metas to guide generation
|
2010-02-01 09:56:58 +00:00 |
|
aarne
|
e71545eab1
|
gt and gr can start from a tree with metavariables, just filling them
|
2010-01-30 18:01:18 +00:00 |
|
krasimir
|
3b7e39fa4a
|
bugfix in the PGF typechecker and more test cases
|
2010-01-29 21:10:14 +00:00 |
|
krasimir
|
890d455793
|
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
|
9b362ff231
|
PGF is now real synchronous PMCFG
|
2010-01-17 21:35:36 +00:00 |
|
krasimir
|
3ed19a482e
|
printnames are now kept as String instead of Term in PGF
|
2010-01-05 07:05:41 +00:00 |
|
krasimir
|
c036459214
|
remove the old parsing code and the -erasing=on flag
|
2009-12-14 10:54:22 +00:00 |
|
krasimir
|
f85232947e
|
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
|
2009-12-13 18:50:29 +00:00 |
|