hallgren
|
211cd9bb25
|
Avoid crash in random generation with probabilities
|
2013-01-29 13:59:20 +00:00 |
|
kr.angelov
|
4215fc31bf
|
bugfixes in the typechecker and the tree generator
|
2011-08-30 11:24:59 +00:00 |
|
krasimir
|
115b4213d5
|
operations in the abstract syntax
|
2010-11-12 19:37:19 +00:00 |
|
krasimir
|
822a70cf7a
|
change the TcM monad to continuation passing style. The old monad caused stack overflow for large search spaces
|
2010-10-21 15:01:52 +00:00 |
|
krasimir
|
82edf7bebb
|
support for proof search with high-order functions
|
2010-10-21 12:47:26 +00:00 |
|
krasimir
|
2991b7acef
|
bugfix in the term generation
|
2010-10-20 13:36:39 +00:00 |
|
krasimir
|
702b4aad3b
|
now we use the GF reasoner to fillin meta variables in the abstract trees generated from the parser
|
2010-10-18 15:55:14 +00:00 |
|
krasimir
|
05a52d6937
|
now since the type checking monad TcM is nondeterministic we can use the same monad in PGF.Forest.getAbsTrees
|
2010-10-14 14:28:40 +00:00 |
|
krasimir
|
09ce38742c
|
fix PGF.Generate.restart. The restart should be done only if there are some solutions found
|
2010-10-13 12:38:51 +00:00 |
|
krasimir
|
de0354f991
|
the exhaustive/random generator now knows how to handle computable functions in the types
|
2010-10-11 17:18:28 +00:00 |
|
krasimir
|
f305587a62
|
now the generation from template with meta-variables respects the dependent types
|
2010-10-11 09:59:57 +00:00 |
|
krasimir
|
7200244605
|
backtracking for random generation is not enough. we must restart the search after each solution
|
2010-10-02 13:34:58 +00:00 |
|
krasimir
|
cb8795c222
|
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
|
2010-10-02 13:03:57 +00:00 |
|
krasimir
|
617ce3cce6
|
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
|
2010-09-22 15:49:16 +00:00 |
|
aarne
|
c265c5f8c3
|
fixed two bugs in gt
|
2010-05-06 18:56:18 +00:00 |
|
aarne
|
49e620b535
|
gr for several metas fixed ; commented out one alternative in SammieGer to make it compile
|
2010-02-02 07:12:52 +00:00 |
|
aarne
|
510d511637
|
commands mq and tq can take a tree with metas to guide generation
|
2010-02-01 09:56:58 +00:00 |
|
aarne
|
e71545eab1
|
gt and gr can start from a tree with metavariables, just filling them
|
2010-01-30 18:01:18 +00:00 |
|
aarne
|
b206aa3464
|
bug fixes in biased generation ; example probs file in lib/src
|
2010-01-26 21:49:00 +00:00 |
|
aarne
|
e91c610e5a
|
added probabilities to trees and random gen; not yet in shell
|
2010-01-26 15:53:49 +00:00 |
|
krasimir
|
f85232947e
|
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
|
2009-12-13 18:50:29 +00:00 |
|