evolve: revision graph

graph

less more | rev 4599: (0) -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip

evolve: _solveunstable() update progress only once
Tue, 23 Apr 2019 09:45:45 -0700, by Martin von Zweigbergk
evolve: don't update progress just before clearing it
Tue, 23 Apr 2019 09:35:34 -0700, by Martin von Zweigbergk
evolve: clean up progress bar also when using -r
Tue, 23 Apr 2019 09:31:32 -0700, by Martin von Zweigbergk
tests: add some basic testing of progress
Tue, 23 Apr 2019 10:20:03 -0700, by Martin von Zweigbergk

less more | rev 4599: (0) -3000 -1000 -300 -100 -30 -10 -4 +4 +10 +30 +100 +300 +1000 tip