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

Age	Commit message (Collapse)	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 ↵	krasimir
	stack overflow for large search spaces
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 ↵	krasimir
	generated from the parser
2010-10-14	now since the type checking monad TcM is nondeterministic we can use the ↵	krasimir
	same monad in PGF.Forest.getAbsTrees
2010-10-13	fix PGF.Generate.restart. The restart should be done only if there are some ↵	krasimir
	solutions found
2010-10-11	the exhaustive/random generator now knows how to handle computable functions ↵	krasimir
	in the types
2010-10-11	now the generation from template with meta-variables respects the dependent ↵	krasimir
	types
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