├── .github └── workflows │ └── gradle.yml ├── .gitignore ├── .gitlab-ci.yml ├── .idea ├── .gitignore ├── checkstyle-idea.xml ├── codeStyles │ ├── Project.xml │ └── codeStyleConfig.xml ├── gradle.xml ├── inspectionProfiles │ └── Project_Default.xml ├── kotlinc.xml ├── misc.xml ├── uiDesigner.xml └── vcs.xml ├── LICENSE ├── META-INF └── main.kotlin_module ├── README.md ├── agent ├── build.gradle.kts └── src │ ├── main │ └── java │ │ └── org │ │ └── mpi_sws │ │ └── jmc │ │ └── agent │ │ ├── AgentArgs.java │ │ ├── InstrumentationAgent.java │ │ ├── JmcMatcher.java │ │ ├── PremainInstrumentor.java │ │ └── visitors │ │ ├── JmcAtomicVisitor.java │ │ ├── JmcFutureVisitor.java │ │ ├── JmcIgnoreVisitor.java │ │ ├── JmcReadWriteVisitor.java │ │ ├── JmcReentrantLockVisitor.java │ │ ├── JmcSyncMethodVisitor.java │ │ ├── JmcSyncScanData.java │ │ ├── JmcSyncScanVisitor.java │ │ ├── JmcThreadVisitor.java │ │ ├── LocalVarTrackingMethodVisitor.java │ │ └── VisitorHelper.java │ └── test │ └── java │ └── org │ └── mpi_sws │ └── jmc │ └── agent │ └── test │ └── AgentTestUtil.java ├── config └── checkstyle │ └── checkstyle.xml ├── core ├── build.gradle.kts └── src │ ├── main │ ├── java │ │ └── org │ │ │ └── mpi_sws │ │ │ └── jmc │ │ │ ├── annotations │ │ │ ├── JmcCheck.java │ │ │ ├── JmcCheckConfiguration.java │ │ │ ├── JmcExpectAssertionFailure.java │ │ │ ├── JmcExpectExecutions.java │ │ │ ├── JmcIgnoreInstrumentation.java │ │ │ ├── JmcReplay.java │ │ │ ├── JmcTimeout.java │ │ │ ├── package-info.java │ │ │ └── strategies │ │ │ │ ├── JmcMeasureGraphCoverage.java │ │ │ │ ├── JmcTrustStrategy.java │ │ │ │ └── package-info.java │ │ │ ├── api │ │ │ └── util │ │ │ │ ├── JmcRandom.java │ │ │ │ ├── concurrent │ │ │ │ ├── JmcAtomicBoolean.java │ │ │ │ ├── JmcAtomicInteger.java │ │ │ │ ├── JmcAtomicReference.java │ │ │ │ ├── JmcAtomicReferenceArray.java │ │ │ │ ├── JmcAtomicStampedReference.java │ │ │ │ ├── JmcCompletableFuture.java │ │ │ │ ├── JmcExecutorService.java │ │ │ │ ├── JmcExecutors.java │ │ │ │ ├── JmcFuture.java │ │ │ │ ├── JmcLockSupport.java │ │ │ │ ├── JmcReentrantLock.java │ │ │ │ ├── JmcThread.java │ │ │ │ ├── JmcThreadFactory.java │ │ │ │ ├── JmcThreadPoolExecutor.java │ │ │ │ └── package-info.java │ │ │ │ ├── package-info.java │ │ │ │ └── statements │ │ │ │ ├── JmcAssume.java │ │ │ │ └── package-info.java │ │ │ ├── checker │ │ │ ├── JmcCheckerConfiguration.java │ │ │ ├── JmcFunctionalTestTarget.java │ │ │ ├── JmcModelChecker.java │ │ │ ├── JmcModelCheckerReport.java │ │ │ ├── JmcTestTarget.java │ │ │ ├── exceptions │ │ │ │ ├── JmcCheckerException.java │ │ │ │ ├── JmcCheckerTimeoutException.java │ │ │ │ ├── JmcInvalidConfigurationException.java │ │ │ │ └── package-info.java │ │ │ └── package-info.java │ │ │ ├── integrations │ │ │ └── junit5 │ │ │ │ ├── descriptors │ │ │ │ ├── JmcClassTestDescriptor.java │ │ │ │ ├── JmcDescriptorUtil.java │ │ │ │ ├── JmcEngineDescriptor.java │ │ │ │ ├── JmcExecutableTestDescriptor.java │ │ │ │ ├── JmcMethodTestDescriptor.java │ │ │ │ └── package-info.java │ │ │ │ ├── engine │ │ │ │ ├── JmcTestEngine.java │ │ │ │ ├── JmcTestExecutor.java │ │ │ │ └── package-info.java │ │ │ │ └── package-info.java │ │ │ ├── package-info.java │ │ │ ├── runtime │ │ │ ├── HaltCheckerException.java │ │ │ ├── HaltExecutionException.java │ │ │ ├── HaltTaskException.java │ │ │ ├── JmcRuntime.java │ │ │ ├── JmcRuntimeConfiguration.java │ │ │ ├── JmcRuntimeEvent.java │ │ │ ├── JmcRuntimeUtils.java │ │ │ ├── TaskAlreadyPaused.java │ │ │ ├── TaskManager.java │ │ │ ├── TaskNotExists.java │ │ │ ├── package-info.java │ │ │ └── scheduling │ │ │ │ ├── PrimitiveValue.java │ │ │ │ ├── PrimitiveValueAdapter.java │ │ │ │ ├── Scheduler.java │ │ │ │ ├── SchedulingChoice.java │ │ │ │ ├── SchedulingChoiceValue.java │ │ │ │ ├── SchedulingChoiceValueAdapter.java │ │ │ │ ├── SchedulingChoiceValueFactory.java │ │ │ │ └── package-info.java │ │ │ ├── strategies │ │ │ ├── JmcInvalidStrategyException.java │ │ │ ├── JmcReplayUnsupported.java │ │ │ ├── RandomSchedulingStrategy.java │ │ │ ├── ReplayableSchedulingStrategy.java │ │ │ ├── SchedulingStrategy.java │ │ │ ├── SchedulingStrategyConfiguration.java │ │ │ ├── SchedulingStrategyFactory.java │ │ │ ├── TrackActiveTasksStrategy.java │ │ │ ├── package-info.java │ │ │ └── trust │ │ │ │ ├── Algo.java │ │ │ │ ├── BackwardRevisitView.java │ │ │ │ ├── CoverageGraph.java │ │ │ │ ├── Event.java │ │ │ │ ├── EventFactory.java │ │ │ │ ├── EventUtils.java │ │ │ │ ├── ExecutionGraph.java │ │ │ │ ├── ExecutionGraphNode.java │ │ │ │ ├── ExecutionGraphSimulator.java │ │ │ │ ├── ExplorationStack.java │ │ │ │ ├── Location.java │ │ │ │ ├── LocationStore.java │ │ │ │ ├── MeasureGraphCoverageStrategy.java │ │ │ │ ├── MeasureGraphCoverageStrategyConfig.java │ │ │ │ ├── NoSuchEventException.java │ │ │ │ ├── Relation.java │ │ │ │ ├── SchedulingChoiceWrapper.java │ │ │ │ ├── TrustStrategy.java │ │ │ │ └── package-info.java │ │ │ └── util │ │ │ ├── ExceptionUtil.java │ │ │ ├── FileUtil.java │ │ │ ├── LamportVectorClock.java │ │ │ ├── PartialOrder.java │ │ │ ├── StringUtil.java │ │ │ ├── TotalOrder.java │ │ │ └── package-info.java │ └── resources │ │ ├── META-INF │ │ └── services │ │ │ └── org.junit.platform.engine.TestEngine │ │ └── log4j2.xml │ └── test │ ├── java │ └── org │ │ └── mpi_sws │ │ └── jmc │ │ ├── checker │ │ ├── JmcBlockingTest.java │ │ ├── JmcConfigurationTest.java │ │ └── JmcExampleTest.java │ │ └── programs │ │ ├── atomic │ │ └── counter │ │ │ ├── AdderThread.java │ │ │ └── AtomicCounter.java │ │ ├── complex │ │ └── counter │ │ │ ├── ComplexCounter.java │ │ │ ├── Counter.java │ │ │ ├── CounterThread.java │ │ │ └── Dummy.java │ │ ├── concrete │ │ └── gcd │ │ │ ├── DecrementorA.java │ │ │ ├── DecrementorB.java │ │ │ ├── Numbers.java │ │ │ └── ParallelGCD.java │ │ ├── concurrent │ │ ├── CC0.java │ │ ├── CC1.java │ │ ├── CC2.java │ │ ├── CC3.java │ │ ├── CC4.java │ │ ├── CC5.java │ │ └── CC7.java │ │ ├── correct │ │ └── counter │ │ │ ├── CorrectCounter.java │ │ │ ├── CorrectCounter.kt │ │ │ ├── Counter.java │ │ │ └── UnInstrumentedCounter.java │ │ ├── det │ │ ├── array │ │ │ ├── Array.java │ │ │ ├── DetArray.java │ │ │ └── SetterThread.java │ │ ├── lists │ │ │ ├── Client1.java │ │ │ ├── Client10.java │ │ │ ├── Client2.java │ │ │ ├── Client3.java │ │ │ ├── Client4.java │ │ │ ├── Client5.java │ │ │ ├── Client6.java │ │ │ ├── Client7.java │ │ │ ├── Client8.java │ │ │ ├── Client9.java │ │ │ ├── DeletionThread.java │ │ │ ├── InsertionThread.java │ │ │ └── list │ │ │ │ ├── Set.java │ │ │ │ ├── coarse │ │ │ │ └── CoarseList.java │ │ │ │ ├── fine │ │ │ │ └── FineList.java │ │ │ │ ├── lazy │ │ │ │ └── LazyList.java │ │ │ │ ├── node │ │ │ │ ├── FNode.java │ │ │ │ ├── LNode.java │ │ │ │ └── Node.java │ │ │ │ └── optimistic │ │ │ │ └── OptimisticList.java │ │ ├── loop │ │ │ ├── AssertThread.java │ │ │ ├── DetLoop.java │ │ │ ├── IncThread.java │ │ │ └── Numbers.java │ │ ├── loopVariant │ │ │ ├── AssertThread.java │ │ │ ├── DetLoopWithLock.java │ │ │ ├── IncThread.java │ │ │ └── Numbers.java │ │ └── stack │ │ │ ├── Backoff.java │ │ │ ├── Client1.java │ │ │ ├── Client2.java │ │ │ ├── Client3.java │ │ │ ├── Client4.java │ │ │ ├── Client5.java │ │ │ ├── Client6.java │ │ │ ├── DeletionThread.java │ │ │ ├── InsertionThread.java │ │ │ ├── Stack.java │ │ │ └── lockFree │ │ │ ├── LockFreeStack.java │ │ │ ├── Node.java │ │ │ ├── elimination │ │ │ ├── EliminationArray.java │ │ │ ├── EliminationBackoffStack.java │ │ │ └── LockFreeExchanger.java │ │ │ └── timeStamped │ │ │ ├── PopperThread.java │ │ │ ├── PusherThread.java │ │ │ ├── Result.java │ │ │ ├── SPPool.java │ │ │ ├── TNode.java │ │ │ ├── TSCAS.java │ │ │ ├── TSStack.java │ │ │ └── TimeStamp.java │ │ ├── dining │ │ ├── DiningPhilosophers.java │ │ ├── DiningPhilosophers.txt │ │ ├── Philosopher.java │ │ └── Philosopher.txt │ │ ├── futures │ │ ├── CompletableFutureP.java │ │ └── SimpleFuture.java │ │ ├── inconsistent │ │ └── counter │ │ │ ├── Counter.java │ │ │ └── InconsistentCounter.java │ │ ├── message │ │ └── counter │ │ │ ├── AdderThread.java │ │ │ ├── Counter.java │ │ │ └── MessageCounter.java │ │ ├── mockKafka │ │ ├── ConsumerRecords.java │ │ ├── Producer.java │ │ ├── ProducerRecord.java │ │ ├── ShareConsumer.java │ │ └── ShareConsumerTest.java │ │ ├── mutex │ │ ├── Counter.java │ │ ├── Lock.java │ │ ├── LockOne.java │ │ ├── MainMutex.java │ │ └── common │ │ │ └── LocalThread.java │ │ ├── nondet │ │ ├── array │ │ │ ├── Array.java │ │ │ ├── NondetArray.java │ │ │ └── SetterThread.java │ │ ├── lists │ │ │ ├── Client1.java │ │ │ ├── Client2.java │ │ │ ├── Client3.java │ │ │ ├── Client4.java │ │ │ ├── Client5.java │ │ │ ├── Client6.java │ │ │ ├── Client7.java │ │ │ ├── Client8.java │ │ │ ├── DeletionThread.java │ │ │ ├── InsertionThread.java │ │ │ └── list │ │ │ │ ├── Element.java │ │ │ │ ├── Set.java │ │ │ │ ├── coarse │ │ │ │ └── CoarseList.java │ │ │ │ ├── fine │ │ │ │ └── FineList.java │ │ │ │ ├── lazy │ │ │ │ └── LazyList.java │ │ │ │ ├── node │ │ │ │ ├── FNode.java │ │ │ │ ├── LNode.java │ │ │ │ └── Node.java │ │ │ │ └── optimistic │ │ │ │ └── OptimisticList.java │ │ ├── loop │ │ │ ├── AssertThread.java │ │ │ ├── IncThread.java │ │ │ ├── NondetLoop.java │ │ │ └── Numbers.java │ │ ├── loopVariant │ │ │ ├── AssertThread.java │ │ │ ├── IncThread.java │ │ │ ├── NondetLoop.java │ │ │ └── Numbers.java │ │ └── stack │ │ │ ├── Backoff.java │ │ │ ├── Client1.java │ │ │ ├── Client2.java │ │ │ ├── Client3.java │ │ │ ├── Client4.java │ │ │ ├── Client5.java │ │ │ ├── Client6.java │ │ │ ├── DeletionThread.java │ │ │ ├── InsertionThread.java │ │ │ ├── Stack.java │ │ │ └── lockFree │ │ │ ├── LockFreeStack.java │ │ │ ├── Node.java │ │ │ ├── elimination │ │ │ ├── EliminationArray.java │ │ │ ├── EliminationBackoffStack.java │ │ │ ├── LockFreeExchanger.java │ │ │ └── RangePolicy.java │ │ │ └── timeStamped │ │ │ ├── PoperThread.java │ │ │ ├── PusherThread.java │ │ │ ├── Result.java │ │ │ ├── SPPool.java │ │ │ ├── TNode.java │ │ │ └── TSStack.java │ │ ├── parking │ │ └── counter │ │ │ ├── Counter.java │ │ │ └── ParkingCounter.java │ │ ├── pool │ │ └── counter │ │ │ ├── Counter.java │ │ │ └── PoolCounter.java │ │ ├── random │ │ └── counter │ │ │ ├── Counter.java │ │ │ ├── RandomCounter.java │ │ │ └── RandomCounterIncr.java │ │ ├── shared │ │ └── counter │ │ │ ├── Counter.java │ │ │ └── StaticCounter.java │ │ ├── simple │ │ ├── counter │ │ │ ├── Counter.java │ │ │ ├── Counter.txt │ │ │ ├── HelpingThread.java │ │ │ ├── HelpingThread.txt │ │ │ ├── SimpleCounter.java │ │ │ └── SimpleCounter.txt │ │ └── message │ │ │ ├── ReceiverThread.java │ │ │ ├── ReceiverThread.txt │ │ │ ├── SenderThread.java │ │ │ ├── SenderThread.txt │ │ │ ├── SimpleMessage.java │ │ │ └── SimpleMessage.txt │ │ ├── symbolic │ │ ├── counter │ │ │ ├── Counter.java │ │ │ └── SymbolicCounter.java │ │ └── gcd │ │ │ ├── Decrementor.java │ │ │ └── ParallelGCD.java │ │ ├── sync │ │ ├── counter │ │ │ ├── Counter.java │ │ │ └── SyncCounter.java │ │ └── message │ │ │ ├── ReceiverThread.java │ │ │ ├── SenderThread.java │ │ │ └── SyncMessage.java │ │ ├── tagged │ │ └── message │ │ │ ├── ReceiverThread.java │ │ │ ├── SenderThread.java │ │ │ └── TaggedMessage.java │ │ ├── thread_dependency │ │ └── MultipleThreads.java │ │ ├── twophasecommit │ │ ├── Coordinator.java │ │ ├── CoordinatorParallel.java │ │ ├── Mailbox.java │ │ ├── Message.java │ │ ├── Participant.java │ │ └── TwoPhaseCommit.java │ │ └── wrong │ │ └── counter │ │ ├── BuggyCounter.java │ │ └── Counter.java │ └── resources │ └── log4j2-test.xml ├── docs ├── Configuration API.md ├── Gradle Example Project Setup.md └── User guide.md ├── examples └── counter │ ├── BuggyCounterUsingAPI.java │ └── ExampleCounterTest.java ├── gradle-plugin ├── build.gradle.kts └── src │ └── main │ └── kotlin │ └── org │ └── mpi_sws │ └── jmc │ └── gradle │ └── JmcPlugin.kt ├── gradle └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── integration-test ├── build.gradle.kts └── src │ ├── main │ ├── java │ │ └── org │ │ │ └── mpi_sws │ │ │ └── jmc │ │ │ └── test │ │ │ ├── Counter.java │ │ │ ├── CounterThread.java │ │ │ ├── ParametricCounter.java │ │ │ ├── atomic │ │ │ └── counter │ │ │ │ └── Adder.java │ │ │ ├── bigShot │ │ │ ├── Str.java │ │ │ ├── T1.java │ │ │ └── T2.java │ │ │ ├── concrete │ │ │ └── gcd │ │ │ │ ├── DecrementorA.java │ │ │ │ ├── DecrementorB.java │ │ │ │ └── Numbers.java │ │ │ ├── det │ │ │ ├── array │ │ │ │ ├── Array.java │ │ │ │ └── SetterThread.java │ │ │ ├── counter │ │ │ │ ├── CCounter.java │ │ │ │ ├── Counter.java │ │ │ │ ├── DecThread.java │ │ │ │ ├── FCounter.java │ │ │ │ └── IncThread.java │ │ │ ├── list │ │ │ │ ├── DeletionThread.java │ │ │ │ ├── InsertionThread.java │ │ │ │ ├── Set.java │ │ │ │ ├── coarse │ │ │ │ │ └── CoarseList.java │ │ │ │ ├── fine │ │ │ │ │ └── FineList.java │ │ │ │ └── node │ │ │ │ │ ├── FNode.java │ │ │ │ │ ├── LNode.java │ │ │ │ │ └── Node.java │ │ │ └── stack │ │ │ │ ├── Backoff.java │ │ │ │ ├── DeletionThread.java │ │ │ │ ├── InsertionThread.java │ │ │ │ ├── Stack.java │ │ │ │ └── lockFree │ │ │ │ ├── LockFreeStack.java │ │ │ │ ├── Node.java │ │ │ │ ├── elimination │ │ │ │ ├── EliminationArray.java │ │ │ │ ├── EliminationBackoffStack.java │ │ │ │ └── LockFreeExchanger.java │ │ │ │ └── timeStamped │ │ │ │ ├── PopperThread.java │ │ │ │ ├── PusherThread.java │ │ │ │ ├── Result.java │ │ │ │ ├── SPPool.java │ │ │ │ ├── TNode.java │ │ │ │ ├── TSCAS.java │ │ │ │ ├── TSStack.java │ │ │ │ └── TimeStamp.java │ │ │ ├── sendRecv │ │ │ ├── Buffer.java │ │ │ ├── Receiver.java │ │ │ └── Sender.java │ │ │ ├── strategies │ │ │ └── WeightedRandomStrategy.java │ │ │ ├── structural │ │ │ └── Counter.java │ │ │ └── sync │ │ │ ├── SynchronizedBlockCounter.java │ │ │ ├── SynchronizedCounter.java │ │ │ ├── SynchronizedCounterThread.java │ │ │ └── SynchronizedMethodCounter.java │ └── resources │ │ └── log4j2-test.xml │ └── test │ ├── java │ └── org │ │ └── mpi_sws │ │ └── jmc │ │ └── test │ │ ├── AgentIntegrationTest.java │ │ ├── CounterTest.java │ │ ├── StructuralTest.java │ │ ├── features │ │ └── ExpectFailureTest.java │ │ └── programs │ │ ├── ArrayTest.java │ │ ├── AtomicCounterTest.java │ │ ├── BigShotTest.java │ │ ├── CounterTest.java │ │ ├── FutureCounter.java │ │ ├── FutureCounterTestRunner.java │ │ ├── GcdTest.java │ │ ├── OrderedListTest.java │ │ ├── SendRecvTest.java │ │ ├── StackTest.java │ │ └── SynchronizedCounterTest.java │ └── resources │ ├── META-INF │ └── services │ │ └── org.junit.platform.engine.TestEngine │ └── log4j2-test.xml ├── scripts ├── analysis_scripts │ ├── comparison.ipynb │ └── find_similar_graphs.py ├── graph_visualizer │ ├── requirements.txt │ ├── template │ │ ├── index.css │ │ ├── index.html │ │ └── index.js │ └── web_server.py ├── jsondiff.sh ├── publish.sh ├── textdiff.sh └── visualize_graphs.sh └── settings.gradle.kts /.github/workflows/gradle.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/.github/workflows/gradle.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /.idea/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/.idea/.gitignore -------------------------------------------------------------------------------- /.idea/checkstyle-idea.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/.idea/checkstyle-idea.xml -------------------------------------------------------------------------------- /.idea/codeStyles/Project.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/.idea/codeStyles/Project.xml -------------------------------------------------------------------------------- /.idea/codeStyles/codeStyleConfig.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/.idea/codeStyles/codeStyleConfig.xml -------------------------------------------------------------------------------- /.idea/gradle.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/.idea/gradle.xml -------------------------------------------------------------------------------- /.idea/inspectionProfiles/Project_Default.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/.idea/inspectionProfiles/Project_Default.xml -------------------------------------------------------------------------------- /.idea/kotlinc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/.idea/kotlinc.xml -------------------------------------------------------------------------------- /.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/.idea/misc.xml -------------------------------------------------------------------------------- /.idea/uiDesigner.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/.idea/uiDesigner.xml -------------------------------------------------------------------------------- /.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/.idea/vcs.xml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/LICENSE -------------------------------------------------------------------------------- /META-INF/main.kotlin_module: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/META-INF/main.kotlin_module -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/README.md -------------------------------------------------------------------------------- /agent/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/build.gradle.kts -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/AgentArgs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/AgentArgs.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/InstrumentationAgent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/InstrumentationAgent.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/JmcMatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/JmcMatcher.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/PremainInstrumentor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/PremainInstrumentor.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcAtomicVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcAtomicVisitor.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcFutureVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcFutureVisitor.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcIgnoreVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcIgnoreVisitor.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcReadWriteVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcReadWriteVisitor.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcReentrantLockVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcReentrantLockVisitor.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcSyncMethodVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcSyncMethodVisitor.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcSyncScanData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcSyncScanData.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcSyncScanVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcSyncScanVisitor.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcThreadVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/visitors/JmcThreadVisitor.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/visitors/LocalVarTrackingMethodVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/visitors/LocalVarTrackingMethodVisitor.java -------------------------------------------------------------------------------- /agent/src/main/java/org/mpi_sws/jmc/agent/visitors/VisitorHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/main/java/org/mpi_sws/jmc/agent/visitors/VisitorHelper.java -------------------------------------------------------------------------------- /agent/src/test/java/org/mpi_sws/jmc/agent/test/AgentTestUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/agent/src/test/java/org/mpi_sws/jmc/agent/test/AgentTestUtil.java -------------------------------------------------------------------------------- /config/checkstyle/checkstyle.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/config/checkstyle/checkstyle.xml -------------------------------------------------------------------------------- /core/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/build.gradle.kts -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/annotations/JmcCheck.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/annotations/JmcCheck.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/annotations/JmcCheckConfiguration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/annotations/JmcCheckConfiguration.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/annotations/JmcExpectAssertionFailure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/annotations/JmcExpectAssertionFailure.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/annotations/JmcExpectExecutions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/annotations/JmcExpectExecutions.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/annotations/JmcIgnoreInstrumentation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/annotations/JmcIgnoreInstrumentation.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/annotations/JmcReplay.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/annotations/JmcReplay.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/annotations/JmcTimeout.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/annotations/JmcTimeout.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/annotations/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/annotations/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/annotations/strategies/JmcMeasureGraphCoverage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/annotations/strategies/JmcMeasureGraphCoverage.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/annotations/strategies/JmcTrustStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/annotations/strategies/JmcTrustStrategy.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/annotations/strategies/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/annotations/strategies/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/JmcRandom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/JmcRandom.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcAtomicBoolean.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcAtomicBoolean.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcAtomicInteger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcAtomicInteger.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcAtomicReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcAtomicReference.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcAtomicReferenceArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcAtomicReferenceArray.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcAtomicStampedReference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcAtomicStampedReference.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcCompletableFuture.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcCompletableFuture.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcExecutorService.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcExecutorService.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcExecutors.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcExecutors.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcFuture.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcFuture.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcLockSupport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcLockSupport.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcReentrantLock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcReentrantLock.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcThread.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcThreadFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcThreadFactory.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcThreadPoolExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/JmcThreadPoolExecutor.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/concurrent/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/statements/JmcAssume.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/statements/JmcAssume.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/api/util/statements/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/api/util/statements/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/checker/JmcCheckerConfiguration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/checker/JmcCheckerConfiguration.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/checker/JmcFunctionalTestTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/checker/JmcFunctionalTestTarget.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/checker/JmcModelChecker.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/checker/JmcModelChecker.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/checker/JmcModelCheckerReport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/checker/JmcModelCheckerReport.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/checker/JmcTestTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/checker/JmcTestTarget.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/checker/exceptions/JmcCheckerException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/checker/exceptions/JmcCheckerException.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/checker/exceptions/JmcCheckerTimeoutException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/checker/exceptions/JmcCheckerTimeoutException.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/checker/exceptions/JmcInvalidConfigurationException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/checker/exceptions/JmcInvalidConfigurationException.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/checker/exceptions/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/checker/exceptions/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/checker/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/checker/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/integrations/junit5/descriptors/JmcClassTestDescriptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/integrations/junit5/descriptors/JmcClassTestDescriptor.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/integrations/junit5/descriptors/JmcDescriptorUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/integrations/junit5/descriptors/JmcDescriptorUtil.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/integrations/junit5/descriptors/JmcEngineDescriptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/integrations/junit5/descriptors/JmcEngineDescriptor.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/integrations/junit5/descriptors/JmcExecutableTestDescriptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/integrations/junit5/descriptors/JmcExecutableTestDescriptor.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/integrations/junit5/descriptors/JmcMethodTestDescriptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/integrations/junit5/descriptors/JmcMethodTestDescriptor.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/integrations/junit5/descriptors/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/integrations/junit5/descriptors/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/integrations/junit5/engine/JmcTestEngine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/integrations/junit5/engine/JmcTestEngine.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/integrations/junit5/engine/JmcTestExecutor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/integrations/junit5/engine/JmcTestExecutor.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/integrations/junit5/engine/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/integrations/junit5/engine/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/integrations/junit5/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/integrations/junit5/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/HaltCheckerException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/HaltCheckerException.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/HaltExecutionException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/HaltExecutionException.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/HaltTaskException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/HaltTaskException.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/JmcRuntime.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/JmcRuntime.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/JmcRuntimeConfiguration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/JmcRuntimeConfiguration.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/JmcRuntimeEvent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/JmcRuntimeEvent.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/JmcRuntimeUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/JmcRuntimeUtils.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/TaskAlreadyPaused.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/TaskAlreadyPaused.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/TaskManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/TaskManager.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/TaskNotExists.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/TaskNotExists.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/PrimitiveValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/PrimitiveValue.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/PrimitiveValueAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/PrimitiveValueAdapter.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/Scheduler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/Scheduler.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/SchedulingChoice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/SchedulingChoice.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/SchedulingChoiceValue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/SchedulingChoiceValue.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/SchedulingChoiceValueAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/SchedulingChoiceValueAdapter.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/SchedulingChoiceValueFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/SchedulingChoiceValueFactory.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/runtime/scheduling/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/JmcInvalidStrategyException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/JmcInvalidStrategyException.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/JmcReplayUnsupported.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/JmcReplayUnsupported.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/RandomSchedulingStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/RandomSchedulingStrategy.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/ReplayableSchedulingStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/ReplayableSchedulingStrategy.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/SchedulingStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/SchedulingStrategy.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/SchedulingStrategyConfiguration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/SchedulingStrategyConfiguration.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/SchedulingStrategyFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/SchedulingStrategyFactory.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/TrackActiveTasksStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/TrackActiveTasksStrategy.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/Algo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/Algo.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/BackwardRevisitView.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/BackwardRevisitView.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/CoverageGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/CoverageGraph.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/Event.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/Event.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/EventFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/EventFactory.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/EventUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/EventUtils.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/ExecutionGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/ExecutionGraph.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/ExecutionGraphNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/ExecutionGraphNode.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/ExecutionGraphSimulator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/ExecutionGraphSimulator.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/ExplorationStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/ExplorationStack.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/Location.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/Location.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/LocationStore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/LocationStore.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/MeasureGraphCoverageStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/MeasureGraphCoverageStrategy.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/MeasureGraphCoverageStrategyConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/MeasureGraphCoverageStrategyConfig.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/NoSuchEventException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/NoSuchEventException.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/Relation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/Relation.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/SchedulingChoiceWrapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/SchedulingChoiceWrapper.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/TrustStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/TrustStrategy.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/strategies/trust/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/strategies/trust/package-info.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/util/ExceptionUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/util/ExceptionUtil.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/util/FileUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/util/FileUtil.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/util/LamportVectorClock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/util/LamportVectorClock.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/util/PartialOrder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/util/PartialOrder.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/util/StringUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/util/StringUtil.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/util/TotalOrder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/util/TotalOrder.java -------------------------------------------------------------------------------- /core/src/main/java/org/mpi_sws/jmc/util/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/java/org/mpi_sws/jmc/util/package-info.java -------------------------------------------------------------------------------- /core/src/main/resources/META-INF/services/org.junit.platform.engine.TestEngine: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/resources/META-INF/services/org.junit.platform.engine.TestEngine -------------------------------------------------------------------------------- /core/src/main/resources/log4j2.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/main/resources/log4j2.xml -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/checker/JmcBlockingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/checker/JmcBlockingTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/checker/JmcConfigurationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/checker/JmcConfigurationTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/checker/JmcExampleTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/checker/JmcExampleTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/atomic/counter/AdderThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/atomic/counter/AdderThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/atomic/counter/AtomicCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/atomic/counter/AtomicCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/complex/counter/ComplexCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/complex/counter/ComplexCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/complex/counter/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/complex/counter/Counter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/complex/counter/CounterThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/complex/counter/CounterThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/complex/counter/Dummy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/complex/counter/Dummy.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/concrete/gcd/DecrementorA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/concrete/gcd/DecrementorA.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/concrete/gcd/DecrementorB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/concrete/gcd/DecrementorB.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/concrete/gcd/Numbers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/concrete/gcd/Numbers.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/concrete/gcd/ParallelGCD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/concrete/gcd/ParallelGCD.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC0.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC0.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC1.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC2.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC3.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC4.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC5.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC7.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/concurrent/CC7.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/correct/counter/CorrectCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/correct/counter/CorrectCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/correct/counter/CorrectCounter.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/correct/counter/CorrectCounter.kt -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/correct/counter/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/correct/counter/Counter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/correct/counter/UnInstrumentedCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/correct/counter/UnInstrumentedCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/array/Array.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/array/Array.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/array/DetArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/array/DetArray.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/array/SetterThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/array/SetterThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client1.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client10.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client10.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client2.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client3.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client4.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client5.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client6.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client6.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client7.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client7.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client8.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client8.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client9.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/Client9.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/DeletionThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/DeletionThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/InsertionThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/InsertionThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/Set.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/Set.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/coarse/CoarseList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/coarse/CoarseList.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/fine/FineList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/fine/FineList.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/lazy/LazyList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/lazy/LazyList.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/node/FNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/node/FNode.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/node/LNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/node/LNode.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/node/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/node/Node.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/optimistic/OptimisticList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/lists/list/optimistic/OptimisticList.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/loop/AssertThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/loop/AssertThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/loop/DetLoop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/loop/DetLoop.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/loop/IncThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/loop/IncThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/loop/Numbers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/loop/Numbers.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/loopVariant/AssertThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/loopVariant/AssertThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/loopVariant/DetLoopWithLock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/loopVariant/DetLoopWithLock.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/loopVariant/IncThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/loopVariant/IncThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/loopVariant/Numbers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/loopVariant/Numbers.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Backoff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Backoff.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Client1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Client1.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Client2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Client2.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Client3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Client3.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Client4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Client4.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Client5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Client5.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Client6.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Client6.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/DeletionThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/DeletionThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/InsertionThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/InsertionThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Stack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/Stack.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/LockFreeStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/LockFreeStack.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/Node.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/elimination/EliminationArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/elimination/EliminationArray.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/elimination/EliminationBackoffStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/elimination/EliminationBackoffStack.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/elimination/LockFreeExchanger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/elimination/LockFreeExchanger.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/PopperThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/PopperThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/PusherThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/PusherThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/Result.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/Result.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/SPPool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/SPPool.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/TNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/TNode.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/TSCAS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/TSCAS.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/TSStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/TSStack.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/TimeStamp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/det/stack/lockFree/timeStamped/TimeStamp.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/dining/DiningPhilosophers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/dining/DiningPhilosophers.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/dining/DiningPhilosophers.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/dining/DiningPhilosophers.txt -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/dining/Philosopher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/dining/Philosopher.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/dining/Philosopher.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/dining/Philosopher.txt -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/futures/CompletableFutureP.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/futures/CompletableFutureP.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/futures/SimpleFuture.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/futures/SimpleFuture.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/inconsistent/counter/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/inconsistent/counter/Counter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/inconsistent/counter/InconsistentCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/inconsistent/counter/InconsistentCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/message/counter/AdderThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/message/counter/AdderThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/message/counter/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/message/counter/Counter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/message/counter/MessageCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/message/counter/MessageCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/mockKafka/ConsumerRecords.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/mockKafka/ConsumerRecords.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/mockKafka/Producer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/mockKafka/Producer.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/mockKafka/ProducerRecord.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/mockKafka/ProducerRecord.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/mockKafka/ShareConsumer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/mockKafka/ShareConsumer.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/mockKafka/ShareConsumerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/mockKafka/ShareConsumerTest.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/mutex/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/mutex/Counter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/mutex/Lock.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/mutex/Lock.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/mutex/LockOne.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/mutex/LockOne.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/mutex/MainMutex.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/mutex/MainMutex.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/mutex/common/LocalThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/mutex/common/LocalThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/array/Array.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/array/Array.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/array/NondetArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/array/NondetArray.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/array/SetterThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/array/SetterThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client1.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client2.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client3.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client4.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client5.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client6.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client6.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client7.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client7.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client8.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/Client8.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/DeletionThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/DeletionThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/InsertionThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/InsertionThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/Element.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/Element.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/Set.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/Set.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/coarse/CoarseList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/coarse/CoarseList.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/fine/FineList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/fine/FineList.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/lazy/LazyList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/lazy/LazyList.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/node/FNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/node/FNode.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/node/LNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/node/LNode.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/node/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/node/Node.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/optimistic/OptimisticList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/lists/list/optimistic/OptimisticList.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/loop/AssertThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/loop/AssertThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/loop/IncThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/loop/IncThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/loop/NondetLoop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/loop/NondetLoop.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/loop/Numbers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/loop/Numbers.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/loopVariant/AssertThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/loopVariant/AssertThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/loopVariant/IncThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/loopVariant/IncThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/loopVariant/NondetLoop.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/loopVariant/NondetLoop.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/loopVariant/Numbers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/loopVariant/Numbers.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Backoff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Backoff.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Client1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Client1.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Client2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Client2.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Client3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Client3.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Client4.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Client4.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Client5.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Client5.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Client6.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Client6.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/DeletionThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/DeletionThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/InsertionThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/InsertionThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Stack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/Stack.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/LockFreeStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/LockFreeStack.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/Node.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/elimination/EliminationArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/elimination/EliminationArray.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/elimination/EliminationBackoffStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/elimination/EliminationBackoffStack.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/elimination/LockFreeExchanger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/elimination/LockFreeExchanger.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/elimination/RangePolicy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/elimination/RangePolicy.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/timeStamped/PoperThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/timeStamped/PoperThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/timeStamped/PusherThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/timeStamped/PusherThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/timeStamped/Result.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/timeStamped/Result.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/timeStamped/SPPool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/timeStamped/SPPool.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/timeStamped/TNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/timeStamped/TNode.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/timeStamped/TSStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/nondet/stack/lockFree/timeStamped/TSStack.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/parking/counter/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/parking/counter/Counter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/parking/counter/ParkingCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/parking/counter/ParkingCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/pool/counter/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/pool/counter/Counter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/pool/counter/PoolCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/pool/counter/PoolCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/random/counter/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/random/counter/Counter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/random/counter/RandomCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/random/counter/RandomCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/random/counter/RandomCounterIncr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/random/counter/RandomCounterIncr.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/shared/counter/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/shared/counter/Counter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/shared/counter/StaticCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/shared/counter/StaticCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/simple/counter/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/simple/counter/Counter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/simple/counter/Counter.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/simple/counter/Counter.txt -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/simple/counter/HelpingThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/simple/counter/HelpingThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/simple/counter/HelpingThread.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/simple/counter/HelpingThread.txt -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/simple/counter/SimpleCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/simple/counter/SimpleCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/simple/counter/SimpleCounter.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/simple/counter/SimpleCounter.txt -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/simple/message/ReceiverThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/simple/message/ReceiverThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/simple/message/ReceiverThread.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/simple/message/ReceiverThread.txt -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/simple/message/SenderThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/simple/message/SenderThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/simple/message/SenderThread.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/simple/message/SenderThread.txt -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/simple/message/SimpleMessage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/simple/message/SimpleMessage.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/simple/message/SimpleMessage.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/simple/message/SimpleMessage.txt -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/symbolic/counter/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/symbolic/counter/Counter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/symbolic/counter/SymbolicCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/symbolic/counter/SymbolicCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/symbolic/gcd/Decrementor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/symbolic/gcd/Decrementor.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/symbolic/gcd/ParallelGCD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/symbolic/gcd/ParallelGCD.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/sync/counter/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/sync/counter/Counter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/sync/counter/SyncCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/sync/counter/SyncCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/sync/message/ReceiverThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/sync/message/ReceiverThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/sync/message/SenderThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/sync/message/SenderThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/sync/message/SyncMessage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/sync/message/SyncMessage.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/tagged/message/ReceiverThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/tagged/message/ReceiverThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/tagged/message/SenderThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/tagged/message/SenderThread.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/tagged/message/TaggedMessage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/tagged/message/TaggedMessage.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/thread_dependency/MultipleThreads.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/thread_dependency/MultipleThreads.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/twophasecommit/Coordinator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/twophasecommit/Coordinator.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/twophasecommit/CoordinatorParallel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/twophasecommit/CoordinatorParallel.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/twophasecommit/Mailbox.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/twophasecommit/Mailbox.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/twophasecommit/Message.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/twophasecommit/Message.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/twophasecommit/Participant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/twophasecommit/Participant.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/twophasecommit/TwoPhaseCommit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/twophasecommit/TwoPhaseCommit.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/wrong/counter/BuggyCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/wrong/counter/BuggyCounter.java -------------------------------------------------------------------------------- /core/src/test/java/org/mpi_sws/jmc/programs/wrong/counter/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/java/org/mpi_sws/jmc/programs/wrong/counter/Counter.java -------------------------------------------------------------------------------- /core/src/test/resources/log4j2-test.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/core/src/test/resources/log4j2-test.xml -------------------------------------------------------------------------------- /docs/Configuration API.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/docs/Configuration API.md -------------------------------------------------------------------------------- /docs/Gradle Example Project Setup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/docs/Gradle Example Project Setup.md -------------------------------------------------------------------------------- /docs/User guide.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/docs/User guide.md -------------------------------------------------------------------------------- /examples/counter/BuggyCounterUsingAPI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/examples/counter/BuggyCounterUsingAPI.java -------------------------------------------------------------------------------- /examples/counter/ExampleCounterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/examples/counter/ExampleCounterTest.java -------------------------------------------------------------------------------- /gradle-plugin/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/gradle-plugin/build.gradle.kts -------------------------------------------------------------------------------- /gradle-plugin/src/main/kotlin/org/mpi_sws/jmc/gradle/JmcPlugin.kt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/gradle-plugin/src/main/kotlin/org/mpi_sws/jmc/gradle/JmcPlugin.kt -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/gradlew.bat -------------------------------------------------------------------------------- /integration-test/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/build.gradle.kts -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/Counter.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/CounterThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/CounterThread.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/ParametricCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/ParametricCounter.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/atomic/counter/Adder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/atomic/counter/Adder.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/bigShot/Str.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/bigShot/Str.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/bigShot/T1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/bigShot/T1.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/bigShot/T2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/bigShot/T2.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/concrete/gcd/DecrementorA.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/concrete/gcd/DecrementorA.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/concrete/gcd/DecrementorB.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/concrete/gcd/DecrementorB.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/concrete/gcd/Numbers.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/concrete/gcd/Numbers.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/array/Array.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/array/Array.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/array/SetterThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/array/SetterThread.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/counter/CCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/counter/CCounter.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/counter/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/counter/Counter.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/counter/DecThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/counter/DecThread.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/counter/FCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/counter/FCounter.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/counter/IncThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/counter/IncThread.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/DeletionThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/DeletionThread.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/InsertionThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/InsertionThread.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/Set.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/Set.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/coarse/CoarseList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/coarse/CoarseList.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/fine/FineList.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/fine/FineList.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/node/FNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/node/FNode.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/node/LNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/node/LNode.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/node/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/list/node/Node.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/Backoff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/Backoff.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/DeletionThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/DeletionThread.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/InsertionThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/InsertionThread.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/Stack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/Stack.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/LockFreeStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/LockFreeStack.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/Node.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/elimination/EliminationArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/elimination/EliminationArray.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/elimination/EliminationBackoffStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/elimination/EliminationBackoffStack.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/elimination/LockFreeExchanger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/elimination/LockFreeExchanger.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/PopperThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/PopperThread.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/PusherThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/PusherThread.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/Result.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/Result.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/SPPool.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/SPPool.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/TNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/TNode.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/TSCAS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/TSCAS.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/TSStack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/TSStack.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/TimeStamp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/det/stack/lockFree/timeStamped/TimeStamp.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/sendRecv/Buffer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/sendRecv/Buffer.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/sendRecv/Receiver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/sendRecv/Receiver.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/sendRecv/Sender.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/sendRecv/Sender.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/strategies/WeightedRandomStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/strategies/WeightedRandomStrategy.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/structural/Counter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/structural/Counter.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/sync/SynchronizedBlockCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/sync/SynchronizedBlockCounter.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/sync/SynchronizedCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/sync/SynchronizedCounter.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/sync/SynchronizedCounterThread.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/sync/SynchronizedCounterThread.java -------------------------------------------------------------------------------- /integration-test/src/main/java/org/mpi_sws/jmc/test/sync/SynchronizedMethodCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/java/org/mpi_sws/jmc/test/sync/SynchronizedMethodCounter.java -------------------------------------------------------------------------------- /integration-test/src/main/resources/log4j2-test.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/main/resources/log4j2-test.xml -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/AgentIntegrationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/AgentIntegrationTest.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/CounterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/CounterTest.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/StructuralTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/StructuralTest.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/features/ExpectFailureTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/features/ExpectFailureTest.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/programs/ArrayTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/programs/ArrayTest.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/programs/AtomicCounterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/programs/AtomicCounterTest.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/programs/BigShotTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/programs/BigShotTest.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/programs/CounterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/programs/CounterTest.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/programs/FutureCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/programs/FutureCounter.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/programs/FutureCounterTestRunner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/programs/FutureCounterTestRunner.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/programs/GcdTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/programs/GcdTest.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/programs/OrderedListTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/programs/OrderedListTest.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/programs/SendRecvTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/programs/SendRecvTest.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/programs/StackTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/programs/StackTest.java -------------------------------------------------------------------------------- /integration-test/src/test/java/org/mpi_sws/jmc/test/programs/SynchronizedCounterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/java/org/mpi_sws/jmc/test/programs/SynchronizedCounterTest.java -------------------------------------------------------------------------------- /integration-test/src/test/resources/META-INF/services/org.junit.platform.engine.TestEngine: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/resources/META-INF/services/org.junit.platform.engine.TestEngine -------------------------------------------------------------------------------- /integration-test/src/test/resources/log4j2-test.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/integration-test/src/test/resources/log4j2-test.xml -------------------------------------------------------------------------------- /scripts/analysis_scripts/comparison.ipynb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/scripts/analysis_scripts/comparison.ipynb -------------------------------------------------------------------------------- /scripts/analysis_scripts/find_similar_graphs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/scripts/analysis_scripts/find_similar_graphs.py -------------------------------------------------------------------------------- /scripts/graph_visualizer/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/scripts/graph_visualizer/requirements.txt -------------------------------------------------------------------------------- /scripts/graph_visualizer/template/index.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/scripts/graph_visualizer/template/index.css -------------------------------------------------------------------------------- /scripts/graph_visualizer/template/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/scripts/graph_visualizer/template/index.html -------------------------------------------------------------------------------- /scripts/graph_visualizer/template/index.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/scripts/graph_visualizer/template/index.js -------------------------------------------------------------------------------- /scripts/graph_visualizer/web_server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/scripts/graph_visualizer/web_server.py -------------------------------------------------------------------------------- /scripts/jsondiff.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/scripts/jsondiff.sh -------------------------------------------------------------------------------- /scripts/publish.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/scripts/publish.sh -------------------------------------------------------------------------------- /scripts/textdiff.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/scripts/textdiff.sh -------------------------------------------------------------------------------- /scripts/visualize_graphs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/scripts/visualize_graphs.sh -------------------------------------------------------------------------------- /settings.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/mpi-sws-rse/jmc/HEAD/settings.gradle.kts --------------------------------------------------------------------------------