2018-04-14 | Matt S Trout | add exhaustionstep and resumesearch concepts | blob | commitdiff |
2018-04-08 | Matt S Trout | allocate new locals in consider instead of up-front | blob | commitdiff | diff to current |
2018-03-30 | Matt S Trout | move backtrack step creation into rspace | blob | commitdiff | diff to current |
2018-03-02 | Matt S Trout | add some basic tracing using the new deparser | blob | commitdiff | diff to current |
2017-02-16 | Matt S Trout | add types to ConsiderProposition step | blob | commitdiff | diff to current |
2016-06-25 | Matt S Trout | rename InvokeNextPredicate to ConsiderPropositon | blob | commitdiff | diff to current |