projects
/
scpubgit/DX.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
pervasive type constraints
[scpubgit/DX.git]
/
lib
/
DX
/
Hypothesis.pm
2018-04-07
Matt S Trout
pervasive type constraints
blob
|
commitdiff
2016-06-29
Matt S Trout
move recheck logic into resolution step
blob
|
commitdiff
|
diff to current
2016-06-26
Matt S Trout
move calling of recheck out into Resolve step
blob
|
commitdiff
|
diff to current
2016-06-26
Matt S Trout
have with_actions return the recheck list
blob
|
commitdiff
|
diff to current
2016-06-26
Matt S Trout
move with_actions call to within with_resolution
blob
|
commitdiff
|
diff to current
2016-06-26
Matt S Trout
move recheck to post-all-actions rather than per-action
blob
|
commitdiff
|
diff to current
2016-06-12
Matt S Trout
initial creation of SearchProcess class
blob
|
commitdiff
|
diff to current
2016-04-03
Matt S Trout
eliminate outstanding_propositions attribute
blob
|
commitdiff
|
diff to current
2016-04-03
Matt S Trout
switch to passing prop to resolve in, fix bug in with_o...
blob
|
commitdiff
|
diff to current
2016-04-02
Matt S Trout
cut over to next_proposition using resolved_count
blob
|
commitdiff
|
diff to current
2016-04-02
Matt S Trout
add propositions method to searchstate
blob
|
commitdiff
|
diff to current
2016-03-16
Matt S Trout
trace recheck failure
blob
|
commitdiff
|
diff to current
2016-03-12
Matt S Trout
const and basic tracing
blob
|
commitdiff
|
diff to current
2016-03-07
Matt S Trout
track action applications
blob
|
commitdiff
|
diff to current
2015-12-04
Matt S Trout
operational recheck
blob
|
commitdiff
|
diff to current
2015-12-04
Matt S Trout
types and deparsing and recalculation part working
blob
|
commitdiff
|
diff to current
2015-10-10
Matt S Trout
dependency map up, some code running
blob
|
commitdiff
|
diff to current
2015-08-30
Matt S Trout
initial partial sketch
blob
|
commitdiff
|
diff to current