Thu, 25 Apr 2019 14:02:11 -0700 Martin von Zweigbergk evolve: delete dead calculation of number of troubled revisions
Fri, 19 Apr 2019 10:23:53 -0700 Martin von Zweigbergk evolve: drop nested locks and transactions
Fri, 19 Apr 2019 11:12:00 -0700 Martin von Zweigbergk next: start transaction before calling _solveone()
Fri, 19 Apr 2019 10:22:25 -0700 Martin von Zweigbergk evolve: use single transaction also when continuing
(0) -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 tip