Fri, 07 Jun 2019 02:24:08 +0200 | Pierre-Yves David | branching: merge back with stable | file | diff | annotate |
Wed, 05 Jun 2019 17:21:45 +0200 | Pierre-Yves David | test: adjust output to stable branch | file | diff | annotate |
Fri, 19 Apr 2019 10:22:25 -0700 | Martin von Zweigbergk | evolve: use single transaction also when continuing | file | diff | annotate |
Fri, 19 Apr 2019 09:41:39 -0700 | Martin von Zweigbergk | evolve: run in a single transaction | file | diff | annotate |
Tue, 23 Apr 2019 11:07:28 -0700 | Martin von Zweigbergk | evolve: add progress support for --continue | file | diff | annotate |
Tue, 23 Apr 2019 10:52:33 -0700 | Martin von Zweigbergk | evolve: stop passing no-op "progresscb" into continueevolve() | file | diff | annotate |
Tue, 23 Apr 2019 09:45:45 -0700 | Martin von Zweigbergk | evolve: _solveunstable() update progress only once | file | diff | annotate |
Tue, 23 Apr 2019 09:35:34 -0700 | Martin von Zweigbergk | evolve: don't update progress just before clearing it | file | diff | annotate |
Tue, 23 Apr 2019 10:20:03 -0700 | Martin von Zweigbergk | tests: add some basic testing of progress | file | diff | annotate |