| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2011-04-13 | Added a preliminary "gf -server" mode. | hallgren | |
| The command "gf -server" now starts a simple HTTP server on port 41295, providing a simple web API to the GF compiler. It currently support the follwing operations: * creating new temporary directories for grammar uploads, * uploading grammars files for use in the GF shell, * executing GF shell commands, and * accessing static files. This means that GF now depends on some additional networking related packages, but they should be available and easy to install on all platforms. There is also a new configuration flag "server" in gf.cabal, so GF will be compiled without support for server mode if the extra packages are unavailable. Note that running gf -server while connected to the internet can be a security risk. To prevent unauthorized access to the rest of the system, it is advisable to run the server in GF_RESTRICTED mode and as a user with suitably restricted file permissions. | |||
| 2010-12-11 | Adding an option to the gf compiler to add an index to pgf files | gdetrez | |
| This is gonna be used by the android library to skip unused part of a pgf file | |||
| 2010-12-14 | updated documentation of pg -printer formats | aarne | |
| 2010-12-14 | documented the pgf -printer values for help | aarne | |
| 2010-10-02 | refactor the API for random generation again. Now PGF contains probabilities ↵ | krasimir | |
| in the abstract syntax | |||
| 2010-08-09 | native representation for HOAS in PMCFG and incremental type checking of the ↵ | krasimir | |
| parse forest | |||
| 2010-07-01 | redesign the open-literals API | krasimir | |
| 2010-06-09 | dead code elimination for PGF. Note: the produced grammars will not work ↵ | krasimir | |
| well with metavariables and high-order abstract syntax | |||
| 2010-04-19 | use the native unicode support from GHC 6.12 | krasimir | |
| 2010-03-23 | added codepage for Turkish | krasimir | |
| 2010-03-20 | added 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-01-17 | PGF is now real synchronous PMCFG | krasimir | |
| 2009-12-14 | remove the old parsing code and the -erasing=on flag | krasimir | |
| 2009-12-13 | reorganize the directories under src, and rescue the JavaScript interpreter ↵ | krasimir | |
| from deprecated | |||
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |