| Tue, 23 Apr 2019 10:49:47 -0700 | Martin von Zweigbergk | evolve: move progress-clearing out of _cleanup() | changeset | files |
| Tue, 23 Apr 2019 10:52:33 -0700 | Martin von Zweigbergk | evolve: stop passing no-op "progresscb" into continueevolve() | changeset | files |
| Tue, 23 Apr 2019 09:45:45 -0700 | Martin von Zweigbergk | evolve: _solveunstable() update progress only once | changeset | files |
| Tue, 23 Apr 2019 09:35:34 -0700 | Martin von Zweigbergk | evolve: don't update progress just before clearing it | changeset | files |