2017-02-16 |
Matt S Trout |
add types to CompleteRecheck step |
commit | commitdiff | tree | snapshot |
2017-02-16 |
Matt S Trout |
add types to EnterRecheck step |
commit | commitdiff | tree | snapshot |
2017-02-15 |
Matt S Trout |
move dep expansion into step() and clean up ResolveProp... |
commit | commitdiff | tree | snapshot |
2017-02-13 |
Matt S Trout |
record all adjustments, even those without alternatives |
commit | commitdiff | tree | snapshot |
2017-02-13 |
Matt S Trout |
switch adjustments to keep search state to preserve... |
commit | commitdiff | tree | snapshot |
2017-02-13 |
Matt S Trout |
rename alternatives to adjustments |
commit | commitdiff | tree | snapshot |
2017-02-13 |
Matt S Trout |
switch to preserving original step in alt list |
commit | commitdiff | tree | snapshot |
2017-02-11 |
Matt S Trout |
comment out types from dependency group code |
commit | commitdiff | tree | snapshot |
2017-02-11 |
Matt S Trout |
excise non-functioning depency group system |
commit | commitdiff | tree | snapshot |
2017-02-07 |
Matt S Trout |
lift _make_equal from predicate role to Eq.pm |
commit | commitdiff | tree | snapshot |
2017-02-07 |
Matt S Trout |
nerf member_at to prepare for decision dependency and... |
commit | commitdiff | tree | snapshot |
2016-09-17 |
Matt S Trout |
excise remaining identity_path code |
commit | commitdiff | tree | snapshot |
2016-09-17 |
Matt S Trout |
value_path will work fine for new-value binding, identi... |
commit | commitdiff | tree | snapshot |
2016-09-17 |
Matt S Trout |
value_path will work fine for dependencies, identity_pa... |
commit | commitdiff | tree | snapshot |
2016-08-09 |
Matt S Trout |
show resolve step dependency info |
commit | commitdiff | tree | snapshot |
2016-08-09 |
Matt S Trout |
move dependency expansion earlier in the process |
commit | commitdiff | tree | snapshot |
2016-08-03 |
Matt S Trout |
re-add basic step tracing |
commit | commitdiff | tree | snapshot |
2016-08-02 |
Matt S Trout |
blow away current trace calls since they were insuffici... |
commit | commitdiff | tree | snapshot |
2016-07-23 |
Matt S Trout |
tug firmly, and recursion pops out into iteration |
commit | commitdiff | tree | snapshot |
2016-07-17 |
Matt S Trout |
chained rechecks |
commit | commitdiff | tree | snapshot |
2016-07-17 |
Matt S Trout |
switch recheck to using an on_completion_step |
commit | commitdiff | tree | snapshot |
2016-07-17 |
Matt S Trout |
tweak naming in recheck code |
commit | commitdiff | tree | snapshot |
2016-07-16 |
Matt S Trout |
switch recheck completion handling into a step |
commit | commitdiff | tree | snapshot |
2016-07-15 |
Matt S Trout |
extract recheck setup logic into its own step |
commit | commitdiff | tree | snapshot |
2016-07-15 |
Matt S Trout |
cleanup resolveprop apply_to logic a bit |
commit | commitdiff | tree | snapshot |
2016-07-10 |
Matt S Trout |
further threading of SearchState through ResolveProposition |
commit | commitdiff | tree | snapshot |
2016-07-10 |
Matt S Trout |
manual search process assembly in recheck |
commit | commitdiff | tree | snapshot |
2016-07-10 |
Matt S Trout |
recheck one at a time |
commit | commitdiff | tree | snapshot |
2016-06-29 |
Matt S Trout |
move recheck logic into resolution step |
commit | commitdiff | tree | snapshot |
2016-06-26 |
Matt S Trout |
move calling of recheck out into Resolve step |
commit | commitdiff | tree | snapshot |
2016-06-26 |
Matt S Trout |
have with_actions return the recheck list |
commit | commitdiff | tree | snapshot |
2016-06-26 |
Matt S Trout |
move with_actions call to within with_resolution |
commit | commitdiff | tree | snapshot |
2016-06-26 |
Matt S Trout |
move recheck to post-all-actions rather than per-action |
commit | commitdiff | tree | snapshot |
2016-06-25 |
Matt S Trout |
rename Step::Normal to Step::ResolveProposition |
commit | commitdiff | tree | snapshot |
2016-06-25 |
Matt S Trout |
rename InvokeNextPredicate to ConsiderPropositon |
commit | commitdiff | tree | snapshot |
2016-06-25 |
Matt S Trout |
tighten up SearchState new() signature slightly |
commit | commitdiff | tree | snapshot |
2016-06-25 |
Matt S Trout |
use is_solution_state flag in find_solution |
commit | commitdiff | tree | snapshot |
2016-06-25 |
Matt S Trout |
move to on_solution_step concept |
commit | commitdiff | tree | snapshot |
2016-06-25 |
Matt S Trout |
create explicit on_exhaustion_step attribute |
commit | commitdiff | tree | snapshot |
2016-06-23 |
Matt S Trout |
mark propositionless search states as solutions |
commit | commitdiff | tree | snapshot |
2016-06-23 |
Matt S Trout |
add is_solution_state flag on SearchState |
commit | commitdiff | tree | snapshot |
2016-06-23 |
Matt S Trout |
switch force_backtrack to execute a backtrack step |
commit | commitdiff | tree | snapshot |
2016-06-22 |
Matt S Trout |
extract backtrack decisions out into steps |
commit | commitdiff | tree | snapshot |
2016-06-22 |
Matt S Trout |
switch SearchState to using Backtrack step |
commit | commitdiff | tree | snapshot |
2016-06-22 |
Matt S Trout |
move backtracing out into a step |
commit | commitdiff | tree | snapshot |
2016-06-21 |
Matt S Trout |
remove alternative addition handling from search state |
commit | commitdiff | tree | snapshot |
2016-06-21 |
Matt S Trout |
add alternatives to search state inside normal step |
commit | commitdiff | tree | snapshot |
2016-06-20 |
Matt S Trout |
switch next predicate to mutating searchstate instead... |
commit | commitdiff | tree | snapshot |
2016-06-20 |
Matt S Trout |
move invoke predicate logic into normal step |
commit | commitdiff | tree | snapshot |
2016-06-19 |
Matt S Trout |
make search state operate on search states a bit more |
commit | commitdiff | tree | snapshot |
2016-06-19 |
Matt S Trout |
add commented out traces to fragments |
commit | commitdiff | tree | snapshot |
2016-06-19 |
Matt S Trout |
steps now operate on search states |
commit | commitdiff | tree | snapshot |
2016-06-12 |
Matt S Trout |
initial creation of SearchProcess class |
commit | commitdiff | tree | snapshot |
2016-05-28 |
Matt S Trout |
ensure use of strictures 2 |
commit | commitdiff | tree | snapshot |
2016-04-03 |
Matt S Trout |
eliminate outstanding_propositions attribute |
commit | commitdiff | tree | snapshot |
2016-04-03 |
Matt S Trout |
this test is so ancient it would be better rewritten... |
commit | commitdiff | tree | snapshot |
2016-04-03 |
Matt S Trout |
switch to passing prop to resolve in, fix bug in with_o... |
commit | commitdiff | tree | snapshot |
2016-04-02 |
Matt S Trout |
cut over to next_proposition using resolved_count |
commit | commitdiff | tree | snapshot |
2016-04-02 |
Matt S Trout |
remove oustanding_propositions from hypothesis deparse |
commit | commitdiff | tree | snapshot |
2016-04-02 |
Matt S Trout |
add propositions method to searchstate |
commit | commitdiff | tree | snapshot |
2016-04-02 |
Matt S Trout |
add fragment runner and output for diffing |
commit | commitdiff | tree | snapshot |
2016-03-26 |
Matt S Trout |
re-arranging resolution - thread proposition through... |
commit | commitdiff | tree | snapshot |
2016-03-26 |
Matt S Trout |
restructure searching so with_one_step is actually... |
commit | commitdiff | tree | snapshot |
2016-03-17 |
Matt S Trout |
only traverse keys given unset and lock selected value |
commit | commitdiff | tree | snapshot |
2016-03-17 |
Matt S Trout |
actually, I implemented this a few commits ago |
commit | commitdiff | tree | snapshot |
2016-03-17 |
Matt S Trout |
add missing dependency |
commit | commitdiff | tree | snapshot |
2016-03-17 |
Matt S Trout |
perl 5.22 was kind enough to point out I'm an idiot |
commit | commitdiff | tree | snapshot |
2016-03-16 |
Matt S Trout |
switch binding to use value_path |
commit | commitdiff | tree | snapshot |
2016-03-16 |
Matt S Trout |
add value_path method and give action builders a path |
commit | commitdiff | tree | snapshot |
2016-03-16 |
Matt S Trout |
fragment for const testing |
commit | commitdiff | tree | snapshot |
2016-03-16 |
Matt S Trout |
always overwrite alternatives in case @alt has been... |
commit | commitdiff | tree | snapshot |
2016-03-16 |
Matt S Trout |
better tracing in SearchState |
commit | commitdiff | tree | snapshot |
2016-03-16 |
Matt S Trout |
trace recheck failure |
commit | commitdiff | tree | snapshot |
2016-03-16 |
Matt S Trout |
trace step actions as well as old/new hyp |
commit | commitdiff | tree | snapshot |
2016-03-16 |
Matt S Trout |
deparse steps |
commit | commitdiff | tree | snapshot |
2016-03-12 |
Matt S Trout |
switch scope to using lex_map to lookup locals |
commit | commitdiff | tree | snapshot |
2016-03-12 |
Matt S Trout |
rules are created and installed. they just don't work... |
commit | commitdiff | tree | snapshot |
2016-03-12 |
Matt S Trout |
add member proxy for new key + unset value |
commit | commitdiff | tree | snapshot |
2016-03-12 |
Matt S Trout |
add state command for creating mutable globals |
commit | commitdiff | tree | snapshot |
2016-03-12 |
Matt S Trout |
actually, I implemented those (update "need" file) |
commit | commitdiff | tree | snapshot |
2016-03-12 |
Matt S Trout |
AddBoundValue action |
commit | commitdiff | tree | snapshot |
2016-03-12 |
Matt S Trout |
refactor action stuff to be recursive on dicts |
commit | commitdiff | tree | snapshot |
2016-03-12 |
Matt S Trout |
rename is_dict to dict, add proto argument |
commit | commitdiff | tree | snapshot |
2016-03-12 |
Matt S Trout |
basic trace level control from the shell |
commit | commitdiff | tree | snapshot |
2016-03-12 |
Matt S Trout |
clear resume step on first step after forced backtrack |
commit | commitdiff | tree | snapshot |
2016-03-12 |
Matt S Trout |
const and basic tracing |
commit | commitdiff | tree | snapshot |
2016-03-12 |
Matt S Trout |
slightly janky attempt at show all solutions |
commit | commitdiff | tree | snapshot |
2016-03-12 |
Matt S Trout |
make member_at with unbound key actually work |
commit | commitdiff | tree | snapshot |
2016-03-07 |
Matt S Trout |
less terrible deparsing for BindValue |
commit | commitdiff | tree | snapshot |
2016-03-07 |
Matt S Trout |
track action applications |
commit | commitdiff | tree | snapshot |
2016-03-05 |
Matt S Trout |
disturbingly, bound values appear to actually work |
commit | commitdiff | tree | snapshot |
2016-03-05 |
Matt S Trout |
deparse needs to show ?X for introduced names |
commit | commitdiff | tree | snapshot |
2016-03-05 |
Matt S Trout |
can haz use strict |
commit | commitdiff | tree | snapshot |
2016-03-05 |
Matt S Trout |
order dependency constants by strength |
commit | commitdiff | tree | snapshot |
2016-03-05 |
Matt S Trout |
add qdeps debug command |
commit | commitdiff | tree | snapshot |
2016-03-05 |
Matt S Trout |
primitive script running support |
commit | commitdiff | tree | snapshot |
2016-03-05 |
Matt S Trout |
find solution on proposition addition and output action... |
commit | commitdiff | tree | snapshot |
2016-03-05 |
Matt S Trout |
searchstate setup, introduce qvars diagnostic |
commit | commitdiff | tree | snapshot |
2016-03-05 |
Matt S Trout |
add qlist debug predicate, actually add propositions... |
commit | commitdiff | tree | snapshot |
2016-03-05 |
Matt S Trout |
updated shell code to register query commands with... |
commit | commitdiff | tree | snapshot |
next |