summaryrefslogtreecommitdiff
path: root/src
AgeCommit message (Collapse)Author
2007-12-04unifying judgement information - now easyaarne
2007-12-04printing new source formataarne
2007-12-04some missing cases in SourceToGFaarne
2007-12-04test for new GF source formataarne
2007-12-04moved some modules to Devel.Grammaraarne
2007-12-04SourceToGF working though not completeaarne
2007-11-28Haskell GSyntax printer?: encode generated code as UTF-8. Current GHC ↵bringert
versions treat source files as UTF-8 encoded.
2007-11-12Added install-gf3 target. Use EXEEXT to get correct gf3 file name on Windows.bringert
2007-11-12Use configure to produce a gfc script with the correct path to gf3. NOTE: ↵bringert
you need to re-run autoconf after pulling this patch.
2007-12-03started parsing GF source into the new formataarne
2007-11-29some macros for terms, jments, modulesaarne
2007-11-28judgement construction after parsingaarne
2007-11-28lookup module separatedaarne
2007-11-28new definitions of term and judgement syntaxaarne
2007-11-28lookup modulesaarne
2007-11-27started experimental new module syntaxaarne
2007-11-15diagnostic error message in GrammarToHaskellaarne
2007-11-15dealing with Ints n in GrammarToGFCCaarne
2007-11-12made Devel versions of Compute, CheckGrammar, Optimize, etc, to leave GF 2.8 ↵aarne
untouched when experimenting
2007-11-12made compile from source use optimized modules internallyaarne
2007-11-12fixed a bug on not updating parameter table in record fields in GrammarToGFCCaarne
2007-11-12fixed bug with prawitz transform of course-of-values tables in Computeaarne
2007-11-12merged gfc and gfi to one binary, and a shell script for gfcaarne
2007-11-10printing grammarReference.js with gfc -jsrefaarne
2007-11-09post-compute in GrammarToGFCC - what else is needed?aarne
2007-11-09ResFin workaround; type annot for ghc 6.8.1aarne
2007-11-09Fix pre token bug in JS, both in gf and gfc. Pre tokens are still treated ↵bringert
like normal tokens, but at least the generated code should be correct now.
2007-11-09debugging gfcc bug; resulted in some type annotations to work around problemsaarne
2007-11-09changed js and hs file names in gfcc output to expected onesaarne
2007-11-09preserve error message in batch compileaarne
2007-11-09currying in paramlincat encodingaarne
2007-11-09grammar printing options in gf3 and gfcaarne
2007-11-08partial check of dependencies with restricted inheritanceaarne
2007-11-08restricted inheritance in gfcc abstract fixedaarne
2007-11-06funny ASCII logoaarne
2007-11-08added linearize -allaarne
2007-11-08gfi linearization with flags -table -record -termaarne
2007-11-07encoding of lincats as gfcc terms with param value informationaarne
2007-11-07added fields for global options and showable lincats to gfccaarne
2007-11-07some more issues in gf3.txtaarne
2007-11-07moved gfcc program to gfi, wrote document gf3.txtaarne
2007-11-06prompt and CPU time in experimental shellaarne
2007-11-06Devel/GF3: experimentally putting together all functionalities for the first ↵aarne
time
2007-11-06made command table independent of optionsaarne
2007-11-06factored out commands from interpreter in gfccaarne
2007-11-05fixed variants bug in GFCC.Linearize: l. 64,46 'r' must be 'p'aarne
2007-11-05unionGFCC, to put together GFCC grs with same abstractaarne
2007-11-04command database in gfccaarne
2007-11-04changed suffix gfc to gfo in the gfc program to enable sharing directories ↵aarne
with gf
2007-11-04interpreter with pipesaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-31 06:09:29 +0000