projects / scpubgit/DX.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionUnnamed repository; edit this file 'description' to name the repository.
owner
last changeSun, 22 Apr 2018 18:35:13 +0000
shortlog
2018-04-22 Matt S Trout format aperture in backtrack trace master commit | commitdiff | tree | snapshot
2018-04-22 Matt S Trout use the correct trace format type for failure_dependencies commit | commitdiff | tree | snapshot
2018-04-22 Matt S Trout sma backtracking (smart will be later ;) commit | commitdiff | tree | snapshot
2018-04-18 Matt S Trout add notrace version for btdemo commit | commitdiff | tree | snapshot
2018-04-18 Matt S Trout compact_deps function commit | commitdiff | tree | snapshot
2018-04-16 Matt S Trout Hi, I'm here tracing for exhaustion step commit | commitdiff | tree | snapshot
2018-04-16 Matt S Trout show dependencies before backtracking commit | commitdiff | tree | snapshot
2018-04-16 Matt S Trout skip backtracking rspaces with no alternatives left commit | commitdiff | tree | snapshot
2018-04-16 Matt S Trout notes about actions being disallowed commit | commitdiff | tree | snapshot
2018-04-16 Matt S Trout move resolution step construction later commit | commitdiff | tree | snapshot
2018-04-16 Matt S Trout alternatives are correct rather than always backtrack commit | commitdiff | tree | snapshot
2018-04-16 Matt S Trout move remaining resolution_space selection into FailRecheck commit | commitdiff | tree | snapshot
2018-04-16 Matt S Trout clean up resolveproposition code commit | commitdiff | tree | snapshot
2018-04-16 Matt S Trout follow alternative rspace entries without backtracking... commit | commitdiff | tree | snapshot
2018-04-15 Matt S Trout inline recheck code in resolveproposition to clarify... commit | commitdiff | tree | snapshot
2018-04-15 Matt S Trout inline _apply_to in ResolveProposition to clarify logic commit | commitdiff | tree | snapshot
...
heads
6 years ago master shortlog | log | tree
Unnamed repository; edit this file 'description' to name the repository.