summaryrefslogtreecommitdiff
path: root/src/PGF
AgeCommit message (Collapse)Author
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter ↵krasimir
from deprecated
2009-12-13rename #Var to __gfVar because it breaks the JavaScript editorkrasimir
2009-12-11judgements lindef are now respected by both the parser and the linearizerkrasimir
2009-12-05added mkMeta and isMeta in PGFkrasimir
2009-12-05fix the pattern matching in unStr, unInt, unDoublekrasimir
2009-12-01abstracts, literals, and variables in tree visualizationaarne
2009-11-15command vt -mk for displaying overload-style function namesaarne
2009-11-11questions, relatives, numerals - most of Dutch syntax soon in placeaarne
2009-10-24expose the tree visualization via PGF APIkrasimir
2009-10-23fix typokrasimir
2009-10-23experimental robust parserkrasimir
2009-10-20fix for multiword phrases in Malt formataarne
2009-10-20MaltParser inputaarne
2009-10-20Malt parser .conll format by vd -output=maltaarne
2009-10-19labels read from config files for dependency trees, eg lib/src/dep.labelsaarne
2009-10-19one missing case in dep treesaarne
2009-10-19labels in dep trees (preliminary)aarne
2009-10-18improved printing of dependency treesaarne
2009-10-15added smart constructors for types in PGFkrasimir
2009-10-08rudimentary dependency tree by command vdaarne
2009-10-07parse tree visualization command vpaarne
2009-10-02Implicit arguments in GF. Works only in PGF for now.krasimir
2009-09-20change the data types and the syntax in PGF to match the new syntax for ↵krasimir
implict arguments
2009-09-28export the morphology API from PGFkrasimir
2009-09-23bugfix in the filterProds functionkrasimir
2009-09-23the pmcfg_pretty printer now prints the actual grammar used for parsingkrasimir
2009-09-19bugfix in PGF.TypeCheckkrasimir
2009-09-19use the syntax <x : A> in PGF.Expr for typed expressions. This is consistent ↵krasimir
with the GF language
2009-09-18typo in PGF.Exprkrasimir
2009-09-17bugfix in the ai commandkrasimir
2009-09-11added wrapper functions for expression manipulations in PGF. The Haskell API ↵krasimir
now uses the wrappers
2009-09-11polish the PGF API and make Expr and Type abstract types. Tree is a type ↵krasimir
synonym of Expr
2009-09-08now the datatype Tree is only internal. All API functions are working with ↵krasimir
Expr directly. Commands gt, gr, p and rf filter out the output via the typechecker
2009-09-06hopefully complete and correct typechecker in PGFkrasimir
2009-07-07bugfixes in the parser for PGF.Type.Typekrasimir
2009-07-05bugfix in PGF.Expr.applykrasimir
2009-07-05PGF.Type.Hypo now can represent explicit and implicit arguments and argument ↵krasimir
without bound variable
2009-07-05PGF.Expr.eval now returns suspension when a meta variable is encounteredkrasimir
2009-06-22test unification in TypeCheckaarne
2009-06-19in splitContraints the values first have to be reducedkrasimir
2009-06-19fix the current PGF typecheckerkrasimir
2009-06-19bugfix: restore the check for bound variables in expr2treekrasimir
2009-06-18the PMCFG lexical categories are not printed out with prefix C i.e. CInt,.. ↵krasimir
to make them different from the same PGF categories
2009-06-18bugfix: the optimizer should not filter out rules that refer to lexical ↵krasimir
categories
2009-06-16completely phrase based parser and support for pre {} in PMCFGkrasimir
2009-05-23now in the command shell the primary type in the pipe is Expr not Tree. This ↵krasimir
makes the pt -compute and pt -typecheck more interesting
2009-05-22some work on evaluation with abstract expressions in PGFkrasimir
2009-05-20refactor the PGF.Expr type and the evaluation of abstract expressionskrasimir
2009-05-18added filtering for useless productions in PMCFGkrasimir
2009-05-12added command ai which prints information about given identifierkrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 08:39:31 +0000