Issues

Search issues


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

1-19 of 19

Filters

Issues