summaryrefslogtreecommitdiff
path: root/src/runtime/haskell/PGF
AgeCommit message (Expand)Author
2010-03-24now for every category we store, in PGF, the list of functions for it in sour...krasimir
2010-03-18pattern @ should be propagated to PGFkrasimir
2010-03-18syntax for inaccessible patterns in GFkrasimir
2010-03-14bugfix in PGF.TypeCheckkrasimir
2010-03-13cleanup in PGF.Typecheck -> newGuardedMeta doesn't need the current scopekrasimir
2010-02-22refactor PGF.Expr and PGF.TypeCheck so that the evaluator always has access t...krasimir
2010-02-20bugfix in PGF.TypeCheckkrasimir
2010-02-17fix in PGF.Printerkrasimir
2010-02-17-output-format=pgf_pretty now prints the flags as wellkrasimir
2010-02-16fix the PGF printer for abstractkrasimir
2010-02-02gr for several metas fixed ; commented out one alternative in SammieGer to ma...aarne
2010-02-01commands mq and tq can take a tree with metas to guide generationaarne
2010-01-31add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation a...krasimir
2010-01-30gt and gr can start from a tree with metavariables, just filling themaarne
2010-01-30code cleanup in PGF.TypeCheckkrasimir
2010-01-29bugfix in the PGF typechecker and more test caseskrasimir
2010-01-28in example-based grammar conversion, warnings about unknown wordsaarne
2010-01-27cleanup the code of the PGF interpreter and polish the binary serialization t...krasimir
2010-01-26bug fixes in biased generation ; example probs file in lib/srcaarne
2010-01-26probability ranking (rt) and gr -probs=FILEaarne
2010-01-26added probabilities to trees and random gen; not yet in shellaarne
2010-01-17PGF is now real synchronous PMCFGkrasimir
2010-01-17now the linearization is completely based on PMCFGkrasimir
2010-01-12move the definitions of _B and _V to PGF.Macroskrasimir
2010-01-05store the label names in PMCFGkrasimir
2010-01-05printnames are now kept as String instead of Term in PGFkrasimir
2010-01-15allow metavariables with indices i.e. ?0, ?1, etc in the abstract syntax pars...krasimir
2010-01-15now the abstract syntax in PGF allows the same syntax for integers, floats an...krasimir
2009-12-31morpho analysis with -missing flag, shows words outside lexicon; also invoked...aarne
2009-12-14remove the old parsing code and the -erasing=on flagkrasimir
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter f...krasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 15:54:39 +0000