projects / scpubgit/DX.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
HEAD ⋅ prev ⋅ next
scpubgit/DX.git
2018-04-16 Matt S Trout clean up resolveproposition code commit | commitdiff | tree | snapshot
2018-04-16 Matt S Trout follow alternative rspace entries without backtracking... commit | commitdiff | tree | snapshot
2018-04-15 Matt S Trout inline recheck code in resolveproposition to clarify... commit | commitdiff | tree | snapshot
2018-04-15 Matt S Trout inline _apply_to in ResolveProposition to clarify logic commit | commitdiff | tree | snapshot
2018-04-14 Matt S Trout eliminate vestigial force_backtrack methods commit | commitdiff | tree | snapshot
2018-04-14 Matt S Trout add exhaustionstep and resumesearch concepts commit | commitdiff | tree | snapshot
2018-04-14 Matt S Trout pass rspace to backtrack (as yet unused), tweak Depende... commit | commitdiff | tree | snapshot
2018-04-09 Matt S Trout include backtrace demo in fragrun output commit | commitdiff | tree | snapshot
2018-04-08 Matt S Trout add "trace *" and introduce a fragment using it to... commit | commitdiff | tree | snapshot
2018-04-08 Matt S Trout replace proposition sequence in-place rather than re... commit | commitdiff | tree | snapshot
2018-04-08 Matt S Trout allocate new locals in consider instead of up-front commit | commitdiff | tree | snapshot
2018-04-07 Matt S Trout add test to ensure attributes have types commit | commitdiff | tree | snapshot
2018-04-07 Matt S Trout finish adding type constraints commit | commitdiff | tree | snapshot
2018-04-07 Matt S Trout fully type Resolution* classes commit | commitdiff | tree | snapshot
2018-04-07 Matt S Trout move dep expansion into predicates for the moment commit | commitdiff | tree | snapshot
2018-04-07 Matt S Trout pervasive type constraints commit | commitdiff | tree | snapshot
2018-04-06 Matt S Trout make format indented call _format commit | commitdiff | tree | snapshot
2018-04-05 Matt S Trout much better indentation on traces commit | commitdiff | tree | snapshot
2018-04-04 Matt S Trout rspace tracing commit | commitdiff | tree | snapshot
2018-04-04 Matt S Trout make Role consistent with Class, specify strictures 2 commit | commitdiff | tree | snapshot
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
next
Unnamed repository; edit this file 'description' to name the repository.