| Tue, 04 Sep 2018 16:23:54 +0200 | wenzelm | support for watchdog_timeout; | file | diff | annotate |
| Sat, 18 Aug 2018 22:09:09 +0200 | wenzelm | optional notification of nodes_status (via progress); | file | diff | annotate |
| Sat, 11 Aug 2018 17:33:00 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Fri, 27 Jul 2018 22:09:27 +0200 | wenzelm | added check_delay / check_limit for more robust treatment of structurally broken theory sources (or genuine non-termination); | file | diff | annotate |