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
|
9aa7c88c5a
|
native representation for HOAS in PMCFG and incremental type checking of the parse forest
|
2010-08-09 10:10:08 +00:00 |
|
krasimir
|
97a9ddb4a7
|
rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int|Float)
|
2010-06-30 07:40:22 +00:00 |
|
krasimir
|
4fab73d5e7
|
in PGF.Printer special output format for SymLit
|
2010-06-29 09:05:07 +00:00 |
|
krasimir
|
58422b189a
|
PGF.Printer now dumps the printnames as well
|
2010-06-18 10:04:10 +00:00 |
|
krasimir
|
5249711c34
|
in PGF, when printing function and category definitions, add semicolon
|
2010-05-11 12:50:51 +00:00 |
|
krasimir
|
83528f15d7
|
first incarnation of the bracketed string API
|
2010-04-30 14:36:06 +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 |
|
krasimir
|
0c2944fa7f
|
syntax for inaccessible patterns in GF
|
2010-03-18 19:34:30 +00:00 |
|
krasimir
|
d91ffecfa4
|
-output-format=pgf_pretty now prints the flags as well
|
2010-02-17 10:20:49 +00:00 |
|
krasimir
|
e1ac90f543
|
fix the PGF printer for abstract
|
2010-02-16 21:47:58 +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 |
|