| 2017-04-25 |
Matt S Trout |
lift some of the rspace handling into the Resolution... |
tree | commitdiff |
| 2017-04-23 |
Matt S Trout |
MemberAt cut over to rspace/rstrat |
tree | commitdiff |
| 2017-04-23 |
Matt S Trout |
first cut of rspace/rstrat code with eq semi cut over |
tree | commitdiff |
| 2017-02-16 |
Matt S Trout |
add a few more type annotations |
tree | commitdiff |
| 2017-02-16 |
Matt S Trout |
add types to Proposition and PropositionSequence |
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 |
comment out types from dependency group code |
tree | commitdiff |
| 2017-02-11 |
Matt S Trout |
excise non-functioning depency group system |
tree | commitdiff |
| 2017-02-07 |
Matt S Trout |
lift _make_equal from predicate role to Eq.pm |
tree | commitdiff |
| 2017-02-07 |
Matt S Trout |
nerf member_at to prepare for decision dependency and... |
tree | commitdiff |
| 2016-09-17 |
Matt S Trout |
excise remaining identity_path code |
tree | commitdiff |
| 2016-09-17 |
Matt S Trout |
value_path will work fine for new-value binding, identi... |
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 |
show resolve step dependency info |
tree | commitdiff |
| 2016-08-09 |
Matt S Trout |
move dependency expansion earlier in the process |
tree | commitdiff |
| 2016-08-03 |
Matt S Trout |
re-add basic step tracing |
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 |
have with_actions return the recheck list |
tree | commitdiff |
| 2016-06-26 |
Matt S Trout |
move with_actions call to within with_resolution |
tree | commitdiff |
| 2016-06-26 |
Matt S Trout |
move recheck to post-all-actions rather than per-action |
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 |
tighten up SearchState new() signature slightly |
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-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 |
| next |
projects / scpubgit/DX.git / history