All work

Rework: implement "max-states"

Rework: upgrade ZMQ/CZMQ libs

Rework: hot joining

Rework: review balancing algorithm

Rework: ease startup

Rework: trie structure

Rework: shared memory

Rework: support more than one machine

Refactor hash function

Use more bits per index in hash trie

Implement proof information

Additional information may break state counting

Verification of C algorithms

Improve work balancer

Get an entire queue of a worker

Lockless hash trie

Review file usage

Tracer should replay a trace in ProB

Deploy ZMQ/CZMQ header files with libraries

Strange runtimes with empty workers

Don't analyze the logs directly after a run

Worker heartbeat

Find trace to an invariant violation

Share hashtrie among the processes on the same computer

Store hashes in linear list

externalize hashtrie

Use states instead of hashes

Double hashing

durable modelchecking

Update CZMQ (and ZMQ?) to latest version

DistB: start master via time

DistB: file output

DistB: pass on all parameters

DistB: start standard ProB

Memory leak

#(work hard runs) equals #(checked states)

Statistic file output is incorrect

Assertion checking is broken

Try if term ordering improves assertion checking

Maintain hashes on master only

Master queue

Incorrect termination

Pretty printer for Prolog Terms

Put hashes local

Sometimes we get NULL printed to the output.

Terminate on first error

External Model Checking

Very high sys time consumption

Allow different filenames for statistics