projects
/
scpubgit/DX.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
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