aarne
|
61e4e9ac20
|
updated documentation of pg -printer formats
|
2010-12-14 22:05:53 +00:00 |
|
aarne
|
9c86b62212
|
documented the pgf -printer values for help
|
2010-12-14 20:40:17 +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
|
b0e110cf4f
|
native representation for HOAS in PMCFG and incremental type checking of the parse forest
|
2010-08-09 10:10:08 +00:00 |
|
krasimir
|
5ae7be358d
|
redesign the open-literals API
|
2010-07-01 08:51:59 +00:00 |
|
krasimir
|
d6f32b3bcd
|
dead code elimination for PGF. Note: the produced grammars will not work well with metavariables and high-order abstract syntax
|
2010-06-09 11:32:59 +00:00 |
|
krasimir
|
68de1cead3
|
wf,vt,vp,vd,aw should store files in utf8
|
2010-04-28 17:37:53 +00:00 |
|
krasimir
|
6313244eac
|
use the native unicode support from GHC 6.12
|
2010-04-19 09:38:36 +00:00 |
|
aarne
|
ba13052d31
|
dependency graph can be restricted to some modules; added help dg
|
2010-04-06 08:53:44 +00:00 |
|
krasimir
|
1e51690b71
|
added codepage for Turkish
|
2010-03-23 13:44:17 +00:00 |
|
krasimir
|
bf74f50733
|
store and propagate the exact source location for all judgements in the grammar. It may not be used accurately in the error messages yet
|
2010-03-22 21:15:29 +00:00 |
|
krasimir
|
fba592ecf8
|
added experimental generation of Lambda Prolog code. Could be used for exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
|
2010-03-20 07:26:53 +00:00 |
|
krasimir
|
be6465a2eb
|
refactor GF.Infra.Modules for better error messages
|
2010-01-31 15:54:25 +00:00 |
|
krasimir
|
9b362ff231
|
PGF is now real synchronous PMCFG
|
2010-01-17 21:35:36 +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 |
|