summaryrefslogtreecommitdiff
path: root/src/runtime/haskell
AgeCommit message (Expand)Author
2010-10-11the exhaustive/random generator now knows how to handle computable functions ...krasimir
2010-10-11now the generation from template with meta-variables respects the dependent t...krasimir
2010-10-02backtracking for random generation is not enough. we must restart the search ...krasimir
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ...krasimir
2010-09-22the first revision of exhaustive and random generation with dependent types. ...krasimir
2010-09-22cleanup and export the Probabilistic API from PGFkrasimir
2010-09-12bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be su...krasimir
2010-08-30PGF.Expr.normalForm does variable renamingkrasimir
2010-08-09native representation for HOAS in PMCFG and incremental type checking of the ...krasimir
2010-08-24more advanced complete function in the PGFServicekrasimir
2010-07-31two new functions in the PGF API: mkAbs, unAbskrasimir
2010-07-31now the meta id of the meta variables is accessible via the PGF APIkrasimir
2010-07-31added function unType in PGFkrasimir
2010-07-15fix the algorithm for items cutting in the partial parserkrasimir
2010-07-13fix the loopchecking in PGF.Forest.bracketedToknkrasimir
2010-07-13bugfix in the decoding of literals in PGF.Binarykrasimir
2010-07-07report type errors in the shell from command "p"krasimir
2010-07-07simplify the monad TcMkrasimir
2010-07-01redesign the open-literals APIkrasimir
2010-06-30rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int...krasimir
2010-06-29in PGF.Printer special output format for SymLitkrasimir
2010-06-29introduce the type synonym Token=String in the PGF APIkrasimir
2010-06-22preliminary version of API for Open Literalskrasimir
2010-06-18Yay!! Direct generation of PMCFG from GF grammarkrasimir
2010-06-18the automatically generated printnames were just junks. Now we store printnam...krasimir
2010-06-18PGF.Printer now dumps the printnames as wellkrasimir
2010-06-09dead code elimination for PGF. Note: the produced grammars will not work well...krasimir
2010-06-09filter the duplications when doing 'l -table'krasimir
2010-06-05Changing rec to rec_ in PGFjordi.saludes
2010-05-29I switched back to the old algorithm for generating dependency trees. This re...krasimir
2010-05-26since now we don't do common subexpression elimination for PGF we could simpl...krasimir
2010-05-25some fixes for graphvizDependencyTreekrasimir
2010-05-25bugfix in the linearization algorithmkrasimir
2010-05-19now every BracketedString also has reference to the source expression(s)krasimir
2010-05-19added function lengthBracketedStringkrasimir
2010-05-19now the parser could return partial parse resultskrasimir
2010-05-17simple refactoring: use ActiveKey in PGF.Parse.getParseResult instead of plai...krasimir
2010-05-11in PGF, when printing function and category definitions, add semicolonkrasimir
2010-05-06fixed two bugs in gtaarne
2010-05-01refactor BracketedStringkrasimir
2010-05-01bug fix for bracketedLinearize with HOAS and meta variableskrasimir
2010-05-01fixes in unStr,unInt,unDouble,isMetakrasimir
2010-04-30for backward compatibility we have the old parse function again. the old func...krasimir
2010-04-30optimize/simplify the error reporting in the new APIkrasimir
2010-04-30first incarnation of the bracketed string APIkrasimir
2010-04-23fix parsing of literalskrasimir
2010-04-22removed mention of 2.9 welcome, and some traces in visualizationaarne
2010-04-12fix the molto-molto-molto problemkrasimir
2010-04-04in the shell, permit 3-letter lang codes as concrete syntax namesaarne
2010-03-31export fullFormLexicon from PGFkrasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 16:32:59 +0000