2018-03-02 | Matt S Trout | add some basic tracing using the new deparser | blob | commitdiff |
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 |