projects / scpubgit/DX.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
format aperture in backtrack trace
[scpubgit/DX.git] / lib / DX / Step /
2018-04-22 Matt S Trout format aperture in backtrack trace master tree | commitdiff
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-16 Matt S Trout Hi, I'm here tracing for exhaustion step 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 notes about actions being disallowed tree | commitdiff
2018-04-16 Matt S Trout move resolution step construction later tree | commitdiff
2018-04-16 Matt S Trout alternatives are correct rather than always backtrack tree | commitdiff
2018-04-16 Matt S Trout move remaining resolution_space selection into FailRecheck tree | commitdiff
2018-04-16 Matt S Trout clean up resolveproposition code tree | commitdiff
2018-04-16 Matt S Trout follow alternative rspace entries without backtracking... tree | commitdiff
2018-04-15 Matt S Trout inline recheck code in resolveproposition to clarify... tree | commitdiff
2018-04-15 Matt S Trout inline _apply_to in ResolveProposition to clarify logic tree | commitdiff
2018-04-14 Matt S Trout add exhaustionstep and resumesearch concepts tree | commitdiff
2018-04-08 Matt S Trout allocate new locals in consider instead of up-front tree | commitdiff
2018-04-07 Matt S Trout move dep expansion into predicates for the moment tree | commitdiff
2018-04-07 Matt S Trout pervasive type constraints tree | commitdiff
2018-04-05 Matt S Trout much better indentation on traces tree | commitdiff
2018-04-04 Matt S Trout rspace tracing tree | commitdiff
2018-03-31 Matt S Trout switch over to storing rspace+ss as decision list tree | commitdiff
2018-03-30 Matt S Trout switchover to rspace next_step and dump step() tree | commitdiff
2018-03-30 Matt S Trout move backtrack step creation into rspace tree | commitdiff
2018-03-04 Matt S Trout rename Deparse to TraceFormatter and add ambient indent... tree | commitdiff
2018-03-03 Matt S Trout add depends_on info to resolve trace tree | commitdiff
2018-03-02 Matt S Trout add some basic tracing using the new deparser tree | commitdiff
2018-01-14 Matt S Trout move ResolveProposition step over to rspace system tree | commitdiff
2017-05-21 Matt S Trout remove unused variable tree | commitdiff
2017-02-16 Matt S Trout add types to ConsiderProposition step tree | commitdiff
2017-02-16 Matt S Trout add types to FailRecheck step tree | commitdiff
2017-02-16 Matt S Trout add types to CompleteRecheck step tree | commitdiff
2017-02-16 Matt S Trout add types to EnterRecheck step tree | commitdiff
2017-02-15 Matt S Trout move dep expansion into step() and clean up ResolveProp... tree | commitdiff
2017-02-13 Matt S Trout record all adjustments, even those without alternatives tree | commitdiff
2017-02-13 Matt S Trout switch adjustments to keep search state to preserve... tree | commitdiff
2017-02-13 Matt S Trout rename alternatives to adjustments tree | commitdiff
2017-02-13 Matt S Trout switch to preserving original step in alt list tree | commitdiff
2017-02-11 Matt S Trout excise non-functioning depency group system tree | commitdiff
2016-09-17 Matt S Trout value_path will work fine for dependencies, identity_pa... tree | commitdiff
2016-08-09 Matt S Trout move dependency expansion earlier in the process tree | commitdiff
2016-08-02 Matt S Trout blow away current trace calls since they were insuffici... tree | commitdiff
2016-07-23 Matt S Trout tug firmly, and recursion pops out into iteration tree | commitdiff
2016-07-17 Matt S Trout chained rechecks tree | commitdiff
2016-07-17 Matt S Trout switch recheck to using an on_completion_step tree | commitdiff
2016-07-17 Matt S Trout tweak naming in recheck code tree | commitdiff
2016-07-16 Matt S Trout switch recheck completion handling into a step tree | commitdiff
2016-07-15 Matt S Trout extract recheck setup logic into its own step tree | commitdiff
2016-07-15 Matt S Trout cleanup resolveprop apply_to logic a bit tree | commitdiff
2016-07-10 Matt S Trout further threading of SearchState through ResolveProposition tree | commitdiff
2016-07-10 Matt S Trout manual search process assembly in recheck tree | commitdiff
2016-07-10 Matt S Trout recheck one at a time tree | commitdiff
2016-06-29 Matt S Trout move recheck logic into resolution step tree | commitdiff
2016-06-26 Matt S Trout move calling of recheck out into Resolve step tree | commitdiff
2016-06-26 Matt S Trout move with_actions call to within with_resolution tree | commitdiff
2016-06-25 Matt S Trout rename Step::Normal to Step::ResolveProposition tree | commitdiff
2016-06-25 Matt S Trout rename InvokeNextPredicate to ConsiderPropositon tree | commitdiff
2016-06-25 Matt S Trout use is_solution_state flag in find_solution tree | commitdiff
2016-06-25 Matt S Trout move to on_solution_step concept tree | commitdiff
2016-06-25 Matt S Trout create explicit on_exhaustion_step attribute tree | commitdiff
2016-06-22 Matt S Trout extract backtrack decisions out into steps tree | commitdiff
2016-06-22 Matt S Trout move backtracing out into a step tree | commitdiff
2016-06-21 Matt S Trout add alternatives to search state inside normal step tree | commitdiff
2016-06-20 Matt S Trout switch next predicate to mutating searchstate instead... tree | commitdiff
2016-06-20 Matt S Trout move invoke predicate logic into normal step tree | commitdiff
2016-06-19 Matt S Trout steps now operate on search states tree | commitdiff
2016-04-03 Matt S Trout switch to passing prop to resolve in, fix bug in with_o... tree | commitdiff
2016-03-26 Matt S Trout re-arranging resolution - thread proposition through... tree | commitdiff
2016-03-26 Matt S Trout restructure searching so with_one_step is actually... tree | commitdiff
2016-03-16 Matt S Trout trace step actions as well as old/new hyp tree | commitdiff
2016-03-12 Matt S Trout const and basic tracing tree | commitdiff
2016-03-12 Matt S Trout make member_at with unbound key actually work tree | commitdiff
2015-12-04 Matt S Trout operational recheck tree | commitdiff
2015-12-04 Matt S Trout types and deparsing and recalculation part working tree | commitdiff
2015-10-12 Matt S Trout member_at starting to work tree | commitdiff
2015-08-30 Matt S Trout initial partial sketch tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.