projects / scpubgit/DX.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
HEAD ⋅ prev ⋅ next
scpubgit/DX.git
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
2016-02-27 Matt S Trout sketch some actual shell internal modules commit | commitdiff | tree | snapshot
2016-02-27 Matt S Trout add trace primitive commit | commitdiff | tree | snapshot
2016-02-27 Matt S Trout make protoshell handle errors commit | commitdiff | tree | snapshot
2016-01-14 Matt S Trout beginnings of a shell prototype commit | commitdiff | tree | snapshot
2016-01-14 Matt S Trout rename Equals to Eq commit | commitdiff | tree | snapshot
2015-12-04 Matt S Trout significantly prettier deparses commit | commitdiff | tree | snapshot
2015-12-04 Matt S Trout operational recheck commit | commitdiff | tree | snapshot
2015-12-04 Matt S Trout slightly less incomplete deparse output commit | commitdiff | tree | snapshot
2015-12-04 Matt S Trout types and deparsing and recalculation part working commit | commitdiff | tree | snapshot
2015-11-09 Matt S Trout implement ->equals for values commit | commitdiff | tree | snapshot
2015-11-01 Matt S Trout basic formatting of resolved props commit | commitdiff | tree | snapshot
2015-11-01 Matt S Trout deparse actually sorta working commit | commitdiff | tree | snapshot
2015-10-26 Matt S Trout initial skeleton for deparser commit | commitdiff | tree | snapshot
2015-10-12 Matt S Trout member_at starting to work commit | commitdiff | tree | snapshot
2015-10-10 Matt S Trout dependency map up, some code running commit | commitdiff | tree | snapshot
2015-08-30 Matt S Trout initial partial sketch commit | commitdiff | tree | snapshot
2015-08-09 Matt S Trout initial commit - empty .gitignore commit | commitdiff | tree | snapshot
Unnamed repository; edit this file 'description' to name the repository.