Issues

Select view

List view

Detail view

Select search mode

Basic

JQL


ZMQEXTENSION-81	Rework: implement "max-states"	Unassigned	Philipp Koerner	Fixed	Sep 24, 2015	Sep 25, 2015
ZMQEXTENSION-80	Rework: upgrade ZMQ/CZMQ libs	Unassigned	Philipp Koerner	Fixed	Aug 20, 2015	Oct 14, 2016
ZMQEXTENSION-79	Rework: hot joining	Unassigned	Philipp Koerner	Fixed	Aug 20, 2015	Sep 25, 2015
ZMQEXTENSION-78	Rework: review balancing algorithm	Unassigned	Philipp Koerner	Unresolved	Aug 20, 2015	Aug 20, 2015
ZMQEXTENSION-77	Rework: ease startup	Unassigned	Philipp Koerner	Fixed	Aug 20, 2015	Sep 24, 2015
ZMQEXTENSION-76	Rework: trie structure	Unassigned	Philipp Koerner	Unresolved	Aug 20, 2015	Aug 20, 2015
ZMQEXTENSION-75	Rework: shared memory	Unassigned	Philipp Koerner	Unresolved	Aug 20, 2015	Sep 25, 2015
ZMQEXTENSION-74	Rework: support more than one machine	Unassigned	Philipp Koerner	Fixed	Aug 20, 2015	Sep 22, 2015
ZMQEXTENSION-73	Refactor hash function	Unassigned	Philipp Koerner	Fixed	Apr 23, 2015	May 11, 2015
ZMQEXTENSION-72	Use more bits per index in hash trie	Unassigned	Philipp Koerner	Fixed	Apr 23, 2015	Apr 29, 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-63	Deploy ZMQ/CZMQ header files with libraries	Unassigned	Philipp Koerner	Fixed	Nov 14, 2014	Oct 14, 2016
ZMQEXTENSION-62	Strange runtimes with empty workers	Unassigned	Philipp Koerner	Unresolved	Apr 30, 2014	Apr 30, 2014
ZMQEXTENSION-61	Don't analyze the logs directly after a run	Unassigned	Jens Bendisposto	Won't Fix	Apr 11, 2014	Mar 7, 2015
ZMQEXTENSION-60	Worker heartbeat	Unassigned	Philipp Koerner	Fixed	Apr 9, 2014	Sep 5, 2014
ZMQEXTENSION-59	Find trace to an invariant violation	Unassigned	Philipp Koerner	Unresolved	Apr 1, 2014	Apr 1, 2014
ZMQEXTENSION-58	Share hashtrie among the processes on the same computer	Unassigned	Philipp Koerner	Fixed	Apr 1, 2014	Sep 5, 2014
ZMQEXTENSION-57	Store hashes in linear list	Unassigned	Philipp Koerner	Fixed	Apr 1, 2014	May 22, 2014
ZMQEXTENSION-56	externalize hashtrie	Unassigned	Philipp Koerner	Unresolved	Apr 1, 2014	Mar 18, 2015
ZMQEXTENSION-55	Use states instead of hashes	Unassigned	Philipp Koerner	Unresolved	Apr 1, 2014	Apr 1, 2014
ZMQEXTENSION-54	Double hashing	Unassigned	Philipp Koerner	Fixed	Apr 1, 2014	Oct 21, 2014
ZMQEXTENSION-53	durable modelchecking	Unassigned	Philipp Koerner	Fixed	Apr 1, 2014	Sep 5, 2014
ZMQEXTENSION-52	Unable to build ZMQ extension on OS X 10.9	Unassigned	Sebastian Krings	Fixed	Nov 6, 2013	Apr 1, 2014
ZMQEXTENSION-51	Update CZMQ (and ZMQ?) to latest version	Unassigned	Philipp Koerner	Fixed	Jun 12, 2013	Jun 14, 2013
ZMQEXTENSION-50	DistB: start master via time	Unassigned	Philipp Koerner	Fixed	May 17, 2013	Jun 6, 2013
ZMQEXTENSION-49	DistB: file output	Unassigned	Philipp Koerner	Unresolved	May 17, 2013	May 17, 2013
ZMQEXTENSION-48	DistB: pass on all parameters	Unassigned	Philipp Koerner	Fixed	May 17, 2013	May 24, 2013
ZMQEXTENSION-47	DistB: start standard ProB	Unassigned	Philipp Koerner	Fixed	May 17, 2013	Jun 6, 2013
ZMQEXTENSION-45	Memory leak	Unassigned	Philipp Koerner	Fixed	Feb 2, 2013	Apr 10, 2013
ZMQEXTENSION-44	#(work hard runs) equals #(checked states)	Unassigned	Philipp Koerner	Fixed	Jan 30, 2013	Feb 14, 2013
ZMQEXTENSION-43	Statistic file output is incorrect	Unassigned	Philipp Koerner	Fixed	Jan 25, 2013	Feb 14, 2013
ZMQEXTENSION-42	Assertion checking is broken	Unassigned	Jens Bendisposto	Fixed	Jan 23, 2013	Feb 14, 2013
ZMQEXTENSION-41	Try if term ordering improves assertion checking	Unassigned	Jens Bendisposto	Won't Fix	Jan 23, 2013	Feb 4, 2013
ZMQEXTENSION-40	Maintain hashes on master only	Unassigned	Philipp Koerner	Fixed	Jan 22, 2013	Feb 14, 2013
ZMQEXTENSION-39	Master queue	Unassigned	Philipp Koerner	Fixed	Jan 17, 2013	Jan 22, 2013
ZMQEXTENSION-38	Incorrect termination	Unassigned	Philipp Koerner	Fixed	Jan 15, 2013	Jan 21, 2013
ZMQEXTENSION-37	Pretty printer for Prolog Terms	Unassigned	Jens Bendisposto	Fixed	Jan 10, 2013	Jan 21, 2013
ZMQEXTENSION-36	Put hashes local	Unassigned	Jens Bendisposto	Fixed	Jan 7, 2013	Jan 21, 2013
ZMQEXTENSION-35	Sometimes we get NULL printed to the output.	Unassigned	Jens Bendisposto	Fixed	Jan 7, 2013	Apr 1, 2014
ZMQEXTENSION-34	Terminate on first error	Unassigned	Jens Bendisposto	Fixed	Jan 7, 2013	Jan 21, 2013
ZMQEXTENSION-33	External Model Checking	Unassigned	Jens Bendisposto	Fixed	Jan 7, 2013	Oct 21, 2014
ZMQEXTENSION-32	Very high sys time consumption	Unassigned	Philipp Koerner	Fixed	Dec 29, 2012	Jan 21, 2013
ZMQEXTENSION-31	Allow different filenames for statistics	Unassigned	Jens Bendisposto	Fixed	Dec 15, 2012	Jan 21, 2013

1-50 of 80