projects
/
scpubgit/DX.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
move to on_solution_step concept
[scpubgit/DX.git]
/
lib
/
DX
/
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-23
Matt S Trout
mark propositionless search states as solutions
tree
|
commitdiff
2016-06-23
Matt S Trout
add is_solution_state flag on SearchState
tree
|
commitdiff
2016-06-23
Matt S Trout
switch force_backtrack to execute a backtrack step
tree
|
commitdiff
2016-06-22
Matt S Trout
extract backtrack decisions out into steps
tree
|
commitdiff
2016-06-22
Matt S Trout
switch SearchState to using Backtrack step
tree
|
commitdiff
2016-06-22
Matt S Trout
move backtracing out into a step
tree
|
commitdiff
2016-06-21
Matt S Trout
remove alternative addition handling from search state
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
make search state operate on search states a bit more
tree
|
commitdiff
2016-06-19
Matt S Trout
steps now operate on search states
tree
|
commitdiff
2016-06-12
Matt S Trout
initial creation of SearchProcess class
tree
|
commitdiff
2016-04-03
Matt S Trout
eliminate outstanding_propositions attribute
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
cut over to next_proposition using resolved_count
tree
|
commitdiff
2016-04-02
Matt S Trout
remove oustanding_propositions from hypothesis deparse
tree
|
commitdiff
2016-04-02
Matt S Trout
add propositions method to searchstate
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-17
Matt S Trout
only traverse keys given unset and lock selected value
tree
|
commitdiff
2016-03-17
Matt S Trout
actually, I implemented this a few commits ago
tree
|
commitdiff
2016-03-17
Matt S Trout
add missing dependency
tree
|
commitdiff
2016-03-17
Matt S Trout
perl 5.22 was kind enough to point out I'm an idiot
tree
|
commitdiff
2016-03-16
Matt S Trout
switch binding to use value_path
tree
|
commitdiff
2016-03-16
Matt S Trout
add value_path method and give action builders a path
tree
|
commitdiff
2016-03-16
Matt S Trout
always overwrite alternatives in case @alt has been...
tree
|
commitdiff
2016-03-16
Matt S Trout
better tracing in SearchState
tree
|
commitdiff
2016-03-16
Matt S Trout
trace recheck failure
tree
|
commitdiff
2016-03-16
Matt S Trout
trace step actions as well as old/new hyp
tree
|
commitdiff
2016-03-16
Matt S Trout
deparse steps
tree
|
commitdiff
2016-03-12
Matt S Trout
switch scope to using lex_map to lookup locals
tree
|
commitdiff
2016-03-12
Matt S Trout
rules are created and installed. they just don't work...
tree
|
commitdiff
2016-03-12
Matt S Trout
add member proxy for new key + unset value
tree
|
commitdiff
2016-03-12
Matt S Trout
add state command for creating mutable globals
tree
|
commitdiff
2016-03-12
Matt S Trout
AddBoundValue action
tree
|
commitdiff
2016-03-12
Matt S Trout
refactor action stuff to be recursive on dicts
tree
|
commitdiff
2016-03-12
Matt S Trout
rename is_dict to dict, add proto argument
tree
|
commitdiff
2016-03-12
Matt S Trout
basic trace level control from the shell
tree
|
commitdiff
2016-03-12
Matt S Trout
clear resume step on first step after forced backtrack
tree
|
commitdiff
2016-03-12
Matt S Trout
const and basic tracing
tree
|
commitdiff
2016-03-12
Matt S Trout
slightly janky attempt at show all solutions
tree
|
commitdiff
2016-03-12
Matt S Trout
make member_at with unbound key actually work
tree
|
commitdiff
2016-03-07
Matt S Trout
less terrible deparsing for BindValue
tree
|
commitdiff
2016-03-07
Matt S Trout
track action applications
tree
|
commitdiff
2016-03-05
Matt S Trout
disturbingly, bound values appear to actually work
tree
|
commitdiff
2016-03-05
Matt S Trout
deparse needs to show ?X for introduced names
tree
|
commitdiff
2016-03-05
Matt S Trout
can haz use strict
tree
|
commitdiff
2016-03-05
Matt S Trout
order dependency constants by strength
tree
|
commitdiff
2016-03-05
Matt S Trout
add qdeps debug command
tree
|
commitdiff
2016-03-05
Matt S Trout
find solution on proposition addition and output action...
tree
|
commitdiff
2016-03-05
Matt S Trout
searchstate setup, introduce qvars diagnostic
tree
|
commitdiff
2016-03-05
Matt S Trout
add qlist debug predicate, actually add propositions...
tree
|
commitdiff
2016-03-05
Matt S Trout
updated shell code to register query commands with...
tree
|
commitdiff
2016-02-27
Matt S Trout
sketch some actual shell internal modules
tree
|
commitdiff
2016-02-27
Matt S Trout
add trace primitive
tree
|
commitdiff
2016-01-14
Matt S Trout
beginnings of a shell prototype
tree
|
commitdiff
2016-01-14
Matt S Trout
rename Equals to Eq
tree
|
commitdiff
2015-12-04
Matt S Trout
significantly prettier deparses
tree
|
commitdiff
2015-12-04
Matt S Trout
operational recheck
tree
|
commitdiff
2015-12-04
Matt S Trout
slightly less incomplete deparse output
tree
|
commitdiff
2015-12-04
Matt S Trout
types and deparsing and recalculation part working
tree
|
commitdiff
2015-11-09
Matt S Trout
implement ->equals for values
tree
|
commitdiff
2015-11-01
Matt S Trout
basic formatting of resolved props
tree
|
commitdiff
2015-11-01
Matt S Trout
deparse actually sorta working
tree
|
commitdiff
2015-10-26
Matt S Trout
initial skeleton for deparser
tree
|
commitdiff
2015-10-12
Matt S Trout
member_at starting to work
tree
|
commitdiff
2015-10-10
Matt S Trout
dependency map up, some code running
tree
|
commitdiff
2015-08-30
Matt S Trout
initial partial sketch
tree
|
commitdiff