projects
/
scpubgit/DX.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
rename InvokeNextPredicate to ConsiderPropositon
[scpubgit/DX.git]
/
lib
/
DX
/
Step
/
Normal.pm
2016-06-25
Matt S Trout
rename InvokeNextPredicate to ConsiderPropositon
blob
|
commitdiff
2016-06-25
Matt S Trout
move to on_solution_step concept
blob
|
commitdiff
|
diff to current
2016-06-22
Matt S Trout
extract backtrack decisions out into steps
blob
|
commitdiff
|
diff to current
2016-06-21
Matt S Trout
add alternatives to search state inside normal step
blob
|
commitdiff
|
diff to current
2016-06-20
Matt S Trout
move invoke predicate logic into normal step
blob
|
commitdiff
|
diff to current
2016-06-19
Matt S Trout
steps now operate on search states
blob
|
commitdiff
|
diff to current
2016-04-03
Matt S Trout
switch to passing prop to resolve in, fix bug in with_o...
blob
|
commitdiff
|
diff to current
2016-03-26
Matt S Trout
re-arranging resolution - thread proposition through...
blob
|
commitdiff
|
diff to current
2016-03-16
Matt S Trout
trace step actions as well as old/new hyp
blob
|
commitdiff
|
diff to current
2016-03-12
Matt S Trout
const and basic tracing
blob
|
commitdiff
|
diff to current
2016-03-12
Matt S Trout
make member_at with unbound key actually work
blob
|
commitdiff
|
diff to current
2015-12-04
Matt S Trout
operational recheck
blob
|
commitdiff
|
diff to current
2015-12-04
Matt S Trout
types and deparsing and recalculation part working
blob
|
commitdiff
|
diff to current
2015-10-12
Matt S Trout
member_at starting to work
blob
|
commitdiff
|
diff to current
2015-08-30
Matt S Trout
initial partial sketch
blob
|
commitdiff
|
diff to current