summaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2010-02-17replace SS with StmtS in SUMOkrasimir
2010-02-17added TPTP for SUMOkrasimir
2010-02-17SUMO axiomskrasimir
2010-02-17added examples/SUMOkrasimir
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-16no need to keep the list of constructors per category in .gfokrasimir
2010-02-15more category theory -> morphisms, initial and terminal objectskrasimir
2010-02-14basic category theory expressed in GF. Note: works only with my development v...krasimir
2010-02-12white space instead of tab in GF.cabalkrasimir
2010-02-12add PGF.Probabilistic in GF.cabalkrasimir
2010-02-09one more test for cyclic operationskrasimir
2010-02-08allow negative integers in the grammar syntaxkrasimir
2010-02-07test case for lazy evaluation in the abstract syntaxkrasimir
2010-02-08generalized tour to a variable language by the script MkTouraarne
2010-02-07command cc now works even without loaded grammar. useful for testing closed e...krasimir
2010-02-06test case for invalid parameter definitionkrasimir
2010-02-06in verbose mode print the rule names when compiling PMCFGkrasimir
2010-02-05bugfix in GrammarToPGF related to the compilation of def ruleskrasimir
2010-02-03command eh ; lib/doc/tour startedaarne
2010-02-03fix the tabular printing when there is a V constructorkrasimir
2010-02-02gr for several metas fixed ; commented out one alternative in SammieGer to ma...aarne
2010-02-01fixed Sammie examples to compile (except Spa)aarne
2010-02-01commands mq and tq can take a tree with metas to guide generationaarne
2010-02-01test case for let expression in def rulekrasimir
2010-02-01added tests for literals in the abstract syntaxkrasimir
2010-01-31added test cases for polymorphic and record types in the abstract syntaxkrasimir
2010-01-31add test case for abstract types with let bindingskrasimir
2010-01-31command l -list ; fixed mq to work with the new tabularLinearizesaarne
2010-01-31refactor GF.Infra.Modules for better error messageskrasimir
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-29update the testsuitekrasimir
2010-01-28example_based returns the list of all unknown wordsaarne
2010-01-28in example-based grammar conversion, warnings about unknown wordsaarne
2010-01-27command eb for example-based grammar conversion; see 'help eb' and the exampl...aarne
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-26fix the PGF generation when it is used from the shellkrasimir
2010-01-17PGF is now real synchronous PMCFGkrasimir
2010-01-17now the linearization is completely based on PMCFGkrasimir
2010-01-17prettier parameter names in PGFkrasimir
2010-01-16small code cleanup in GeneratePMCFG.hskrasimir
2010-01-12move the definitions of _B and _V to PGF.Macroskrasimir
2010-01-05store the label names in PMCFGkrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 23:17:20 +0000