| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-10-11 | now the generation from template with meta-variables respects the dependent t... | krasimir |
| 2010-10-02 | backtracking for random generation is not enough. we must restart the search ... | krasimir |
| 2010-10-02 | refactor the API for random generation again. Now PGF contains probabilities ... | krasimir |
| 2010-09-22 | the first revision of exhaustive and random generation with dependent types. ... | krasimir |
| 2010-05-06 | fixed two bugs in gt | aarne |
| 2010-02-02 | gr for several metas fixed ; commented out one alternative in SammieGer to ma... | aarne |
| 2010-02-01 | commands mq and tq can take a tree with metas to guide generation | aarne |
| 2010-01-30 | gt and gr can start from a tree with metavariables, just filling them | aarne |
| 2010-01-26 | bug fixes in biased generation ; example probs file in lib/src | aarne |
| 2010-01-26 | added probabilities to trees and random gen; not yet in shell | aarne |
| 2009-12-13 | reorganize the directories under src, and rescue the JavaScript interpreter f... | krasimir |
 |
index : gf-core.git | |
| Unnamed repository; edit this file 'description' to name the repository. | Adrian |
| summaryrefslogtreecommitdiff |