├── .gitignore ├── LICENSE.md ├── README.md ├── project ├── Build.scala ├── build.properties └── plugins.sbt ├── src └── main │ ├── aspectj │ └── WeaveActor.aj │ ├── python │ ├── __init__.py │ ├── lifecycle.py │ ├── minimization_stats │ │ ├── __init__.py │ │ ├── combine_graphs.py │ │ ├── generate_graph.py │ │ └── gpi_template.py │ ├── setup.py │ └── util.py │ └── scala │ └── verification │ ├── CheckpointCollector.scala │ ├── DepTracker.scala │ ├── EventTrace.scala │ ├── ExternalEvents.scala │ ├── FailureDetector.scala │ ├── Instrumenter.scala │ ├── MessageFingerprints.scala │ ├── RunnerUtils.scala │ ├── SchedulerConfig.scala │ ├── Serialization.scala │ ├── fuzzing │ └── Fuzzer.scala │ ├── minification │ ├── DeltaDebugging.scala │ ├── IncrementalDeltaDebugging.scala │ ├── Minimizer.scala │ ├── OneAtATime.scala │ ├── TestOracle.scala │ ├── Util.scala │ ├── WildcardTestOracle.scala │ ├── internal_minimization │ │ ├── OneAtATimeRemoval.scala │ │ ├── RemovalStrategy.scala │ │ ├── ScheduleCheckers.scala │ │ └── StateMachineRemoval.scala │ └── wildcard_minimization │ │ ├── AmbiguityResolutionStrategies.scala │ │ ├── ClockClusterizer.scala │ │ ├── Clusterizer.scala │ │ ├── DeltaDebuggingClusterizer.scala │ │ ├── OneAtATimeClusterizer.scala │ │ └── WildcardMinimizer.scala │ └── schedulers │ ├── AbstractScheduler.scala │ ├── AuxilaryTypes.scala │ ├── BacktrackOrdering.scala │ ├── BasicScheduler.scala │ ├── DPOR.scala │ ├── DPORwHeuristics.scala │ ├── EventOrchestrator.scala │ ├── ExternalEventInjector.scala │ ├── FairScheduler.scala │ ├── InteractiveScheduler.scala │ ├── IntervalPeekScheduler.scala │ ├── NullScheduler.scala │ ├── PeekScheduler.scala │ ├── RandomScheduler.scala │ ├── ReplayScheduler.scala │ ├── STSScheduler.scala │ ├── Scheduler.scala │ └── Util.scala └── tools ├── combine_graphs_for_experiment.rb ├── indent.rb ├── overwrite_uninteresting_fuzz_runs.rb ├── rerun_experiments.sh ├── sanity.rb ├── spacify.rb └── subtree_pull_all.sh /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/LICENSE.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/README.md -------------------------------------------------------------------------------- /project/Build.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/project/Build.scala -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /src/main/aspectj/WeaveActor.aj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/aspectj/WeaveActor.aj -------------------------------------------------------------------------------- /src/main/python/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/main/python/lifecycle.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/python/lifecycle.py -------------------------------------------------------------------------------- /src/main/python/minimization_stats/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/main/python/minimization_stats/combine_graphs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/python/minimization_stats/combine_graphs.py -------------------------------------------------------------------------------- /src/main/python/minimization_stats/generate_graph.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/python/minimization_stats/generate_graph.py -------------------------------------------------------------------------------- /src/main/python/minimization_stats/gpi_template.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/python/minimization_stats/gpi_template.py -------------------------------------------------------------------------------- /src/main/python/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/python/setup.py -------------------------------------------------------------------------------- /src/main/python/util.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/python/util.py -------------------------------------------------------------------------------- /src/main/scala/verification/CheckpointCollector.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/CheckpointCollector.scala -------------------------------------------------------------------------------- /src/main/scala/verification/DepTracker.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/DepTracker.scala -------------------------------------------------------------------------------- /src/main/scala/verification/EventTrace.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/EventTrace.scala -------------------------------------------------------------------------------- /src/main/scala/verification/ExternalEvents.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/ExternalEvents.scala -------------------------------------------------------------------------------- /src/main/scala/verification/FailureDetector.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/FailureDetector.scala -------------------------------------------------------------------------------- /src/main/scala/verification/Instrumenter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/Instrumenter.scala -------------------------------------------------------------------------------- /src/main/scala/verification/MessageFingerprints.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/MessageFingerprints.scala -------------------------------------------------------------------------------- /src/main/scala/verification/RunnerUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/RunnerUtils.scala -------------------------------------------------------------------------------- /src/main/scala/verification/SchedulerConfig.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/SchedulerConfig.scala -------------------------------------------------------------------------------- /src/main/scala/verification/Serialization.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/Serialization.scala -------------------------------------------------------------------------------- /src/main/scala/verification/fuzzing/Fuzzer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/fuzzing/Fuzzer.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/DeltaDebugging.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/DeltaDebugging.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/IncrementalDeltaDebugging.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/IncrementalDeltaDebugging.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/Minimizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/Minimizer.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/OneAtATime.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/OneAtATime.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/TestOracle.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/TestOracle.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/Util.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/Util.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/WildcardTestOracle.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/WildcardTestOracle.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/internal_minimization/OneAtATimeRemoval.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/internal_minimization/OneAtATimeRemoval.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/internal_minimization/RemovalStrategy.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/internal_minimization/RemovalStrategy.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/internal_minimization/ScheduleCheckers.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/internal_minimization/ScheduleCheckers.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/internal_minimization/StateMachineRemoval.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/internal_minimization/StateMachineRemoval.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/wildcard_minimization/AmbiguityResolutionStrategies.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/wildcard_minimization/AmbiguityResolutionStrategies.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/wildcard_minimization/ClockClusterizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/wildcard_minimization/ClockClusterizer.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/wildcard_minimization/Clusterizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/wildcard_minimization/Clusterizer.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/wildcard_minimization/DeltaDebuggingClusterizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/wildcard_minimization/DeltaDebuggingClusterizer.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/wildcard_minimization/OneAtATimeClusterizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/wildcard_minimization/OneAtATimeClusterizer.scala -------------------------------------------------------------------------------- /src/main/scala/verification/minification/wildcard_minimization/WildcardMinimizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/minification/wildcard_minimization/WildcardMinimizer.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/AbstractScheduler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/AbstractScheduler.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/AuxilaryTypes.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/AuxilaryTypes.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/BacktrackOrdering.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/BacktrackOrdering.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/BasicScheduler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/BasicScheduler.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/DPOR.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/DPOR.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/DPORwHeuristics.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/DPORwHeuristics.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/EventOrchestrator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/EventOrchestrator.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/ExternalEventInjector.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/ExternalEventInjector.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/FairScheduler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/FairScheduler.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/InteractiveScheduler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/InteractiveScheduler.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/IntervalPeekScheduler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/IntervalPeekScheduler.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/NullScheduler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/NullScheduler.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/PeekScheduler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/PeekScheduler.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/RandomScheduler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/RandomScheduler.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/ReplayScheduler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/ReplayScheduler.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/STSScheduler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/STSScheduler.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/Scheduler.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/Scheduler.scala -------------------------------------------------------------------------------- /src/main/scala/verification/schedulers/Util.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/src/main/scala/verification/schedulers/Util.scala -------------------------------------------------------------------------------- /tools/combine_graphs_for_experiment.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/tools/combine_graphs_for_experiment.rb -------------------------------------------------------------------------------- /tools/indent.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/tools/indent.rb -------------------------------------------------------------------------------- /tools/overwrite_uninteresting_fuzz_runs.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/tools/overwrite_uninteresting_fuzz_runs.rb -------------------------------------------------------------------------------- /tools/rerun_experiments.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/tools/rerun_experiments.sh -------------------------------------------------------------------------------- /tools/sanity.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/tools/sanity.rb -------------------------------------------------------------------------------- /tools/spacify.rb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/tools/spacify.rb -------------------------------------------------------------------------------- /tools/subtree_pull_all.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/NetSys/demi/HEAD/tools/subtree_pull_all.sh --------------------------------------------------------------------------------