Issues

Search issues


ZMQEXTENSION-81	Rework: implement "max-states"	Philipp Koerner	Philipp Koerner	Sep 24, 2015
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-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-73	Refactor hash function	Philipp Koerner	Philipp Koerner	Apr 23, 2015
ZMQEXTENSION-72	Use more bits per index in hash trie	Philipp Koerner	Philipp Koerner	Apr 23, 2015
ZMQEXTENSION-63	Deploy ZMQ/CZMQ header files with libraries	Philipp Koerner	Philipp Koerner	Nov 14, 2014
ZMQEXTENSION-61	Don't analyze the logs directly after a run	Jens Bendisposto	Jens Bendisposto	Apr 11, 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-57	Store hashes in linear list	Philipp Koerner	Philipp Koerner	Apr 1, 2014
ZMQEXTENSION-54	Double hashing	Philipp Koerner	Philipp Koerner	Apr 1, 2014
ZMQEXTENSION-53	durable modelchecking	Philipp Koerner	Philipp Koerner	Apr 1, 2014
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-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-47	DistB: start standard ProB	Philipp Koerner	Philipp Koerner	May 17, 2013
ZMQEXTENSION-45	Memory leak	Philipp Koerner	Philipp Koerner	Feb 2, 2013
ZMQEXTENSION-44	#(work hard runs) equals #(checked states)	Philipp Koerner	Philipp Koerner	Jan 30, 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
ZMQEXTENSION-41	Try if term ordering improves assertion checking	Jens Bendisposto	Jens Bendisposto	Jan 23, 2013
ZMQEXTENSION-40	Maintain hashes on master only	Philipp Koerner	Philipp Koerner	Jan 22, 2013
ZMQEXTENSION-39	Master queue	Philipp Koerner	Philipp Koerner	Jan 17, 2013
ZMQEXTENSION-38	Incorrect termination	Philipp Koerner	Philipp Koerner	Jan 15, 2013
ZMQEXTENSION-37	Pretty printer for Prolog Terms	Philipp Koerner	Jens Bendisposto	Jan 10, 2013
ZMQEXTENSION-36	Put hashes local	Philipp Koerner	Jens Bendisposto	Jan 7, 2013
ZMQEXTENSION-35	Sometimes we get NULL printed to the output.	Philipp Koerner	Jens Bendisposto	Jan 7, 2013
ZMQEXTENSION-34	Terminate on first error	Philipp Koerner	Jens Bendisposto	Jan 7, 2013
ZMQEXTENSION-33	External Model Checking	Philipp Koerner	Jens Bendisposto	Jan 7, 2013
ZMQEXTENSION-32	Very high sys time consumption	Philipp Koerner	Philipp Koerner	Dec 29, 2012
ZMQEXTENSION-31	Allow different filenames for statistics	Philipp Koerner	Jens Bendisposto	Dec 15, 2012
ZMQEXTENSION-30	Don't store redundant prefix	Philipp Koerner	Philipp Koerner	Dec 14, 2012
ZMQEXTENSION-29	Use linked lists in leafs	Philipp Koerner	Philipp Koerner	Dec 14, 2012
ZMQEXTENSION-28	Introduce leaf-struct	Philipp Koerner	Philipp Koerner	Dec 14, 2012
ZMQEXTENSION-27	Reduce memory usage of hashtrie	Philipp Koerner	Philipp Koerner	Dec 14, 2012
ZMQEXTENSION-26	Accumulate hashes for late joining workers	Philipp Koerner	Philipp Koerner	Dec 7, 2012
ZMQEXTENSION-25	Work balancing is behaving incorrectly	Philipp Koerner	Philipp Koerner	Dec 7, 2012
ZMQEXTENSION-24	Master should print number of known states / checked states	Philipp Koerner	Sebastian Krings	Dec 7, 2012
ZMQEXTENSION-23	Collect info about states that are computed twice on the master	Philipp Koerner	Jens Bendisposto	Nov 26, 2012
ZMQEXTENSION-22	Transfer term instead of filename	Jens Bendisposto	Jens Bendisposto	Nov 1, 2012
ZMQEXTENSION-21	Java ZMQ-Master: add time profiling	Philipp Koerner	Philipp Koerner	Oct 4, 2012
ZMQEXTENSION-20	Hashmap load-factor handling	Philipp Koerner	Philipp Koerner	Sep 14, 2012
ZMQEXTENSION-19	Add a parameter to set a limit of states to check	Philipp Koerner	Philipp Koerner	Sep 13, 2012
ZMQEXTENSION-18	Join worker and master into a single extension	Philipp Koerner	Jens Bendisposto	Sep 3, 2012
ZMQEXTENSION-17	Implement dynamic partitioning / Explore other options	Jens Bendisposto	Jens Bendisposto	Sep 3, 2012
ZMQEXTENSION-16	Use one byte of the hash to distribute	Philipp Koerner	Jens Bendisposto	Sep 3, 2012
ZMQEXTENSION-15	Send every successor to the master and let master redistribute them	Philipp Koerner	Jens Bendisposto	Sep 3, 2012

1-50 of 61

Filters

Issues