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