2018-04-22 | Matt S Trout | format aperture in backtrack trace master | blob | commitdiff |
2018-04-22 | Matt S Trout | use the correct trace format type for failure_dependencies | blob | commitdiff | diff to current |
2018-04-22 | Matt S Trout | sma backtracking (smart will be later ;) | blob | commitdiff | diff to current |
2018-04-16 | Matt S Trout | show dependencies before backtracking | blob | commitdiff | diff to current |
2018-04-16 | Matt S Trout | skip backtracking rspaces with no alternatives left | blob | commitdiff | diff to current |
2018-04-16 | Matt S Trout | follow alternative rspace entries without backtracking... | blob | commitdiff | diff to current |
2018-04-14 | Matt S Trout | add exhaustionstep and resumesearch concepts | blob | commitdiff | diff to current |
2018-04-09 | Matt S Trout | include backtrace demo in fragrun output | blob | commitdiff | diff to current |