| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2009-12-14 | rename some modules that had GFCC in the name to PGF+something | krasimir | |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |