Projects
Filters
Dashboards
Apps
Create
ZMQ-Extension
Classic software project
Back to project
Filters
All issues
Open issues
Done issues
Resolved recently
Updated recently
View all filters
Projects
/
Issues
Export Issues
Go to advanced search
Search issues
Submit
Assignee
Reporter
Status
Type
Status Category
Reset
Switch to detail view
Type
Key
Summary
Assignee
Reporter
P
Status
Created
ZMQEXTENSION
-
75
Rework: shared memory
Philipp Koerner
Philipp Koerner
Open
Aug 20, 2015
ZMQEXTENSION
-
78
Rework: review balancing algorithm
Philipp Koerner
Philipp Koerner
Open
Aug 20, 2015
ZMQEXTENSION
-
76
Rework: trie structure
Philipp Koerner
Philipp Koerner
Open
Aug 20, 2015
ZMQEXTENSION
-
56
externalize hashtrie
Philipp Koerner
Philipp Koerner
Open
Apr 1, 2014
ZMQEXTENSION
-
71
Implement proof information
Philipp Koerner
Philipp Koerner
Open
Mar 18, 2015
ZMQEXTENSION
-
70
Additional information may break state counting
Philipp Koerner
Philipp Koerner
Open
Mar 18, 2015
ZMQEXTENSION
-
69
Verification of C algorithms
Philipp Koerner
Philipp Koerner
Open
Mar 18, 2015
ZMQEXTENSION
-
68
Improve work balancer
Philipp Koerner
Philipp Koerner
Open
Mar 18, 2015
ZMQEXTENSION
-
67
Get an entire queue of a worker
Philipp Koerner
Philipp Koerner
Open
Mar 18, 2015
ZMQEXTENSION
-
66
Lockless hash trie
Philipp Koerner
Philipp Koerner
Open
Mar 18, 2015
ZMQEXTENSION
-
65
Review file usage
Philipp Koerner
Philipp Koerner
Open
Mar 18, 2015
ZMQEXTENSION
-
64
Tracer should replay a trace in ProB
Philipp Koerner
Philipp Koerner
Open
Mar 18, 2015
ZMQEXTENSION
-
62
Strange runtimes with empty workers
Philipp Koerner
Philipp Koerner
Open
Apr 30, 2014
ZMQEXTENSION
-
59
Find trace to an invariant violation
Philipp Koerner
Philipp Koerner
Open
Apr 1, 2014
ZMQEXTENSION
-
55
Use states instead of hashes
Philipp Koerner
Philipp Koerner
Open
Apr 1, 2014
ZMQEXTENSION
-
49
DistB: file output
Philipp Koerner
Philipp Koerner
Open
May 17, 2013
ZMQEXTENSION
-
12
Check that the state space is the same
Philipp Koerner
Jens Bendisposto
Open
Sep 3, 2012
ZMQEXTENSION
-
11
Check if the number of states and transitions are the same
Philipp Koerner
Jens Bendisposto
Open
Sep 3, 2012
ZMQEXTENSION
-
10
Build a testing framework
Philipp Koerner
Jens Bendisposto
Open
Sep 3, 2012
Give feedback
1-19 of 19
1