projects
/
scpubgit/DX.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
HEAD
⋅ prev ⋅ next
scpubgit/DX.git
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