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
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
-
78
Rework: review balancing algorithm
Philipp Koerner
Philipp Koerner
Open
Aug 20, 2015
ZMQEXTENSION
-
77
Rework: ease startup
Philipp Koerner
Philipp Koerner
Resolved
Aug 20, 2015
ZMQEXTENSION
-
76
Rework: trie structure
Philipp Koerner
Philipp Koerner
Open
Aug 20, 2015
ZMQEXTENSION
-
75
Rework: shared memory
Philipp Koerner
Philipp Koerner
Open
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
-
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
-
63
Deploy ZMQ/CZMQ header files with libraries
Philipp Koerner
Philipp Koerner
Resolved
Nov 14, 2014
ZMQEXTENSION
-
62
Strange runtimes with empty workers
Philipp Koerner
Philipp Koerner
Open
Apr 30, 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
-
59
Find trace to an invariant violation
Philipp Koerner
Philipp Koerner
Open
Apr 1, 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
-
56
externalize hashtrie
Philipp Koerner
Philipp Koerner
Open
Apr 1, 2014
ZMQEXTENSION
-
55
Use states instead of hashes
Philipp Koerner
Philipp Koerner
Open
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
-
49
DistB: file output
Philipp Koerner
Philipp Koerner
Open
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
Give feedback
1-50 of 80
1
2
