Issues

Select view

Select search mode

Improvement
Rework: shared memory
Unassigned
Philipp Koerner
Major
Unresolved
Aug 20, 2015
Sep 25, 2015
Story
Rework: review balancing algorithm
Unassigned
Philipp Koerner
Major
Unresolved
Aug 20, 2015
Aug 20, 2015
Improvement
Rework: trie structure
Unassigned
Philipp Koerner
Major
Unresolved
Aug 20, 2015
Aug 20, 2015
New Feature
externalize hashtrie
Unassigned
Philipp Koerner
Major
Unresolved
Apr 1, 2014
Mar 18, 2015
Story
Implement proof information
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Task
Additional information may break state counting
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Story
Verification of C algorithms
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Story
Improve work balancer
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
New Feature
Get an entire queue of a worker
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Story
Lockless hash trie
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Task
Review file usage
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Improvement
Tracer should replay a trace in ProB
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Task
Strange runtimes with empty workers
Unassigned
Philipp Koerner
Major
Unresolved
Apr 30, 2014
Apr 30, 2014
New Feature
Find trace to an invariant violation
Unassigned
Philipp Koerner
Major
Unresolved
Apr 1, 2014
Apr 1, 2014
New Feature
Use states instead of hashes
Unassigned
Philipp Koerner
Major
Unresolved
Apr 1, 2014
Apr 1, 2014
Task
DistB: file output
Unassigned
Philipp Koerner
Major
Unresolved
May 17, 2013
May 17, 2013
Sub-task
Check that the state space is the same
Unassigned
Jens Bendisposto
Major
Unresolved
Sep 3, 2012
Feb 14, 2013
Sub-task
Check if the number of states and transitions are the same
Unassigned
Jens Bendisposto
Major
Unresolved
Sep 3, 2012
Sep 3, 2012
New Feature
Build a testing framework
Unassigned
Jens Bendisposto
Major
Unresolved
Sep 3, 2012
Sep 3, 2012
1-19 of 19