summaryrefslogtreecommitdiff
path: root/src/runtime/haskell/PGF/Generate.hs
AgeCommit message (Expand)Author
2017-04-05added generateOntology & generateOntologyDepthkrasimir
2013-11-05Eliminate mutual dependencies between the GF compiler and the PGF libraryhallgren
2013-01-29Avoid crash in random generation with probabilitieshallgren
2011-08-30bugfixes in the typechecker and the tree generatorkr.angelov
2010-11-12operations in the abstract syntaxkrasimir
2010-10-21change the TcM monad to continuation passing style. The old monad caused stac...krasimir
2010-10-21support for proof search with high-order functionskrasimir
2010-10-20bugfix in the term generationkrasimir
2010-10-18now we use the GF reasoner to fillin meta variables in the abstract trees gen...krasimir
2010-10-14now since the type checking monad TcM is nondeterministic we can use the same...krasimir
2010-10-13fix PGF.Generate.restart. The restart should be done only if there are some s...krasimir
2010-10-11the exhaustive/random generator now knows how to handle computable functions ...krasimir
2010-10-11now the generation from template with meta-variables respects the dependent t...krasimir
2010-10-02backtracking for random generation is not enough. we must restart the search ...krasimir
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ...krasimir
2010-09-22the first revision of exhaustive and random generation with dependent types. ...krasimir
2010-05-06fixed two bugs in gtaarne
2010-02-02gr for several metas fixed ; commented out one alternative in SammieGer to ma...aarne
2010-02-01commands mq and tq can take a tree with metas to guide generationaarne
2010-01-30gt and gr can start from a tree with metavariables, just filling themaarne
2010-01-26bug fixes in biased generation ; example probs file in lib/srcaarne
2010-01-26added probabilities to trees and random gen; not yet in shellaarne
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-20 12:10:25 +0000