Issues
Rework: shared memory | Unassigned | Philipp Koerner | Unresolved | Aug 20, 2015 | Sep 25, 2015 | ||||||
Rework: review balancing algorithm | Unassigned | Philipp Koerner | Unresolved | Aug 20, 2015 | Aug 20, 2015 | ||||||
Rework: trie structure | Unassigned | Philipp Koerner | Unresolved | Aug 20, 2015 | Aug 20, 2015 | ||||||
externalize hashtrie | Unassigned | Philipp Koerner | Unresolved | Apr 1, 2014 | Mar 18, 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 | ||||||
Strange runtimes with empty workers | Unassigned | Philipp Koerner | Unresolved | Apr 30, 2014 | Apr 30, 2014 | ||||||
Find trace to an invariant violation | Unassigned | Philipp Koerner | Unresolved | Apr 1, 2014 | Apr 1, 2014 | ||||||
Use states instead of hashes | Unassigned | Philipp Koerner | Unresolved | Apr 1, 2014 | Apr 1, 2014 | ||||||
DistB: file output | Unassigned | Philipp Koerner | Unresolved | May 17, 2013 | May 17, 2013 | ||||||
Check that the state space is the same | Unassigned | Jens Bendisposto | Unresolved | Sep 3, 2012 | Feb 14, 2013 | ||||||
Check if the number of states and transitions are the same | Unassigned | Jens Bendisposto | Unresolved | Sep 3, 2012 | Sep 3, 2012 | ||||||
Build a testing framework | Unassigned | Jens Bendisposto | Unresolved | Sep 3, 2012 | Sep 3, 2012 |
1-19 of 19