/

Issues

Go to advanced search

Search issues

ZMQEXTENSION-75

Rework: shared memory

Aug 20, 2015

ZMQEXTENSION-78

Rework: review balancing algorithm

Aug 20, 2015

ZMQEXTENSION-76

Rework: trie structure

Aug 20, 2015

ZMQEXTENSION-56

externalize hashtrie

Apr 1, 2014

ZMQEXTENSION-71

Implement proof information

Mar 18, 2015

ZMQEXTENSION-70

Additional information may break state counting

Mar 18, 2015

ZMQEXTENSION-69

Verification of C algorithms

Mar 18, 2015

ZMQEXTENSION-68

Improve work balancer

Mar 18, 2015

ZMQEXTENSION-67

Get an entire queue of a worker

Mar 18, 2015

ZMQEXTENSION-66

Lockless hash trie

Mar 18, 2015

ZMQEXTENSION-65

Review file usage

Mar 18, 2015

ZMQEXTENSION-64

Tracer should replay a trace in ProB

Mar 18, 2015

ZMQEXTENSION-62

Strange runtimes with empty workers

Apr 30, 2014

ZMQEXTENSION-59

Find trace to an invariant violation

Apr 1, 2014

ZMQEXTENSION-55

Use states instead of hashes

Apr 1, 2014

ZMQEXTENSION-49

DistB: file output

May 17, 2013

ZMQEXTENSION-12

Check that the state space is the same

Sep 3, 2012

ZMQEXTENSION-11

Check if the number of states and transitions are the same

Sep 3, 2012

ZMQEXTENSION-10

Build a testing framework

Sep 3, 2012

1-19 of 19