kr.angelov
|
dbe00fd0eb
|
bugfixes in the typechecker and the tree generator
|
2011-08-30 11:24:59 +00:00 |
|
krasimir
|
fe1205059b
|
operations in the abstract syntax
|
2010-11-12 19:37:19 +00:00 |
|
krasimir
|
8c751d404f
|
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
|
09dde495ce
|
support for proof search with high-order functions
|
2010-10-21 12:47:26 +00:00 |
|
krasimir
|
43cbc6693d
|
bugfix in the term generation
|
2010-10-20 13:36:39 +00:00 |
|
krasimir
|
7fb5fddbb8
|
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
|
9fdc7134e8
|
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
|
f4603cf9d4
|
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
|
95733f0b1b
|
the exhaustive/random generator now knows how to handle computable functions in the types
|
2010-10-11 17:18:28 +00:00 |
|
krasimir
|
e7f6239bc6
|
now the generation from template with meta-variables respects the dependent types
|
2010-10-11 09:59:57 +00:00 |
|
krasimir
|
7d9bbea985
|
backtracking for random generation is not enough. we must restart the search after each solution
|
2010-10-02 13:34:58 +00:00 |
|
krasimir
|
be9ad26aea
|
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
|
2010-10-02 13:03:57 +00:00 |
|
krasimir
|
4e715c3952
|
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
|
2010-09-22 15:49:16 +00:00 |
|
aarne
|
b8a6a1761d
|
fixed two bugs in gt
|
2010-05-06 18:56:18 +00:00 |
|
aarne
|
101ba3ec5e
|
gr for several metas fixed ; commented out one alternative in SammieGer to make it compile
|
2010-02-02 07:12:52 +00:00 |
|
aarne
|
3dd8fb8dec
|
commands mq and tq can take a tree with metas to guide generation
|
2010-02-01 09:56:58 +00:00 |
|
aarne
|
5507133638
|
gt and gr can start from a tree with metavariables, just filling them
|
2010-01-30 18:01:18 +00:00 |
|
aarne
|
a5a1d2bbe0
|
bug fixes in biased generation ; example probs file in lib/src
|
2010-01-26 21:49:00 +00:00 |
|
aarne
|
9226dc6052
|
added probabilities to trees and random gen; not yet in shell
|
2010-01-26 15:53:49 +00:00 |
|
krasimir
|
c92f9d1c0c
|
reorganize the directories under src, and rescue the JavaScript interpreter from deprecated
|
2009-12-13 18:50:29 +00:00 |
|