| 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
|
