index
:
gf-core.git
master
optimize
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
compiler
/
GF
/
Infra
/
Option.hs
Age
Commit message (
Collapse
)
Author
2010-10-02
refactor the API for random generation again. Now PGF contains probabilities ↵
krasimir
in the abstract syntax
2010-08-09
native representation for HOAS in PMCFG and incremental type checking of the ↵
krasimir
parse forest
2010-07-01
redesign the open-literals API
krasimir
2010-06-09
dead code elimination for PGF. Note: the produced grammars will not work ↵
krasimir
well with metavariables and high-order abstract syntax
2010-04-19
use the native unicode support from GHC 6.12
krasimir
2010-03-23
added codepage for Turkish
krasimir
2010-03-20
added experimental generation of Lambda Prolog code. Could be used for ↵
krasimir
exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
2010-01-17
PGF is now real synchronous PMCFG
krasimir
2009-12-14
remove the old parsing code and the -erasing=on flag
krasimir
2009-12-13
reorganize the directories under src, and rescue the JavaScript interpreter ↵
krasimir
from deprecated