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

Age	Commit message (Collapse)	Author
2010-10-02	backtracking for random generation is not enough. we must restart the search ↵	krasimir
	after each solution
2010-10-02	refactor the API for random generation again. Now PGF contains probabilities ↵	krasimir
	in the abstract syntax
2010-09-22	the first revision of exhaustive and random generation with dependent types. ↵	krasimir
	Still not quite stable.
2010-05-06	fixed two bugs in gt	aarne

2010-02-02	gr for several metas fixed ; commented out one alternative in SammieGer to ↵	aarne
	make it compile
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 ↵	krasimir
	from deprecated