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
-
81
Rework: implement "max-states"
Philipp Koerner
Philipp Koerner
Resolved
Sep 24, 2015
ZMQEXTENSION
-
80
Rework: upgrade ZMQ/CZMQ libs
Philipp Koerner
Philipp Koerner
Resolved
Aug 20, 2015
ZMQEXTENSION
-
79
Rework: hot joining
Philipp Koerner
Philipp Koerner
Resolved
Aug 20, 2015
ZMQEXTENSION
-
77
Rework: ease startup
Philipp Koerner
Philipp Koerner
Resolved
Aug 20, 2015
ZMQEXTENSION
-
74
Rework: support more than one machine
Philipp Koerner
Philipp Koerner
Resolved
Aug 20, 2015
ZMQEXTENSION
-
73
Refactor hash function
Philipp Koerner
Philipp Koerner
Resolved
Apr 23, 2015
ZMQEXTENSION
-
72
Use more bits per index in hash trie
Philipp Koerner
Philipp Koerner
Resolved
Apr 23, 2015
ZMQEXTENSION
-
63
Deploy ZMQ/CZMQ header files with libraries
Philipp Koerner
Philipp Koerner
Resolved
Nov 14, 2014
ZMQEXTENSION
-
61
Don't analyze the logs directly after a run
Jens Bendisposto
Jens Bendisposto
Resolved
Apr 11, 2014
ZMQEXTENSION
-
60
Worker heartbeat
Philipp Koerner
Philipp Koerner
Resolved
Apr 9, 2014
ZMQEXTENSION
-
58
Share hashtrie among the processes on the same computer
Philipp Koerner
Philipp Koerner
Resolved
Apr 1, 2014
ZMQEXTENSION
-
57
Store hashes in linear list
Philipp Koerner
Philipp Koerner
Resolved
Apr 1, 2014
ZMQEXTENSION
-
54
Double hashing
Philipp Koerner
Philipp Koerner
Resolved
Apr 1, 2014
ZMQEXTENSION
-
53
durable modelchecking
Philipp Koerner
Philipp Koerner
Resolved
Apr 1, 2014
ZMQEXTENSION
-
52
Unable to build ZMQ extension on OS X 10.9
MichaelH
Sebastian Krings
Resolved
Nov 6, 2013
ZMQEXTENSION
-
51
Update CZMQ (and ZMQ?) to latest version
Philipp Koerner
Philipp Koerner
Resolved
Jun 12, 2013
ZMQEXTENSION
-
50
DistB: start master via time
Philipp Koerner
Philipp Koerner
Resolved
May 17, 2013
ZMQEXTENSION
-
48
DistB: pass on all parameters
Philipp Koerner
Philipp Koerner
Resolved
May 17, 2013
ZMQEXTENSION
-
47
DistB: start standard ProB
Philipp Koerner
Philipp Koerner
Resolved
May 17, 2013
ZMQEXTENSION
-
45
Memory leak
Philipp Koerner
Philipp Koerner
Resolved
Feb 2, 2013
ZMQEXTENSION
-
44
#(work hard runs) equals #(checked states)
Philipp Koerner
Philipp Koerner
Resolved
Jan 30, 2013
ZMQEXTENSION
-
43
Statistic file output is incorrect
Philipp Koerner
Philipp Koerner
Resolved
Jan 25, 2013
ZMQEXTENSION
-
42
Assertion checking is broken
Philipp Koerner
Jens Bendisposto
Resolved
Jan 23, 2013
ZMQEXTENSION
-
41
Try if term ordering improves assertion checking
Jens Bendisposto
Jens Bendisposto
Resolved
Jan 23, 2013
ZMQEXTENSION
-
40
Maintain hashes on master only
Philipp Koerner
Philipp Koerner
Resolved
Jan 22, 2013
ZMQEXTENSION
-
39
Master queue
Philipp Koerner
Philipp Koerner
Resolved
Jan 17, 2013
ZMQEXTENSION
-
38
Incorrect termination
Philipp Koerner
Philipp Koerner
Resolved
Jan 15, 2013
ZMQEXTENSION
-
37
Pretty printer for Prolog Terms
Philipp Koerner
Jens Bendisposto
Resolved
Jan 10, 2013
ZMQEXTENSION
-
36
Put hashes local
Philipp Koerner
Jens Bendisposto
Resolved
Jan 7, 2013
ZMQEXTENSION
-
35
Sometimes we get NULL printed to the output.
Philipp Koerner
Jens Bendisposto
Resolved
Jan 7, 2013
ZMQEXTENSION
-
34
Terminate on first error
Philipp Koerner
Jens Bendisposto
Resolved
Jan 7, 2013
ZMQEXTENSION
-
33
External Model Checking
Philipp Koerner
Jens Bendisposto
Resolved
Jan 7, 2013
ZMQEXTENSION
-
32
Very high sys time consumption
Philipp Koerner
Philipp Koerner
Resolved
Dec 29, 2012
ZMQEXTENSION
-
31
Allow different filenames for statistics
Philipp Koerner
Jens Bendisposto
Resolved
Dec 15, 2012
ZMQEXTENSION
-
30
Don't store redundant prefix
Philipp Koerner
Philipp Koerner
Resolved
Dec 14, 2012
ZMQEXTENSION
-
29
Use linked lists in leafs
Philipp Koerner
Philipp Koerner
Resolved
Dec 14, 2012
ZMQEXTENSION
-
28
Introduce leaf-struct
Philipp Koerner
Philipp Koerner
Resolved
Dec 14, 2012
ZMQEXTENSION
-
27
Reduce memory usage of hashtrie
Philipp Koerner
Philipp Koerner
Resolved
Dec 14, 2012
ZMQEXTENSION
-
26
Accumulate hashes for late joining workers
Philipp Koerner
Philipp Koerner
Resolved
Dec 7, 2012
ZMQEXTENSION
-
25
Work balancing is behaving incorrectly
Philipp Koerner
Philipp Koerner
Resolved
Dec 7, 2012
ZMQEXTENSION
-
24
Master should print number of known states / checked states
Philipp Koerner
Sebastian Krings
Resolved
Dec 7, 2012
ZMQEXTENSION
-
23
Collect info about states that are computed twice on the master
Philipp Koerner
Jens Bendisposto
Resolved
Nov 26, 2012
ZMQEXTENSION
-
22
Transfer term instead of filename
Jens Bendisposto
Jens Bendisposto
Resolved
Nov 1, 2012
ZMQEXTENSION
-
21
Java ZMQ-Master: add time profiling
Philipp Koerner
Philipp Koerner
Closed
Oct 4, 2012
ZMQEXTENSION
-
20
Hashmap load-factor handling
Philipp Koerner
Philipp Koerner
Closed
Sep 14, 2012
ZMQEXTENSION
-
19
Add a parameter to set a limit of states to check
Philipp Koerner
Philipp Koerner
Resolved
Sep 13, 2012
ZMQEXTENSION
-
18
Join worker and master into a single extension
Philipp Koerner
Jens Bendisposto
Resolved
Sep 3, 2012
ZMQEXTENSION
-
17
Implement dynamic partitioning / Explore other options
Jens Bendisposto
Jens Bendisposto
Closed
Sep 3, 2012
ZMQEXTENSION
-
16
Use one byte of the hash to distribute
Philipp Koerner
Jens Bendisposto
Resolved
Sep 3, 2012
ZMQEXTENSION
-
15
Send every successor to the master and let master redistribute them
Philipp Koerner
Jens Bendisposto
Resolved
Sep 3, 2012
Give feedback
1-50 of 61
1
2