projects
/
scpubgit/DX.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
HEAD
⋅ prev ⋅
next
scpubgit/DX.git
2018-04-03
Matt S Trout
provide and preserve aperture information
commit
|
commitdiff
|
tree
|
snapshot
2018-03-31
Matt S Trout
switch over to storing rspace+ss as decision list
commit
|
commitdiff
|
tree
|
snapshot
2018-03-30
Matt S Trout
switchover to rspace next_step and dump step()
commit
|
commitdiff
|
tree
|
snapshot
2018-03-30
Matt S Trout
move backtrack step creation into rspace
commit
|
commitdiff
|
tree
|
snapshot
2018-03-30
Matt S Trout
introduce next_step method to rspace
commit
|
commitdiff
|
tree
|
snapshot
2018-03-04
Matt S Trout
rename Deparse to TraceFormatter and add ambient indent...
commit
|
commitdiff
|
tree
|
snapshot
2018-03-03
Matt S Trout
add depends_on info to resolve trace
commit
|
commitdiff
|
tree
|
snapshot
2018-03-02
Matt S Trout
add some basic tracing using the new deparser
commit
|
commitdiff
|
tree
|
snapshot
2018-02-28
Matt S Trout
rewrite deparse system
commit
|
commitdiff
|
tree
|
snapshot
2018-01-14
Matt S Trout
move ResolveProposition step over to rspace system
commit
|
commitdiff
|
tree
|
snapshot
2018-01-14
Matt S Trout
convert dict predicate to rspace and refactor
commit
|
commitdiff
|
tree
|
snapshot
2017-05-21
Matt S Trout
remove vestigial method
commit
|
commitdiff
|
tree
|
snapshot
2017-05-21
Matt S Trout
remove unused variable
commit
|
commitdiff
|
tree
|
snapshot
2017-04-25
Matt S Trout
lift some of the rspace handling into the Resolution...
commit
|
commitdiff
|
tree
|
snapshot
2017-04-23
Matt S Trout
MemberAt cut over to rspace/rstrat
commit
|
commitdiff
|
tree
|
snapshot
2017-04-23
Matt S Trout
first cut of rspace/rstrat code with eq semi cut over
commit
|
commitdiff
|
tree
|
snapshot
2017-02-16
Matt S Trout
add a few more type annotations
commit
|
commitdiff
|
tree
|
snapshot
2017-02-16
Matt S Trout
add types to Proposition and PropositionSequence
commit
|
commitdiff
|
tree
|
snapshot
2017-02-16
Matt S Trout
add types to ConsiderProposition step
commit
|
commitdiff
|
tree
|
snapshot
2017-02-16
Matt S Trout
add types to FailRecheck step
commit
|
commitdiff
|
tree
|
snapshot
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
next