Tue, 23 Apr 2019 10:49:47 -0700 Martin von Zweigbergk evolve: move progress-clearing out of _cleanup()
Tue, 23 Apr 2019 10:52:33 -0700 Martin von Zweigbergk evolve: stop passing no-op "progresscb" into continueevolve()
Tue, 23 Apr 2019 09:45:45 -0700 Martin von Zweigbergk evolve: _solveunstable() update progress only once
Tue, 23 Apr 2019 09:35:34 -0700 Martin von Zweigbergk evolve: don't update progress just before clearing it
Tue, 23 Apr 2019 09:31:32 -0700 Martin von Zweigbergk evolve: clean up progress bar also when using -r
Tue, 23 Apr 2019 10:20:03 -0700 Martin von Zweigbergk tests: add some basic testing of progress
Fri, 19 Apr 2019 10:03:39 -0700 Martin von Zweigbergk evolve: increment progress *after* a whole merge commit is done
Fri, 19 Apr 2019 11:02:35 -0700 Martin von Zweigbergk evolve: use util.acceptintervention() for closing transactions
(0) -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 tip