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