| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2013-04-08 | PGF.hs: export function missingLins | hallgren | |
| Also in Commands.hs: be explicit about things imported from the PGF library that are not in the public API. Also a couple of haddock documentation fixes. | |||
| 2012-08-29 | A basic infrastructure for generating Teyjus bytecode from the GF abstract ↵ | kr.angelov | |
| syntax | |||
| 2012-03-18 | PGF run-time library: function names in BracketedString (experimental) | hallgren | |
| + Make room for function names in the BracketedString data structure. + Fill in function names when linearizing an abstract syntax tree to a BracketedString. + Fill in wildCId when it is not obvious what the function is. + Function bracketedLinearize: for compatibility with the other linearization functions, return Leaf "" instead of error "cannot linearize". + Export flattenBracketedString from module PGF. + PGFServce: make function names available in the JSON representation of BracketedString. | |||
| 2010-12-06 | simple refactoring in PGF.Macros and related | krasimir | |
| 2010-10-25 | when we print the bracketed string it is useful to print the attached ↵ | krasimir | |
| metavariables as well | |||
| 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-29 | introduce the type synonym Token=String in the PGF API | krasimir | |
| 2010-06-18 | Yay!! Direct generation of PMCFG from GF grammar | krasimir | |
| 2010-06-18 | the automatically generated printnames were just junks. Now we store ↵ | krasimir | |
| printnames only if they are explicitly specified. | |||
| 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-06-09 | filter the duplications when doing 'l -table' | krasimir | |
| 2010-05-19 | now every BracketedString also has reference to the source expression(s) | krasimir | |
| 2010-05-19 | added function lengthBracketedString | krasimir | |
| 2010-05-01 | refactor BracketedString | krasimir | |
| 2010-04-30 | first incarnation of the bracketed string API | krasimir | |
| 2010-04-12 | fix the molto-molto-molto problem | krasimir | |
| 2010-04-04 | in the shell, permit 3-letter lang codes as concrete syntax names | aarne | |
| 2010-03-24 | now for every category we store, in PGF, the list of functions for it in ↵ | krasimir | |
| source-code order. The order matters for the termination of the exhaustive generation with dependent types. | |||
| 2010-01-29 | bugfix in the PGF typechecker and more test cases | krasimir | |
| 2010-01-27 | cleanup the code of the PGF interpreter and polish the binary serialization ↵ | krasimir | |
| to match the preliminary specification | |||
| 2010-01-17 | PGF is now real synchronous PMCFG | krasimir | |
| 2010-01-17 | now the linearization is completely based on PMCFG | krasimir | |
| 2010-01-12 | move the definitions of _B and _V to PGF.Macros | krasimir | |
| 2010-01-05 | printnames are now kept as String instead of Term in PGF | 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 |