An implementation of ConfigSet based around an ArrayBuffer.
A tester for linearizabilty.
A log used by a competition tester.
Competition parallel competition of two solvers.
A tester for linearizabilty.
A log to be used by a single thread for a competition tester using an immutable and an undoable datatype.
A trait representing a set of configurations.
A configuration of the testing automaton in the Linear Tester.
A tester for linearizabilty.
Invocation events used in the queue linearization algorithm.
Return events used in the queue linearization algorithm.
Events used for logging operation calls and returns.
A log to be used by several threads.
An abstract class for generic linearizability algorithms.
A log to be used by a single thread.
Events used for logging invocations of operations.
A linearizability tester based on just-in-time linearization, depth-first tree search, and an undoable sequential specification object.
Invocation events used in a linked list.
Trait for linked list nodes.
Return events in a linked list.
A tester for linearizabilty.
An implementation of bit maps, with an efficient check for equality.
A history for the QueueLinTester.
A log used by several threads for a competition tester combining a queue tester and a generic tester.
A tester for linearizabilty.
A log to be used by a single thread for a cometition tester combining a queue tester and a generic tester.
The superclass of all events in the linearization algorithm for queue histories.
A class performing linearizability testing on concurrent queues.
A class performing linearizability testing on concurrent queues.
A log to be used by several threads with a queue-oriented tester.
A log to be used by several threads with a queue-oriented tester, based on timestamping.
A log to be used by a single thread with a queue-oriented tester, based on timestamping.
A log to be used by a single thread with a queue-oriented tester.
Event of a thread returning from an operation with result result.
An implementation of ConfigSet based around a mutable set.
A shared log used by a competition tester.
A log to be used by several threads, based on a shared array.
A log, based on a shared object, used by several threads for a competition tester combining a queue tester and a generic tester.
A log to be used by several threads, with a queue-oriented tester, based on a shared array.
An abstract class for linearizability algorithms.
A wrapper around a state of type S, but allowing equivalence classes to be easily identified.
An object with a timestamp.
A timestamp-based log used by a competition tester.
A log to be used by a single thread for a competition tester using two generic solvers.
A log to be used by several threads, based on timestamping.
A log, based on a timestamping, used by several threads for a competition tester combining a queue tester and a generic tester.
A log to be used by a single thread for a competition tester using a queue-oriented solver and a generic solver.
A log to be used by a single thread, based on timestamping.
Each object of this class records the states of each thread within a configuration
A configuration, with undoing.
A tester for linearizabilty.
A linearization tester.
Types related to thread states.