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