Issues

Select view

List view

Detail view

Select search mode

Basic

JQL


ZMQEXTENSION-75	Rework: shared memory	Unassigned	Philipp Koerner	Unresolved	Aug 20, 2015	Sep 25, 2015
ZMQEXTENSION-78	Rework: review balancing algorithm	Unassigned	Philipp Koerner	Unresolved	Aug 20, 2015	Aug 20, 2015
ZMQEXTENSION-76	Rework: trie structure	Unassigned	Philipp Koerner	Unresolved	Aug 20, 2015	Aug 20, 2015
ZMQEXTENSION-56	externalize hashtrie	Unassigned	Philipp Koerner	Unresolved	Apr 1, 2014	Mar 18, 2015
ZMQEXTENSION-71	Implement proof information	Unassigned	Philipp Koerner	Unresolved	Mar 18, 2015	Mar 18, 2015
ZMQEXTENSION-70	Additional information may break state counting	Unassigned	Philipp Koerner	Unresolved	Mar 18, 2015	Mar 18, 2015
ZMQEXTENSION-69	Verification of C algorithms	Unassigned	Philipp Koerner	Unresolved	Mar 18, 2015	Mar 18, 2015
ZMQEXTENSION-68	Improve work balancer	Unassigned	Philipp Koerner	Unresolved	Mar 18, 2015	Mar 18, 2015
ZMQEXTENSION-67	Get an entire queue of a worker	Unassigned	Philipp Koerner	Unresolved	Mar 18, 2015	Mar 18, 2015
ZMQEXTENSION-66	Lockless hash trie	Unassigned	Philipp Koerner	Unresolved	Mar 18, 2015	Mar 18, 2015
ZMQEXTENSION-65	Review file usage	Unassigned	Philipp Koerner	Unresolved	Mar 18, 2015	Mar 18, 2015
ZMQEXTENSION-64	Tracer should replay a trace in ProB	Unassigned	Philipp Koerner	Unresolved	Mar 18, 2015	Mar 18, 2015
ZMQEXTENSION-62	Strange runtimes with empty workers	Unassigned	Philipp Koerner	Unresolved	Apr 30, 2014	Apr 30, 2014
ZMQEXTENSION-59	Find trace to an invariant violation	Unassigned	Philipp Koerner	Unresolved	Apr 1, 2014	Apr 1, 2014
ZMQEXTENSION-55	Use states instead of hashes	Unassigned	Philipp Koerner	Unresolved	Apr 1, 2014	Apr 1, 2014
ZMQEXTENSION-49	DistB: file output	Unassigned	Philipp Koerner	Unresolved	May 17, 2013	May 17, 2013
ZMQEXTENSION-12	Check that the state space is the same	Unassigned	Jens Bendisposto	Unresolved	Sep 3, 2012	Feb 14, 2013
ZMQEXTENSION-11	Check if the number of states and transitions are the same	Unassigned	Jens Bendisposto	Unresolved	Sep 3, 2012	Sep 3, 2012
ZMQEXTENSION-10	Build a testing framework	Unassigned	Jens Bendisposto	Unresolved	Sep 3, 2012	Sep 3, 2012

1-19 of 19

ZMQ-Extension

Filters

Issues