summaryrefslogtreecommitdiff
path: root/src/compiler
AgeCommit message (Collapse)Author
2010-03-22transliteration for Urdukrasimir
2010-03-22produce optimized Lambda Prolog codekrasimir
2010-03-20added experimental generation of Lambda Prolog code. Could be used for ↵krasimir
exhaustive generation with dependent types. Doesn't support def rules yet but supports high-order syntax and lambda expressions.
2010-03-18pattern @ should be propagated to PGFkrasimir
2010-03-18fix the precedence for patterns ~, - and @krasimir
2010-03-18syntax for inaccessible patterns in GFkrasimir
2010-02-22rule for pretty printing implicit argumentskrasimir
2010-02-22add pretty printing rule for implicit patternskrasimir
2010-02-17fix the Haskell code generationkrasimir
2010-02-16no need to keep the list of constructors per category in .gfokrasimir
2010-02-08allow negative integers in the grammar 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 ↵krasimir
expressions
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-01commands mq and tq can take a tree with metas to guide generationaarne
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-30gt and gr can start from a tree with metavariables, just filling themaarne
2010-01-29bugfix in the PGF typechecker and more test caseskrasimir
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 ↵aarne
example in examples/animals/QuestionsI.gfe
2010-01-27cleanup the code of the PGF interpreter and polish the binary serialization ↵krasimir
to match the preliminary specification
2010-01-26probability ranking (rt) and gr -probs=FILEaarne
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
2010-01-05printnames are now kept as String instead of Term in PGFkrasimir
2010-01-15now the abstract syntax in PGF allows the same syntax for integers, floats ↵krasimir
and strings as in Haskell. This includes negative integers and exponents in the floats
2009-12-31morpho analysis with -missing flag, shows words outside lexicon; also ↵aarne
invoked if parsing fails; also added pg -words to show the list of words
2009-12-17correct capitalization in unlexmixed; unlextext and unlexmixed now remove ↵aarne
string literal quotes
2009-12-16one step deeper into records in PGF generationaarne
2009-12-14remove some more dead codekrasimir
2009-12-14remove the old parsing code and the -erasing=on flagkrasimir
2009-12-14rename some modules that had GFCC in the name to PGF+somethingkrasimir
2009-12-14now the PGF to JavaScript convertor uses PMCFGkrasimir
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter ↵krasimir
from deprecated
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-21 10:09:59 +0000