| Mon, 06 Sep 2021 23:26:07 -0700 |
drewp |
plans regarding this rewrite
|
| 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:15:14 -0700 |
drewp |
realign tests, turn off slow ones for now
|
| Mon, 06 Sep 2021 01:13:55 -0700 |
drewp |
WIP move evaluation to new file
|
| Mon, 06 Sep 2021 00:57:28 -0700 |
drewp |
fix import
|
| Mon, 06 Sep 2021 00:56:47 -0700 |
drewp |
logging and stats
|
