gf-core.git - Unnamed repository; edit this file 'description' to name the repository.

Age	Commit message (Expand)	Author
2011-08-30	bugfixes in the typechecker and the tree generator	kr.angelov
2010-11-12	operations in the abstract syntax	krasimir
2010-10-21	change the TcM monad to continuation passing style. The old monad caused stac...	krasimir
2010-10-21	support for proof search with high-order functions	krasimir
2010-10-20	bugfix in the term generation	krasimir
2010-10-18	now we use the GF reasoner to fillin meta variables in the abstract trees gen...	krasimir
2010-10-14	now since the type checking monad TcM is nondeterministic we can use the same...	krasimir
2010-10-13	fix PGF.Generate.restart. The restart should be done only if there are some s...	krasimir
2010-10-11	the exhaustive/random generator now knows how to handle computable functions ...	krasimir
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