Issues
| Rework: implement "max-states" | Unassigned | Philipp Koerner |  | Fixed | Sep 24, 2015 | Sep 25, 2015 | |||||
| Rework: upgrade ZMQ/CZMQ libs | Unassigned | Philipp Koerner | | Fixed | Aug 20, 2015 | Oct 14, 2016 | |||||
| Rework: hot joining | Unassigned | Philipp Koerner | | Fixed | Aug 20, 2015 | Sep 25, 2015 | |||||
| Rework: ease startup | Unassigned | Philipp Koerner | | Fixed | Aug 20, 2015 | Sep 24, 2015 | |||||
| Rework: support more than one machine | Unassigned | Philipp Koerner | | Fixed | Aug 20, 2015 | Sep 22, 2015 | |||||
| Refactor hash function | Unassigned | Philipp Koerner | | Fixed | Apr 23, 2015 | May 11, 2015 | |||||
| Use more bits per index in hash trie | Unassigned | Philipp Koerner | | Fixed | Apr 23, 2015 | Apr 29, 2015 | |||||
| Deploy ZMQ/CZMQ header files with libraries | Unassigned | Philipp Koerner | | Fixed | Nov 14, 2014 | Oct 14, 2016 | |||||
| Don't analyze the logs directly after a run | Unassigned | Jens Bendisposto | | Won't Fix | Apr 11, 2014 | Mar 7, 2015 | |||||
| Worker heartbeat | Unassigned | Philipp Koerner | | Fixed | Apr 9, 2014 | Sep 5, 2014 | |||||
| Share hashtrie among the processes on the same computer | Unassigned | Philipp Koerner | | Fixed | Apr 1, 2014 | Sep 5, 2014 | |||||
| Store hashes in linear list | Unassigned | Philipp Koerner | | Fixed | Apr 1, 2014 | May 22, 2014 | |||||
| Double hashing | Unassigned | Philipp Koerner | | Fixed | Apr 1, 2014 | Oct 21, 2014 | |||||
| durable modelchecking | Unassigned | Philipp Koerner | | Fixed | Apr 1, 2014 | Sep 5, 2014 | |||||
| Unable to build ZMQ extension on OS X 10.9 | Unassigned | Sebastian Krings | | Fixed | Nov 6, 2013 | Apr 1, 2014 | |||||
| Update CZMQ (and ZMQ?) to latest version | Unassigned | Philipp Koerner |  | Fixed | Jun 12, 2013 | Jun 14, 2013 | |||||
| DistB: start master via time | Unassigned | Philipp Koerner | | Fixed | May 17, 2013 | Jun 6, 2013 | |||||
| DistB: pass on all parameters | Unassigned | Philipp Koerner | | Fixed | May 17, 2013 | May 24, 2013 | |||||
| DistB: start standard ProB | Unassigned | Philipp Koerner | | Fixed | May 17, 2013 | Jun 6, 2013 | |||||
| Memory leak | Unassigned | Philipp Koerner |  | Fixed | Feb 2, 2013 | Apr 10, 2013 | |||||
| #(work hard runs) equals #(checked states) | Unassigned | Philipp Koerner | | Fixed | Jan 30, 2013 | Feb 14, 2013 | |||||
| Statistic file output is incorrect | Unassigned | Philipp Koerner | | Fixed | Jan 25, 2013 | Feb 14, 2013 | |||||
| Assertion checking is broken | Unassigned | Jens Bendisposto | | Fixed | Jan 23, 2013 | Feb 14, 2013 | |||||
| Try if term ordering improves assertion checking | Unassigned | Jens Bendisposto |  | Won't Fix | Jan 23, 2013 | Feb 4, 2013 | |||||
| Maintain hashes on master only | Unassigned | Philipp Koerner | | Fixed | Jan 22, 2013 | Feb 14, 2013 | |||||
| Master queue | Unassigned | Philipp Koerner | | Fixed | Jan 17, 2013 | Jan 22, 2013 | |||||
| Incorrect termination | Unassigned | Philipp Koerner | | Fixed | Jan 15, 2013 | Jan 21, 2013 | |||||
| Pretty printer for Prolog Terms | Unassigned | Jens Bendisposto | | Fixed | Jan 10, 2013 | Jan 21, 2013 | |||||
| Put hashes local | Unassigned | Jens Bendisposto | | Fixed | Jan 7, 2013 | Jan 21, 2013 | |||||
| Sometimes we get NULL printed to the output. | Unassigned | Jens Bendisposto | | Fixed | Jan 7, 2013 | Apr 1, 2014 | |||||
| Terminate on first error | Unassigned | Jens Bendisposto | | Fixed | Jan 7, 2013 | Jan 21, 2013 | |||||
| External Model Checking | Unassigned | Jens Bendisposto | | Fixed | Jan 7, 2013 | Oct 21, 2014 | |||||
| Very high sys time consumption | Unassigned | Philipp Koerner | | Fixed | Dec 29, 2012 | Jan 21, 2013 | |||||
| Allow different filenames for statistics | Unassigned | Jens Bendisposto | | Fixed | Dec 15, 2012 | Jan 21, 2013 | |||||
| Don't store redundant prefix | Unassigned | Philipp Koerner | | Won't Fix | Dec 14, 2012 | Jan 7, 2013 | |||||
| Use linked lists in leafs | Unassigned | Philipp Koerner | | Fixed | Dec 14, 2012 | Jan 21, 2013 | |||||
| Introduce leaf-struct | Unassigned | Philipp Koerner | | Fixed | Dec 14, 2012 | Jan 21, 2013 | |||||
| Reduce memory usage of hashtrie | Unassigned | Philipp Koerner | | Fixed | Dec 14, 2012 | Jan 21, 2013 | |||||
| Accumulate hashes for late joining workers | Unassigned | Philipp Koerner | | Fixed | Dec 7, 2012 | Jan 21, 2013 | |||||
| Work balancing is behaving incorrectly | Unassigned | Philipp Koerner | | Fixed | Dec 7, 2012 | Jan 21, 2013 | |||||
| Master should print number of known states / checked states | Unassigned | Sebastian Krings | | Fixed | Dec 7, 2012 | Jan 21, 2013 | |||||
| Collect info about states that are computed twice on the master | Unassigned | Jens Bendisposto | | Fixed | Nov 26, 2012 | Jan 21, 2013 | |||||
| Transfer term instead of filename | Unassigned | Jens Bendisposto | | Fixed | Nov 1, 2012 | Jan 10, 2013 | |||||
| Java ZMQ-Master: add time profiling | Unassigned | Philipp Koerner | | Fixed | Oct 4, 2012 | Oct 8, 2012 | |||||
| Hashmap load-factor handling | Unassigned | Philipp Koerner |  | Won't Fix | Sep 14, 2012 | Nov 15, 2012 | |||||
| Add a parameter to set a limit of states to check | Unassigned | Philipp Koerner | | Fixed | Sep 13, 2012 | Sep 14, 2012 | |||||
| Join worker and master into a single extension | Unassigned | Jens Bendisposto | | Fixed | Sep 3, 2012 | Sep 3, 2012 | |||||
| Implement dynamic partitioning / Explore other options | Unassigned | Jens Bendisposto | | Won't Fix | Sep 3, 2012 | Jun 16, 2014 | |||||
| Use one byte of the hash to distribute | Unassigned | Jens Bendisposto | | Fixed | Sep 3, 2012 | Sep 6, 2012 | |||||
| Send every successor to the master and let master redistribute them | Unassigned | Jens Bendisposto | | Fixed | Sep 3, 2012 | Sep 3, 2012 |
1-50 of 61