Issues

Search issues


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-75	Rework: shared memory	Philipp Koerner	Philipp Koerner	Aug 20, 2015
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-56	externalize hashtrie	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
ZMQEXTENSION-63	Deploy ZMQ/CZMQ header files with libraries	Philipp Koerner	Philipp Koerner	Nov 14, 2014
ZMQEXTENSION-80	Rework: upgrade ZMQ/CZMQ libs	Philipp Koerner	Philipp Koerner	Aug 20, 2015
ZMQEXTENSION-79	Rework: hot joining	Philipp Koerner	Philipp Koerner	Aug 20, 2015
ZMQEXTENSION-81	Rework: implement "max-states"	Philipp Koerner	Philipp Koerner	Sep 24, 2015
ZMQEXTENSION-77	Rework: ease startup	Philipp Koerner	Philipp Koerner	Aug 20, 2015
ZMQEXTENSION-74	Rework: support more than one machine	Philipp Koerner	Philipp Koerner	Aug 20, 2015
ZMQEXTENSION-72	Use more bits per index in hash trie	Philipp Koerner	Philipp Koerner	Apr 23, 2015
ZMQEXTENSION-73	Refactor hash function	Philipp Koerner	Philipp Koerner	Apr 23, 2015
ZMQEXTENSION-61	Don't analyze the logs directly after a run	Jens Bendisposto	Jens Bendisposto	Apr 11, 2014
ZMQEXTENSION-33	External Model Checking	Philipp Koerner	Jens Bendisposto	Jan 7, 2013
ZMQEXTENSION-54	Double hashing	Philipp Koerner	Philipp Koerner	Apr 1, 2014
ZMQEXTENSION-53	durable modelchecking	Philipp Koerner	Philipp Koerner	Apr 1, 2014
ZMQEXTENSION-60	Worker heartbeat	Philipp Koerner	Philipp Koerner	Apr 9, 2014
ZMQEXTENSION-58	Share hashtrie among the processes on the same computer	Philipp Koerner	Philipp Koerner	Apr 1, 2014
ZMQEXTENSION-17	Implement dynamic partitioning / Explore other options	Jens Bendisposto	Jens Bendisposto	Sep 3, 2012
ZMQEXTENSION-57	Store hashes in linear list	Philipp Koerner	Philipp Koerner	Apr 1, 2014
ZMQEXTENSION-13	Aggregate statespace	Philipp Koerner	Jens Bendisposto	Sep 3, 2012
ZMQEXTENSION-4	Explore different ways of distribution	Philipp Koerner	Jens Bendisposto	Aug 27, 2012
ZMQEXTENSION-35	Sometimes we get NULL printed to the output.	Philipp Koerner	Jens Bendisposto	Jan 7, 2013
ZMQEXTENSION-52	Unable to build ZMQ extension on OS X 10.9	MichaelH	Sebastian Krings	Nov 6, 2013
ZMQEXTENSION-51	Update CZMQ (and ZMQ?) to latest version	Philipp Koerner	Philipp Koerner	Jun 12, 2013
ZMQEXTENSION-47	DistB: start standard ProB	Philipp Koerner	Philipp Koerner	May 17, 2013
ZMQEXTENSION-50	DistB: start master via time	Philipp Koerner	Philipp Koerner	May 17, 2013
ZMQEXTENSION-48	DistB: pass on all parameters	Philipp Koerner	Philipp Koerner	May 17, 2013
ZMQEXTENSION-3	Make it run on Windows	Philipp Koerner	Jens Bendisposto	Aug 27, 2012
ZMQEXTENSION-45	Memory leak	Philipp Koerner	Philipp Koerner	Feb 2, 2013
ZMQEXTENSION-41	Try if term ordering improves assertion checking	Jens Bendisposto	Jens Bendisposto	Jan 23, 2013
ZMQEXTENSION-44	#(work hard runs) equals #(checked states)	Philipp Koerner	Philipp Koerner	Jan 30, 2013
ZMQEXTENSION-40	Maintain hashes on master only	Philipp Koerner	Philipp Koerner	Jan 22, 2013
ZMQEXTENSION-43	Statistic file output is incorrect	Philipp Koerner	Philipp Koerner	Jan 25, 2013
ZMQEXTENSION-42	Assertion checking is broken	Philipp Koerner	Jens Bendisposto	Jan 23, 2013

1-50 of 80

Filters

Issues