summaryrefslogtreecommitdiff
path: root/src/PGF
AgeCommit message (Expand)Author
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
2008-10-20Added PGF.Macros.mapConcretesbjorn
2008-10-20Added Read and Show instances for CId. Also added readCId :: String -> Maybe ...bjorn
2008-10-20Added Read and Show instances for Type. This required moving some code around.bjorn
2008-10-20Replace Category with Type in the PGF API. Added readLanguage and showLanguage.bjorn
2008-10-20preparation for dep. types. The -cat option can take any type instead of just...krasimir
2008-10-20add parser and pretty printer for typeskrasimir
2008-10-19move the literal category names to PGF.Macroskrasimir
2008-10-19move PGF.Quiz to GF.Quiz. It is not part of the PGF APIkrasimir
2008-10-16Moved parser building in the PGF interpreter to PGF.hs from PGF/Raw/Convert.h...bjorn
2008-10-16code tweak: use Map.findWithDefault in PGF.Macros.lookMapbjorn
2008-10-15restored the possibility to compile .cf files to gfaarne
2008-10-15high-order syntax in PMCFGkrasimir
2008-10-15threat category _Var as a literal categorykrasimir
2008-10-15generate metavariables in the tree extraction for PMCFGkrasimir
2008-10-15store the total number of PMCFG categories in the PGF filekrasimir
2008-10-14literal categories in the incremental parserkrasimir
2008-10-14rudimentary abstract syntax type checker and solver in PGFaarne
2008-10-14pass the full Tokn type to the add function not just the KS stringkrasimir
2008-10-14paraphrase works a little better now ; added examples/paraphrase for testingaarne
2008-10-14the new optimized incremental parser and the common subexpression elimination...krasimir
2008-10-13added a paraphrase method applying def's in both directions, in subtrees, and...aarne
2008-10-10added a note on refreshing variables in AbsComputeaarne
2008-10-10a first version of PGF.AbsComputeaarne
2008-10-06simplified 1.5 by removing mathematical/aarne
2008-10-03Merge mine and aarne's variants linearization changes.bjorn
2008-10-03Don't build FV terms if there is exactly one variant.bjorn
2008-10-03made variants checking symmetric for Ints m == Ints n in PGF.Checkaarne
2008-10-03fixed the over-expansion of record variants in PGF.Linearizeaarne
2008-10-03Fixed variants semantics in PGF linearization to expand make variants of argu...bjorn
2008-10-03Handle concatenations with variants in PGF.ShowLinearize, fixes http://trac.h...bjorn
2008-10-01added mode 'gf --run' for running silently a script ; made quizzes handle cha...aarne
2008-09-26Added isLiteralCat function to PGF.Macros.bjorn
2008-09-16build parsers on demand if they aren't in the PGF filekrasimir
2008-09-16fix the segmentation fault with Swedishkrasimir
2008-08-19Fix order in the cncnames list in unionPGF. It was made in reverse.bjorn
2008-08-18When producing PGF, do UTF-8 encoding of the whole file after pretty printing...bjorn
2008-06-25changed names of resource-1.3; added a note on homepage on releaseaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-31 05:21:20 +0000