Issues

Go to advanced search
Select view

Select search mode

New Feature
Rework: implement "max-states"
Unassigned
Philipp Koerner
Major
Fixed
Sep 24, 2015
Sep 25, 2015
Task
Rework: upgrade ZMQ/CZMQ libs
Unassigned
Philipp Koerner
Major
Fixed
Aug 20, 2015
Oct 14, 2016
New Feature
Rework: hot joining
Unassigned
Philipp Koerner
Major
Fixed
Aug 20, 2015
Sep 25, 2015
Story
Rework: review balancing algorithm
Unassigned
Philipp Koerner
Major
Unresolved
Aug 20, 2015
Aug 20, 2015
Improvement
Rework: ease startup
Unassigned
Philipp Koerner
Major
Fixed
Aug 20, 2015
Sep 24, 2015
Improvement
Rework: trie structure
Unassigned
Philipp Koerner
Major
Unresolved
Aug 20, 2015
Aug 20, 2015
Improvement
Rework: shared memory
Unassigned
Philipp Koerner
Major
Unresolved
Aug 20, 2015
Sep 25, 2015
Bug
Rework: support more than one machine
Unassigned
Philipp Koerner
Major
Fixed
Aug 20, 2015
Sep 22, 2015
Improvement
Refactor hash function
Unassigned
Philipp Koerner
Major
Fixed
Apr 23, 2015
May 11, 2015
Improvement
Use more bits per index in hash trie
Unassigned
Philipp Koerner
Major
Fixed
Apr 23, 2015
Apr 29, 2015
Story
Implement proof information
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Task
Additional information may break state counting
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Story
Verification of C algorithms
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Story
Improve work balancer
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
New Feature
Get an entire queue of a worker
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Story
Lockless hash trie
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Task
Review file usage
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Improvement
Tracer should replay a trace in ProB
Unassigned
Philipp Koerner
Major
Unresolved
Mar 18, 2015
Mar 18, 2015
Task
Deploy ZMQ/CZMQ header files with libraries
Unassigned
Philipp Koerner
Major
Fixed
Nov 14, 2014
Oct 14, 2016
Task
Strange runtimes with empty workers
Unassigned
Philipp Koerner
Major
Unresolved
Apr 30, 2014
Apr 30, 2014
Improvement
Don't analyze the logs directly after a run
Unassigned
Jens Bendisposto
Major
Won't Fix
Apr 11, 2014
Mar 7, 2015
New Feature
Worker heartbeat
Unassigned
Philipp Koerner
Major
Fixed
Apr 9, 2014
Sep 5, 2014
New Feature
Find trace to an invariant violation
Unassigned
Philipp Koerner
Major
Unresolved
Apr 1, 2014
Apr 1, 2014
New Feature
Share hashtrie among the processes on the same computer
Unassigned
Philipp Koerner
Major
Fixed
Apr 1, 2014
Sep 5, 2014
New Feature
Store hashes in linear list
Unassigned
Philipp Koerner
Major
Fixed
Apr 1, 2014
May 22, 2014
New Feature
externalize hashtrie
Unassigned
Philipp Koerner
Major
Unresolved
Apr 1, 2014
Mar 18, 2015
New Feature
Use states instead of hashes
Unassigned
Philipp Koerner
Major
Unresolved
Apr 1, 2014
Apr 1, 2014
New Feature
Double hashing
Unassigned
Philipp Koerner
Major
Fixed
Apr 1, 2014
Oct 21, 2014
New Feature
durable modelchecking
Unassigned
Philipp Koerner
Major
Fixed
Apr 1, 2014
Sep 5, 2014
Bug
Unable to build ZMQ extension on OS X 10.9
Unassigned
Sebastian Krings
Major
Fixed
Nov 6, 2013
Apr 1, 2014
Bug
Update CZMQ (and ZMQ?) to latest version
Unassigned
Philipp Koerner
Blocker
Fixed
Jun 12, 2013
Jun 14, 2013
Task
DistB: start master via time
Unassigned
Philipp Koerner
Major
Fixed
May 17, 2013
Jun 6, 2013
Task
DistB: file output
Unassigned
Philipp Koerner
Major
Unresolved
May 17, 2013
May 17, 2013
Task
DistB: pass on all parameters
Unassigned
Philipp Koerner
Major
Fixed
May 17, 2013
May 24, 2013
Task
DistB: start standard ProB
Unassigned
Philipp Koerner
Major
Fixed
May 17, 2013
Jun 6, 2013
Bug
Memory leak
Unassigned
Philipp Koerner
Critical
Fixed
Feb 2, 2013
Apr 10, 2013
Bug
#(work hard runs) equals #(checked states)
Unassigned
Philipp Koerner
Blocker
Fixed
Jan 30, 2013
Feb 14, 2013
Bug
Statistic file output is incorrect
Unassigned
Philipp Koerner
Critical
Fixed
Jan 25, 2013
Feb 14, 2013
Bug
Assertion checking is broken
Unassigned
Jens Bendisposto
Blocker
Fixed
Jan 23, 2013
Feb 14, 2013
Bug
Try if term ordering improves assertion checking
Unassigned
Jens Bendisposto
Trivial
Won't Fix
Jan 23, 2013
Feb 4, 2013
New Feature
Maintain hashes on master only
Unassigned
Philipp Koerner
Major
Fixed
Jan 22, 2013
Feb 14, 2013
New Feature
Master queue
Unassigned
Philipp Koerner
Major
Fixed
Jan 17, 2013
Jan 22, 2013
Bug
Incorrect termination
Unassigned
Philipp Koerner
Major
Fixed
Jan 15, 2013
Jan 21, 2013
Bug
Pretty printer for Prolog Terms
Unassigned
Jens Bendisposto
Major
Fixed
Jan 10, 2013
Jan 21, 2013
Bug
Put hashes local
Unassigned
Jens Bendisposto
Major
Fixed
Jan 7, 2013
Jan 21, 2013
New Feature
Sometimes we get NULL printed to the output.
Unassigned
Jens Bendisposto
Major
Fixed
Jan 7, 2013
Apr 1, 2014
New Feature
Terminate on first error
Unassigned
Jens Bendisposto
Major
Fixed
Jan 7, 2013
Jan 21, 2013
Bug
External Model Checking
Unassigned
Jens Bendisposto
Major
Fixed
Jan 7, 2013
Oct 21, 2014
Bug
Very high sys time consumption
Unassigned
Philipp Koerner
Major
Fixed
Dec 29, 2012
Jan 21, 2013
Bug
Allow different filenames for statistics
Unassigned
Jens Bendisposto
Trivial
Fixed
Dec 15, 2012
Jan 21, 2013
1-50 of 80