projects / scpubgit/DX.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
use the correct trace format type for failure_dependencies
[scpubgit/DX.git] / fragment.output /
2018-04-22 Matt S Trout use the correct trace format type for failure_dependencies tree | commitdiff
2018-04-22 Matt S Trout sma backtracking (smart will be later ;) tree | commitdiff
2018-04-18 Matt S Trout add notrace version for btdemo tree | commitdiff
2018-04-16 Matt S Trout show dependencies before backtracking tree | commitdiff
2018-04-16 Matt S Trout skip backtracking rspaces with no alternatives left tree | commitdiff
2018-04-16 Matt S Trout follow alternative rspace entries without backtracking... tree | commitdiff
2018-04-14 Matt S Trout add exhaustionstep and resumesearch concepts tree | commitdiff
2018-04-09 Matt S Trout include backtrace demo in fragrun output tree | commitdiff
2017-02-07 Matt S Trout nerf member_at to prepare for decision dependency and... tree | commitdiff
2016-06-19 Matt S Trout add commented out traces to fragments tree | commitdiff
2016-04-03 Matt S Trout switch to passing prop to resolve in, fix bug in with_o... tree | commitdiff
2016-04-02 Matt S Trout add fragment runner and output for diffing tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.