Thu, 25 Apr 2019 17:20:32 +0800 | Anton Shestakov | evolve: mention that --all is the default behavior now | changeset | files |
Thu, 25 Apr 2019 17:19:41 +0800 | Anton Shestakov | evolve: mention that not all successful operations currently update wdir | changeset | files |
Tue, 23 Apr 2019 11:07:28 -0700 | Martin von Zweigbergk | evolve: add progress support for --continue | changeset | files |
Tue, 23 Apr 2019 10:56:42 -0700 | Martin von Zweigbergk | evolve: reduce scope of progress-related variables | changeset | files |
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 |