| Mon, 27 Sep 2021 22:55:32 -0700 |
drewp |
take out some misduided fixes
|
| Mon, 27 Sep 2021 11:22:09 -0700 |
drewp |
new html log and other refactoring as i work on the advanceTheStack problems
|
| Sat, 25 Sep 2021 22:20:42 -0700 |
drewp |
really rough fix to a broken test. hopefully this gets redone
|
| Sat, 25 Sep 2021 22:20:00 -0700 |
drewp |
debugging and cleanup, as i looked for a bug
|
| Wed, 22 Sep 2021 01:22:05 -0700 |
drewp |
add new bug test (no fix yet)
|
| Wed, 22 Sep 2021 01:02:26 -0700 |
drewp |
don't jsut quietly succeed if iteration limit is reached
|
| Wed, 22 Sep 2021 01:00:32 -0700 |
drewp |
redo RHS bnode processing
|
| Tue, 21 Sep 2021 23:20:16 -0700 |
drewp |
rm used parameter
|
| Tue, 21 Sep 2021 22:29:19 -0700 |
drewp |
fix some harder tests. Mostly, _advanceTheStack needed to spin the odometer rings starting from the other side, to get all the right combos
|
| Tue, 21 Sep 2021 22:19:11 -0700 |
drewp |
comments, debug, dead code
|
| Mon, 20 Sep 2021 23:19:08 -0700 |
drewp |
logic fix- some bindings were being returned 2+; some 0 times
|
| Sun, 19 Sep 2021 16:51:51 -0700 |
drewp |
cleanups and optimizations
|
| Sun, 19 Sep 2021 13:22:29 -0700 |
drewp |
bugfix for simple (no arg lists) functions not evaluating
|
| Sun, 19 Sep 2021 13:20:39 -0700 |
drewp |
minor refactoring
|
| Sun, 19 Sep 2021 13:19:20 -0700 |
drewp |
debug logging and comments
|
| Sat, 18 Sep 2021 23:57:20 -0700 |
drewp |
WIP - functions are broken as i move most layers to work in Chunks not Triples
|
| Sat, 18 Sep 2021 23:53:59 -0700 |
drewp |
move graphDump (on its way out, since reprs are getting better)
|
| Fri, 17 Sep 2021 11:11:24 -0700 |
drewp |
add nonRuleStatments to Inference api. there's already a test in an eariler commit
|
| Fri, 17 Sep 2021 11:10:18 -0700 |
drewp |
more performance work
|
| Wed, 15 Sep 2021 23:56:21 -0700 |
drewp |
debug logs
|
| Wed, 15 Sep 2021 23:56:02 -0700 |
drewp |
speedups: abort some rules faster
|
| Mon, 13 Sep 2021 01:54:49 -0700 |
drewp |
rm unused computation
|
| Mon, 13 Sep 2021 01:53:32 -0700 |
drewp |
don't crash, just skip the rule if there's a BindingConflict (no clear test case yet)
|
| Mon, 13 Sep 2021 01:36:06 -0700 |
drewp |
refactor rules eval
|
| Mon, 13 Sep 2021 00:18:47 -0700 |
drewp |
rm dead code from previous tries
|
| Mon, 13 Sep 2021 00:06:00 -0700 |
drewp |
refactor: use CandidateBinding throughout, not loose dicts
|
| Sun, 12 Sep 2021 23:48:43 -0700 |
drewp |
hack math:sum in there. Test suite is passing except some slow performers
|
| Sun, 12 Sep 2021 21:48:36 -0700 |
drewp |
fix farenheit rule case, fix some others that depend on rings order, but this breaks some performance because of itertools.perm
|
| Sun, 12 Sep 2021 21:46:39 -0700 |
drewp |
just (a lot of) debug changes
|
| Sun, 12 Sep 2021 04:32:52 -0700 |
drewp |
big rewrite of infer() using statements not variables as the things to iterate over
|
| Sat, 11 Sep 2021 23:27:32 -0700 |
drewp |
some shuffling, i don't know- i'm about to rewrite again
|
| Sat, 11 Sep 2021 23:21:11 -0700 |
drewp |
metrics on input graph sizes
|
| Wed, 08 Sep 2021 18:56:24 -0700 |
drewp |
apparently this was redundant
|
| Wed, 08 Sep 2021 18:53:26 -0700 |
drewp |
add CandidateTermMatches, unused so far
|
| Wed, 08 Sep 2021 18:51:18 -0700 |
drewp |
rename workingSet, sometimes
|
| Wed, 08 Sep 2021 18:42:53 -0700 |
drewp |
log layout
|
| Wed, 08 Sep 2021 18:32:11 -0700 |
drewp |
attempted to rewrite with CandidateTermMatches but it broke
|
| Mon, 06 Sep 2021 23:23:43 -0700 |
drewp |
optimization: stream stmts instead of building a Graph
|
| Mon, 06 Sep 2021 23:20:23 -0700 |
drewp |
change a Graph.__sub__ to Set.difference in verify() for a big speedup
|
| Mon, 06 Sep 2021 23:04:34 -0700 |
drewp |
refactor: inline an odometer algorithm in place of itertools.product
|
| Mon, 06 Sep 2021 23:03:51 -0700 |
drewp |
forget GRAPH_ID optimization in this case
|
| Mon, 06 Sep 2021 18:39:38 -0700 |
drewp |
mark skipped tests. move applyRule into Rule. minor cleanups.
|
| Mon, 06 Sep 2021 18:18:42 -0700 |
drewp |
a little inner-loop performace. same number of iterations, but less time on logging and some stmt filtering
|
| Mon, 06 Sep 2021 18:07:28 -0700 |
drewp |
mysteriously lost an important line
|
| Mon, 06 Sep 2021 18:06:11 -0700 |
drewp |
new tests for a smaller part of the inner loop
|
| Mon, 06 Sep 2021 17:03:19 -0700 |
drewp |
cleaning up inner loop
|
| Mon, 06 Sep 2021 15:38:48 -0700 |
drewp |
more modules, types. Maybe less repeated computation on BoundLhs
|
| Mon, 06 Sep 2021 01:13:55 -0700 |
drewp |
WIP move evaluation to new file
|
| Mon, 06 Sep 2021 00:56:47 -0700 |
drewp |
logging and stats
|
| Mon, 06 Sep 2021 00:56:13 -0700 |
drewp |
do findEvals once at setRules time
|
| Sun, 05 Sep 2021 23:27:49 -0700 |
drewp |
infer() dumps stats
|
| Sun, 05 Sep 2021 22:50:15 -0700 |
drewp |
cleanup internal names, imports
|
| Sun, 05 Sep 2021 22:43:13 -0700 |
drewp |
fix a bug with a slightly moer complicated set of rules
|
| Sun, 05 Sep 2021 22:40:50 -0700 |
drewp |
Evaluation doesn't have to depend on Lhs class
|
| Sun, 05 Sep 2021 22:39:38 -0700 |
drewp |
logging adjustments
|
| Sun, 05 Sep 2021 01:52:53 -0700 |
drewp |
more cleanup, especially around Evaluation
|
| Sun, 05 Sep 2021 01:15:55 -0700 |
drewp |
cleanups and a few fixed cases
|
| Sat, 04 Sep 2021 23:23:55 -0700 |
drewp |
big rewrite- more classes, smaller methods, more typesafe, all current tests passing
|
| Sat, 04 Sep 2021 23:18:44 -0700 |
drewp |
pure reordering of funcs to make the next diffs smaller
|
| Sat, 04 Sep 2021 15:34:29 -0700 |
drewp |
shuffle some logging
|
