summaryrefslogtreecommitdiff
path: root/src/compiler/GF
AgeCommit message (Expand)Author
2017-09-01added command "rt" in the C shellKrasimir Angelov
2017-09-01the C shell now type checks expressions before they are usedKrasimir Angelov
2017-09-01complete details for the "ai" command in the C shellKrasimir Angelov
2017-09-01added function treeProbability in the Haskell bindingKrasimir Angelov
2017-09-01giza alignment in the C shellKrasimir Angelov
2017-08-31graphvizWordAlignment in the C runtimeKrasimir Angelov
2017-08-31the C runtime now supports the same customizations for GraphViz as the Haskel...Krasimir Angelov
2017-08-31remove move dead code in the C shellKrasimir Angelov
2017-08-30some dead code eliminationKrasimir Angelov
2017-08-30an almost complete ai command in the C shellKrasimir Angelov
2017-08-30implement rf in the C shellKrasimir Angelov
2017-08-30pg in the C shell now supports most output formatsKrasimir Angelov
2017-08-30remove some dead code in the C shellKrasimir Angelov
2017-08-30in the C shell rename the ga command to gt to be consistent with the standard...Krasimir Angelov
2017-08-30"lc" was a temporary hack and is now removed from the C shellKrasimir Angelov
2017-08-30"ma" command in the C shellKrasimir Angelov
2017-08-30the l command in the C shell now supports the same options as in the normal s...Krasimir Angelov
2017-08-29added option -output-format=java for producing code for embedded grammars in ...Krasimir Angelov
2017-08-29the embedded grammars now work with both the pure Haskell and the Haskell bin...Krasimir Angelov
2017-08-18Bump version requirements to base>=4.6, Cabal>=1.20Thomas Hallgren
2017-08-11Disable detailed version info from darcsThomas Hallgren
2017-06-14added Arabic question mark to arabic and persian transliterations, as well as...aarne
2017-04-06vd command now reads local concrete configurations to deal with syncat words;...aarne
2017-03-22fixed a bug in Eq instance generation for GADT and lexical categoriesaarne
2017-03-07a better error messagekrasimir
2017-03-07GF.Compile.Compute.ConcreteNew now handles Predef.Floatkrasimir
2017-03-07bugfix in record subtyping checkingkrasimir
2017-03-07GF.Grammar.Printer now has a Terse mode which prints record types with lock f...krasimir
2017-03-06fix for EPattkrasimir
2017-03-06type checking EPattkrasimir
2017-03-06GF.Compile.Compute.ConcreteNew now can handle EPattTypekrasimir
2017-03-06some missing patternskrasimir
2017-03-06added overload resolution in the experimental type checkerkrasimir
2017-03-03some progress on the experimental type checker for the concrete syntaxkrasimir
2017-02-24corrected fg generation for lexical categories, to avoid a type error in gene...aarne
2017-02-21Fix compilation errors caused by changes in PGF2hallgren
2017-01-25improve the documentation for PGF2krasimir
2016-09-05BNF grammars (.bnf or .cf) can have rules without semicolons, as in the GF bo...aarne
2016-06-15GF cloud: more readable formatting of the GF version pagehallgren
2016-06-09PGF service & minibar: only show dependency diagrams if the labels are knownhallgren
2016-05-22Changes for compatibility with GHC 8.0.1hallgren
2016-04-07GF.Command.Commands2: adapt gf -cshell to the changes in the previous patchhallgren
2016-04-07GF shell: fix a parsing problem with the cc commandhallgren
2016-04-07Lexer.x & Parser.y: add a partial parser for termshallgren
2016-04-06Lexer.x: fix cyclic Functor instancehallgren
2016-03-22fix the handling of separators in BNFC which are not nonemptykrasimir
2016-03-22CFGtoPGF is now extended to support context-free grammars with primitive para...krasimir
2016-03-21added missing module GF.Grammar.BNFCkrasimir
2016-03-21fix comment in GF.Grammar.CFGkrasimir
2016-03-21initial support for BNFC syntax in context-free grammars for GF. Not all feat...krasimir