summaryrefslogtreecommitdiff
path: root/src/PGF
AgeCommit message (Expand)Author
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
2009-09-11polish the PGF API and make Expr and Type abstract types. Tree is a type syno...krasimir
2009-09-08now the datatype Tree is only internal. All API functions are working with Ex...krasimir
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
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,.. t...krasimir
2009-06-18bugfix: the optimizer should not filter out rules that refer to lexical categ...krasimir
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
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
2009-04-30upgrade to GHC 6.10.2krasimir
2009-04-15proper pretty printing of tokens in PGF.PMCFGkrasimir
2009-04-02raise better error message when decode PGF filekrasimir
2009-03-09special cases for printing the build-in PMCFG categorieskrasimir
2009-02-08fixes in the pretty printer for PMCFGkrasimir
2009-02-07PMCFG pretty printerkrasimir
2009-02-02tabularLinearize should always generate label nameskrasimir
2009-01-30metavariables made unique in type checkingaarne
2008-12-16fixed discontinuous constituents in word alignmentaarne
2008-12-16datatype for bracketed texts, and improved word alignmentaarne
2008-12-16position of arrows in alignmentaarne
2008-12-15better treatment of syncategorematic words in alignmentaarne
2008-12-15visualization of word alignment based on bracketing (command aw); does not wo...aarne
2008-12-13bracketing with tree node reference: l -bracketaarne
2008-12-10added and editor function allMetas showing all meta positions and their typesaarne
2008-12-10documentation in the Editor filesaarne
2008-12-10fix in Editoraarne
2008-12-09parsing in the toy editoraarne
2008-12-09Editor with some commands, using PGF API, with demo shell in exper/EditShell;...aarne
2008-12-08started PGF editoraarne
2008-10-28even more compact binary representation. saldo < 19MBkrasimir
2008-10-28remove some traces that I left by incidentkrasimir
2008-10-28remove some redundant imports of GF.Text.UTF8krasimir
2008-10-28forgot to add PGF.Binarykrasimir
2008-10-28binary serialization for PGFkrasimir
2008-10-28define Read and Show instances for Expr and Treekrasimir
2008-10-21efficient and nicer implementation for literal categorieskrasimir
2008-10-20the literal categories were slowing down the parser 3 times. this is quick an...krasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-06-15 15:55:36 +0000