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: review balancing algorithm | Unassigned | Philipp Koerner | | Unresolved | Aug 20, 2015 | Aug 20, 2015 | ||||
 | Rework: ease startup | Unassigned | Philipp Koerner | | Fixed | Aug 20, 2015 | Sep 24, 2015 | ||||
| Rework: trie structure | Unassigned | Philipp Koerner | | Unresolved | Aug 20, 2015 | Aug 20, 2015 | ||||
| Rework: shared memory | Unassigned | Philipp Koerner | | Unresolved | Aug 20, 2015 | Sep 25, 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 | ||||
| Implement proof information | Unassigned | Philipp Koerner | | Unresolved | Mar 18, 2015 | Mar 18, 2015 | ||||
| Additional information may break state counting | Unassigned | Philipp Koerner | | Unresolved | Mar 18, 2015 | Mar 18, 2015 | ||||
| Verification of C algorithms | Unassigned | Philipp Koerner | | Unresolved | Mar 18, 2015 | Mar 18, 2015 | ||||
| Improve work balancer | Unassigned | Philipp Koerner | | Unresolved | Mar 18, 2015 | Mar 18, 2015 | ||||
| Get an entire queue of a worker | Unassigned | Philipp Koerner | | Unresolved | Mar 18, 2015 | Mar 18, 2015 | ||||
| Lockless hash trie | Unassigned | Philipp Koerner | | Unresolved | Mar 18, 2015 | Mar 18, 2015 | ||||
| Review file usage | Unassigned | Philipp Koerner | | Unresolved | Mar 18, 2015 | Mar 18, 2015 | ||||
| Tracer should replay a trace in ProB | Unassigned | Philipp Koerner | | Unresolved | Mar 18, 2015 | Mar 18, 2015 | ||||
| Deploy ZMQ/CZMQ header files with libraries | Unassigned | Philipp Koerner | | Fixed | Nov 14, 2014 | Oct 14, 2016 | ||||
| Strange runtimes with empty workers | Unassigned | Philipp Koerner | | Unresolved | Apr 30, 2014 | Apr 30, 2014 | ||||
| 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 | ||||
| Find trace to an invariant violation | Unassigned | Philipp Koerner | | Unresolved | Apr 1, 2014 | Apr 1, 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 | ||||
| externalize hashtrie | Unassigned | Philipp Koerner | | Unresolved | Apr 1, 2014 | Mar 18, 2015 | ||||
| Use states instead of hashes | Unassigned | Philipp Koerner | | Unresolved | Apr 1, 2014 | Apr 1, 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: file output | Unassigned | Philipp Koerner | | Unresolved | May 17, 2013 | May 17, 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 |
1-50 of 80