summaryrefslogtreecommitdiff
path: root/src/compiler/GF/Infra
AgeCommit message (Expand)Author
2011-04-13Added a preliminary "gf -server" mode.hallgren
2011-04-13Show configuration options as part of build infohallgren
2011-04-13GF.Infra.UseIO: add functions readBinaryFile & writeBinaryFilehallgren
2011-04-04Add build info to the GF shell welcome messagehallgren
2010-12-11Adding an option to the gf compiler to add an index to pgf filesgdetrez
2011-03-12make it possible to override opers defined in an interface by syntax 'instanc...aarne
2011-03-03GF shell restricted modehallgren
2010-12-14updated documentation of pg -printer formatsaarne
2010-12-14documented the pgf -printer values for helpaarne
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ...krasimir
2010-08-09native representation for HOAS in PMCFG and incremental type checking of the ...krasimir
2010-07-01redesign the open-literals APIkrasimir
2010-06-09dead code elimination for PGF. Note: the produced grammars will not work well...krasimir
2010-04-28wf,vt,vp,vd,aw should store files in utf8krasimir
2010-04-19use the native unicode support from GHC 6.12krasimir
2010-04-06dependency graph can be restricted to some modules; added help dgaarne
2010-03-23added codepage for Turkishkrasimir
2010-03-22store and propagate the exact source location for all judgements in the gramm...krasimir
2010-03-20added experimental generation of Lambda Prolog code. Could be used for exhaus...krasimir
2010-01-31refactor GF.Infra.Modules for better error messageskrasimir
2010-01-17PGF is now real synchronous PMCFGkrasimir
2009-12-14remove the old parsing code and the -erasing=on flagkrasimir
2009-12-13reorganize the directories under src, and rescue the JavaScript interpreter f...krasimir
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-26 18:39:52 +0000