Issues

Go to advanced search

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