log

age author description
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