Issues
- Rework: implement "max-states"ZMQEXTENSION-81Resolved issue: ZMQEXTENSION-81Philipp Koerner
- Rework: upgrade ZMQ/CZMQ libsZMQEXTENSION-80Resolved issue: ZMQEXTENSION-80Philipp Koerner
- Rework: hot joiningZMQEXTENSION-79Resolved issue: ZMQEXTENSION-79Philipp Koerner
- Rework: review balancing algorithmZMQEXTENSION-78Philipp Koerner
- Rework: ease startupZMQEXTENSION-77Resolved issue: ZMQEXTENSION-77Philipp Koerner
- Rework: trie structureZMQEXTENSION-76Philipp Koerner
- Rework: shared memoryZMQEXTENSION-75Philipp Koerner
- Rework: support more than one machineZMQEXTENSION-74Resolved issue: ZMQEXTENSION-74Philipp Koerner
- Refactor hash functionZMQEXTENSION-73Resolved issue: ZMQEXTENSION-73Philipp Koerner
- Use more bits per index in hash trieZMQEXTENSION-72Resolved issue: ZMQEXTENSION-72Philipp Koerner
- Implement proof informationZMQEXTENSION-71Philipp Koerner
- Additional information may break state countingZMQEXTENSION-70Philipp Koerner
- Verification of C algorithmsZMQEXTENSION-69Philipp Koerner
- Improve work balancerZMQEXTENSION-68Philipp Koerner
- Get an entire queue of a workerZMQEXTENSION-67Philipp Koerner
- Lockless hash trieZMQEXTENSION-66Philipp Koerner
- Review file usageZMQEXTENSION-65Philipp Koerner
- Tracer should replay a trace in ProBZMQEXTENSION-64Philipp Koerner
- Deploy ZMQ/CZMQ header files with librariesZMQEXTENSION-63Resolved issue: ZMQEXTENSION-63Philipp Koerner
- Strange runtimes with empty workersZMQEXTENSION-62Philipp Koerner
- Don't analyze the logs directly after a runZMQEXTENSION-61Resolved issue: ZMQEXTENSION-61Jens Bendisposto
- Worker heartbeatZMQEXTENSION-60Resolved issue: ZMQEXTENSION-60Philipp Koerner
- Find trace to an invariant violationZMQEXTENSION-59Philipp Koerner
- Share hashtrie among the processes on the same computerZMQEXTENSION-58Resolved issue: ZMQEXTENSION-58Philipp Koerner
- Store hashes in linear listZMQEXTENSION-57Resolved issue: ZMQEXTENSION-57Philipp Koerner
- externalize hashtrieZMQEXTENSION-56Philipp Koerner
- Use states instead of hashesZMQEXTENSION-55Philipp Koerner
- Double hashingZMQEXTENSION-54Resolved issue: ZMQEXTENSION-54Philipp Koerner
- durable modelcheckingZMQEXTENSION-53Resolved issue: ZMQEXTENSION-53Philipp Koerner
- Unable to build ZMQ extension on OS X 10.9ZMQEXTENSION-52Resolved issue: ZMQEXTENSION-52MichaelH
- Update CZMQ (and ZMQ?) to latest versionZMQEXTENSION-51Resolved issue: ZMQEXTENSION-51Philipp Koerner
- DistB: start master via timeZMQEXTENSION-50Resolved issue: ZMQEXTENSION-50Philipp Koerner
- DistB: file outputZMQEXTENSION-49Philipp Koerner
- DistB: pass on all parametersZMQEXTENSION-48Resolved issue: ZMQEXTENSION-48Philipp Koerner
- DistB: start standard ProBZMQEXTENSION-47Resolved issue: ZMQEXTENSION-47Philipp Koerner
- Memory leakZMQEXTENSION-45Resolved issue: ZMQEXTENSION-45Philipp Koerner
- #(work hard runs) equals #(checked states)ZMQEXTENSION-44Resolved issue: ZMQEXTENSION-44Philipp Koerner
- Statistic file output is incorrectZMQEXTENSION-43Resolved issue: ZMQEXTENSION-43Philipp Koerner
- Assertion checking is brokenZMQEXTENSION-42Resolved issue: ZMQEXTENSION-42Philipp Koerner
- Try if term ordering improves assertion checkingZMQEXTENSION-41Resolved issue: ZMQEXTENSION-41Jens Bendisposto
- Maintain hashes on master onlyZMQEXTENSION-40Resolved issue: ZMQEXTENSION-40Philipp Koerner
- Master queueZMQEXTENSION-39Resolved issue: ZMQEXTENSION-39Philipp Koerner
- Incorrect terminationZMQEXTENSION-38Resolved issue: ZMQEXTENSION-38Philipp Koerner
- Pretty printer for Prolog TermsZMQEXTENSION-37Resolved issue: ZMQEXTENSION-37Philipp Koerner
- Put hashes localZMQEXTENSION-36Resolved issue: ZMQEXTENSION-36Philipp Koerner
- Sometimes we get NULL printed to the output.ZMQEXTENSION-35Resolved issue: ZMQEXTENSION-35Philipp Koerner
- Terminate on first errorZMQEXTENSION-34Resolved issue: ZMQEXTENSION-34Philipp Koerner
- External Model CheckingZMQEXTENSION-33Resolved issue: ZMQEXTENSION-33Philipp Koerner
- Very high sys time consumptionZMQEXTENSION-32Resolved issue: ZMQEXTENSION-32Philipp Koerner
- Allow different filenames for statisticsZMQEXTENSION-31Resolved issue: ZMQEXTENSION-31Philipp Koerner
50 of 80
When a limit of states is supplied and so many states are explored during the model checking process, the run should terminate gracefully.