From c49fba161fcea41a4148441f6af30385d24ab046 Mon Sep 17 00:00:00 2001
From: <>
Date: Tue, 26 Nov 2024 15:24:46 +0000
Subject: [PATCH] Deployed 9e69a5d with MkDocs version: 1.6.1
---
.nojekyll | 0
404.html | 173 +
assets/data/CoffeeMachine.trace.xml | 624 +
.../data/DrinksServingRobotActors.trace.xml | 289 +
assets/data/Raft.dgml | 243 +
assets/data/Raft.xml | 484 +
assets/images/CoffeeMachine.svg | 153 +
assets/images/CoffeeMachineTasks.svg | 165 +
assets/images/DSR-Bug-01.dgml | 158 +
assets/images/DSR-Bug-01.svg | 329 +
assets/images/DSR-Failover.dgml | 48 +
assets/images/DSR-Failover.svg | 84 +
assets/images/DSR-Plan.dgml | 44 +
assets/images/DSR-Plan.svg | 57 +
assets/images/DrinksServingRobot.jpg | Bin 0 -> 36855 bytes
assets/images/EventGroups.dgml | 60 +
assets/images/EventGroups.svg | 99 +
assets/images/FailoverCoffeeMachine.dgml | 256 +
assets/images/FailoverCoffeeMachine.svg | 41 +
assets/images/FailoverCoffeeMachineBug.dgml | 200 +
assets/images/FailoverCoffeeMachineBug.svg | 428 +
assets/images/GaggiaEspresso.png | Bin 0 -> 85087 bytes
assets/images/ImageGallery.png | Bin 0 -> 797726 bytes
assets/images/Monitors.dgml | 140 +
assets/images/Monitors.svg | 248 +
assets/images/Raft.svg | 661 +
assets/images/RaftMockCoverage.dgml | 135 +
assets/images/RaftMockCoverage.svg | 172 +
assets/images/RaftMocking.dgml | 440 +
assets/images/RaftMocking.svg | 221 +
assets/images/RaftServers.dgml | 74 +
assets/images/RaftServers.svg | 114 +
assets/images/RaftStateMachine.dgml | 87 +
assets/images/RaftStateMachine.svg | 98 +
assets/images/ShortIntro.png | Bin 0 -> 879590 bytes
assets/images/abc.dgml | 19 +
assets/images/abc.svg | 34 +
assets/images/bg-reference.png | Bin 0 -> 1636 bytes
assets/images/channel9_actors.png | Bin 0 -> 150324 bytes
assets/images/channel9_tasks.png | Bin 0 -> 121317 bytes
assets/images/cloudmessaging.dgml | 421 +
assets/images/cloudmessaging.svg | 199 +
assets/images/core.dgml | 1890 +++
assets/images/core.png | Bin 0 -> 118330 bytes
assets/images/coyote_tutorial_intro.png | Bin 0 -> 65047 bytes
assets/images/ecommerce.dgml | 48 +
assets/images/ecommerce.svg | 78 +
assets/images/icon.png | Bin 0 -> 4004 bytes
assets/images/icon_coyote.svg | 19 +
assets/images/icon_coyote_180x180.png | Bin 0 -> 4993 bytes
assets/images/icon_coyote_192x192.png | Bin 0 -> 5380 bytes
assets/images/icon_coyote_512x512.png | Bin 0 -> 17340 bytes
assets/images/icon_coyote_600x600.png | Bin 0 -> 11308 bytes
assets/images/logo_coyote.svg | 18 +
assets/images/logo_coyote_white.svg | 18 +
assets/images/microsoft-logo.svg | 48 +
assets/images/raft.dgml | 240 +
assets/images/site.webmanifest | 1 +
assets/images/slider-1.png | Bin 0 -> 14481 bytes
assets/images/slider-2.png | Bin 0 -> 12931 bytes
assets/images/slider-3.png | Bin 0 -> 12300 bytes
assets/images/tech_minutes.png | Bin 0 -> 37438 bytes
assets/images/unittest.dgml | 44 +
assets/images/unittest.svg | 33 +
assets/images/webinar.png | Bin 0 -> 100038 bytes
assets/js/analytics.js | 103 +
assets/js/animate_trace.js | 360 +
assets/js/animation.htm | 41 +
assets/js/animation.js | 329 +
assets/js/main.js | 15 +
assets/js/navmenu.js | 82 +
assets/js/plugins.js | 8 +
assets/js/progress_bar.js | 112 +
assets/js/trace_model.js | 311 +
case-studies/azure-batch-service/index.html | 272 +
.../azure-blockchain-service/index.html | 260 +
.../azure-blockchain-workbench/index.html | 294 +
concepts/actors/actor-semantics/index.html | 287 +
concepts/actors/event-groups/index.html | 332 +
concepts/actors/logging/index.html | 514 +
concepts/actors/overview/index.html | 455 +
concepts/actors/sharing-objects/index.html | 294 +
concepts/actors/state-machine-demo/index.html | 285 +
concepts/actors/state-machines/index.html | 520 +
.../actors/synchronous-execution/index.html | 269 +
concepts/actors/termination/index.html | 263 +
concepts/actors/timers/index.html | 349 +
.../actors/uncaught-exceptions/index.html | 276 +
concepts/actors/why-actors/index.html | 266 +
concepts/binary-rewriting/index.html | 338 +
concepts/concurrency-unit-testing/index.html | 338 +
concepts/non-determinism/index.html | 276 +
concepts/specifications/index.html | 422 +
concepts/tasks/overview/index.html | 326 +
css/base.css | 742 ++
css/bootstrap-3.3.7.css | 6757 ++++++++++
css/bootstrap-3.3.7.min.css | 6 +
css/bootstrap.css.map | 1 +
css/bootstrap.min.css.map | 1 +
css/font-awesome-4.7.0.css | 2337 ++++
css/font-awesome-4.7.0.min.css | 4 +
css/highlight.css | 88 +
css/main.css | 147 +
css/player-controls.css | 113 +
css/syntax.css | 58 +
fonts/fontawesome-webfont.eot | Bin 0 -> 165742 bytes
fonts/fontawesome-webfont.svg | 2671 ++++
fonts/fontawesome-webfont.ttf | Bin 0 -> 165548 bytes
fonts/fontawesome-webfont.woff | Bin 0 -> 98024 bytes
fonts/fontawesome-webfont.woff2 | Bin 0 -> 77160 bytes
fonts/glyphicons-halflings-regular.eot | Bin 0 -> 20127 bytes
fonts/glyphicons-halflings-regular.svg | 288 +
fonts/glyphicons-halflings-regular.ttf | Bin 0 -> 45404 bytes
fonts/glyphicons-halflings-regular.woff | Bin 0 -> 23424 bytes
fonts/glyphicons-halflings-regular.woff2 | Bin 0 -> 18028 bytes
get-started/build-source/index.html | 276 +
get-started/install/index.html | 354 +
get-started/telemetry/index.html | 254 +
get-started/upgrade-from-psharp/index.html | 272 +
get-started/using-coyote/index.html | 419 +
googlef431dcc5b966c91b.html | 1 +
how-to/coverage/index.html | 309 +
how-to/liveness-checking/index.html | 333 +
how-to/unit-testing/index.html | 437 +
img/favicon.ico | Bin 0 -> 1150 bytes
include/abc.svg | 34 +
include/player-controls.html | 39 +
include/unittest.svg | 32 +
index.html | 2393 ++++
js/base.js | 556 +
js/bootstrap-3.3.7.js | 2377 ++++
js/bootstrap-3.3.7.min.js | 7 +
js/elasticlunr.js | 2485 ++++
js/elasticlunr.min.js | 10 +
js/highlight.pack.js | 2 +
js/jquery-3.2.1.js | 10253 ++++++++++++++++
js/jquery-3.2.1.min.js | 4 +
overview/benefits/index.html | 256 +
overview/faq/index.html | 331 +
overview/how/index.html | 276 +
overview/publications/index.html | 250 +
overview/videos/index.html | 247 +
.../index.html | 248 +
.../SharedCounter/Add/index.html | 240 +
.../SharedCounter/CompareExchange/index.html | 240 +
.../SharedCounter/Create/index.html | 259 +
.../SharedCounter/Decrement/index.html | 240 +
.../SharedCounter/Exchange/index.html | 240 +
.../SharedCounter/GetValue/index.html | 240 +
.../SharedCounter/Increment/index.html | 240 +
.../SharedCounter/index.html | 282 +
.../SharedDictionary-2/Count/index.html | 240 +
.../SharedDictionary-2/Item/index.html | 240 +
.../SharedDictionary-2/TryAdd/index.html | 240 +
.../SharedDictionary-2/TryGetValue/index.html | 240 +
.../SharedDictionary-2/TryRemove/index.html | 240 +
.../SharedDictionary-2/TryUpdate/index.html | 240 +
.../SharedDictionary-2/index.html | 293 +
.../SharedDictionary/Create/index.html | 307 +
.../SharedDictionary/index.html | 258 +
.../SharedRegister-1/GetValue/index.html | 240 +
.../SharedRegister-1/SetValue/index.html | 240 +
.../SharedRegister-1/Update/index.html | 240 +
.../SharedRegister-1/index.html | 278 +
.../SharedRegister/Create/index.html | 265 +
.../SharedRegister/index.html | 258 +
.../index.html | 260 +
.../TimerElapsedEvent/Info/index.html | 241 +
.../TimerElapsedEvent/index.html | 240 +
.../TimerElapsedEvent/index.html | 263 +
.../TimerInfo/CustomEvent/index.html | 241 +
.../TimerInfo/DueTime/index.html | 240 +
.../TimerInfo/Equals/index.html | 254 +
.../TimerInfo/GetHashCode/index.html | 240 +
.../TimerInfo/OwnerId/index.html | 241 +
.../TimerInfo/Period/index.html | 240 +
.../TimerInfo/ToString/index.html | 240 +
.../TimerInfo/index.html | 286 +
.../index.html | 248 +
.../ActorTestKit-1/ActorInstance/index.html | 240 +
.../ActorTestKit-1/ActorTestKit/index.html | 254 +
.../ActorTestKit-1/Assert/index.html | 296 +
.../ActorTestKit-1/AssertInboxSize/index.html | 254 +
.../AssertIsWaitingToReceiveEvent/index.html | 240 +
.../AssertStateTransition/index.html | 284 +
.../ActorTestKit-1/Invoke/index.html | 294 +
.../ActorTestKit-1/InvokeAsync/index.html | 295 +
.../ActorTestKit-1/Logger/index.html | 243 +
.../ActorTestKit-1/SendEventAsync/index.html | 244 +
.../ActorTestKit-1/StartActorAsync/index.html | 258 +
.../ActorTestKit-1/index.html | 315 +
.../index.html | 244 +
.../OnEventDoActionAttribute/index.html | 258 +
.../Actor.OnEventDoActionAttribute/index.html | 257 +
.../Actor/Actor/index.html | 240 +
.../Actor/Assert/index.html | 296 +
.../Actor/CreateActor/index.html | 363 +
.../Actor/CurrentEventGroup/index.html | 244 +
.../Actor/Equals/index.html | 240 +
.../Actor/GetHashCode/index.html | 240 +
.../Actor/HashedState/index.html | 240 +
.../Actor/Id/index.html | 241 +
.../Actor/Logger/index.html | 243 +
.../Actor/Monitor/index.html | 290 +
.../Actor/OnEventDeferred/index.html | 255 +
.../Actor/OnEventDequeuedAsync/index.html | 255 +
.../Actor/OnEventHandledAsync/index.html | 255 +
.../Actor/OnEventIgnored/index.html | 255 +
.../Actor/OnEventUnhandledAsync/index.html | 259 +
.../Actor/OnException/index.html | 267 +
.../Actor/OnExceptionHandledAsync/index.html | 262 +
.../Actor/OnHaltAsync/index.html | 258 +
.../Actor/OnInitializeAsync/index.html | 258 +
.../Actor/RaiseHaltEvent/index.html | 240 +
.../Actor/RandomBoolean/index.html | 243 +
.../Actor/RandomInteger/index.html | 257 +
.../Actor/ReceiveEventAsync/index.html | 326 +
.../Actor/SendEvent/index.html | 271 +
.../Actor/StartPeriodicTimer/index.html | 271 +
.../Actor/StartTimer/index.html | 266 +
.../Actor/StopTimer/index.html | 258 +
.../Actor/ToString/index.html | 240 +
ref/Microsoft.Coyote.Actors/Actor/index.html | 386 +
.../ActorExecutionStatus/index.html | 272 +
.../ActorId/CompareTo/index.html | 240 +
.../ActorId/Equals/index.html | 254 +
.../ActorId/GetHashCode/index.html | 240 +
.../ActorId/IsNameUsedForHashing/index.html | 240 +
.../ActorId/Name/index.html | 240 +
.../ActorId/NameValue/index.html | 240 +
.../ActorId/Runtime/index.html | 241 +
.../ActorId/ToString/index.html | 240 +
.../ActorId/Type/index.html | 240 +
.../ActorId/Value/index.html | 240 +
.../ActorId/index.html | 295 +
.../ActorRuntimeLogTextFormatter/index.html | 240 +
.../OnCreateActor/index.html | 263 +
.../OnCreateStateMachine/index.html | 263 +
.../OnCreateTimer/index.html | 255 +
.../OnDefaultEventHandler/index.html | 259 +
.../OnDequeueEvent/index.html | 264 +
.../OnEnqueueEvent/index.html | 260 +
.../OnEventHandlerTerminated/index.html | 265 +
.../OnExceptionHandled/index.html | 268 +
.../OnExceptionThrown/index.html | 267 +
.../OnExecuteAction/index.html | 268 +
.../OnGotoState/index.html | 263 +
.../OnHalt/index.html | 259 +
.../OnHandleRaisedEvent/index.html | 264 +
.../OnPopState/index.html | 263 +
.../OnPopStateUnhandledEvent/index.html | 264 +
.../OnPushState/index.html | 263 +
.../OnRaiseEvent/index.html | 264 +
.../OnReceiveEvent/index.html | 268 +
.../OnSendEvent/index.html | 281 +
.../OnStateTransition/index.html | 263 +
.../OnStopTimer/index.html | 255 +
.../OnWaitEvent/index.html | 300 +
.../ActorRuntimeLogTextFormatter/index.html | 347 +
.../AwaitableEventGroup/index.html | 258 +
.../GetAwaiter/index.html | 240 +
.../IsCanceled/index.html | 240 +
.../IsCompleted/index.html | 240 +
.../IsFaulted/index.html | 240 +
.../SetCancelled/index.html | 240 +
.../SetException/index.html | 254 +
.../SetResult/index.html | 254 +
.../AwaitableEventGroup-1/Task/index.html | 240 +
.../TrySetCanceled/index.html | 243 +
.../TrySetException/index.html | 257 +
.../TrySetResult/index.html | 254 +
.../AwaitableEventGroup-1/index.html | 314 +
.../DefaultEvent/Instance/index.html | 240 +
.../DefaultEvent/index.html | 256 +
.../DequeueStatus/index.html | 277 +
.../Event/Event/index.html | 240 +
ref/Microsoft.Coyote.Actors/Event/index.html | 255 +
.../EventGroup/EventGroup/index.html | 258 +
.../EventGroup/Id/index.html | 240 +
.../EventGroup/Name/index.html | 240 +
.../EventGroup/Null/index.html | 240 +
.../EventGroup/index.html | 267 +
.../HaltEvent/Instance/index.html | 240 +
.../HaltEvent/index.html | 256 +
.../IActorRuntime/CreateActor/index.html | 362 +
.../IActorRuntime/CreateActorId/index.html | 262 +
.../CreateActorIdFromName/index.html | 262 +
.../GetActorExecutionStatus/index.html | 262 +
.../GetCurrentActorCount/index.html | 246 +
.../GetCurrentActorIds/index.html | 247 +
.../GetCurrentActorTypes/index.html | 246 +
.../GetCurrentEventGroup/index.html | 259 +
.../IActorRuntime/OnActorHalted/index.html | 241 +
.../IActorRuntime/OnEventDropped/index.html | 241 +
.../IActorRuntime/SendEvent/index.html | 271 +
.../IActorRuntime/index.html | 298 +
.../IActorRuntimeLog/OnCreateActor/index.html | 263 +
.../OnCreateStateMachine/index.html | 263 +
.../IActorRuntimeLog/OnCreateTimer/index.html | 255 +
.../OnDefaultEventHandler/index.html | 259 +
.../OnDequeueEvent/index.html | 264 +
.../OnEnqueueEvent/index.html | 260 +
.../OnEventHandlerTerminated/index.html | 264 +
.../OnExceptionHandled/index.html | 267 +
.../OnExceptionThrown/index.html | 267 +
.../OnExecuteAction/index.html | 268 +
.../IActorRuntimeLog/OnGotoState/index.html | 263 +
.../IActorRuntimeLog/OnHalt/index.html | 259 +
.../OnHandleRaisedEvent/index.html | 264 +
.../IActorRuntimeLog/OnPopState/index.html | 263 +
.../OnPopStateUnhandledEvent/index.html | 264 +
.../IActorRuntimeLog/OnPushState/index.html | 263 +
.../IActorRuntimeLog/OnRaiseEvent/index.html | 264 +
.../OnReceiveEvent/index.html | 268 +
.../IActorRuntimeLog/OnSendEvent/index.html | 281 +
.../OnStateTransition/index.html | 263 +
.../IActorRuntimeLog/OnStopTimer/index.html | 255 +
.../IActorRuntimeLog/OnWaitEvent/index.html | 300 +
.../IActorRuntimeLog/index.html | 342 +
.../OnActorHaltedHandler/index.html | 240 +
.../OnEventDroppedHandler/index.html | 241 +
.../OnExceptionOutcome/index.html | 267 +
.../RuntimeFactory/Create/index.html | 282 +
.../RuntimeFactory/index.html | 259 +
.../SendOptions/Assert/index.html | 240 +
.../SendOptions/Default/index.html | 240 +
.../SendOptions/HashedState/index.html | 240 +
.../SendOptions/MustHandle/index.html | 240 +
.../SendOptions/SendOptions/index.html | 240 +
.../SendOptions/ToString/index.html | 240 +
.../SendOptions/index.html | 275 +
.../DeferEventsAttribute/index.html | 254 +
.../index.html | 257 +
.../IgnoreEventsAttribute/index.html | 254 +
.../index.html | 257 +
.../OnEntryAttribute/index.html | 254 +
.../index.html | 257 +
.../OnEventDoActionAttribute/index.html | 258 +
.../index.html | 257 +
.../OnEventGotoStateAttribute/index.html | 294 +
.../index.html | 257 +
.../OnEventPushStateAttribute/index.html | 258 +
.../index.html | 257 +
.../OnExitAttribute/index.html | 254 +
.../index.html | 257 +
.../StartAttribute/index.html | 240 +
.../index.html | 257 +
.../StateMachine.State/State/index.html | 240 +
.../StateMachine.State/index.html | 291 +
.../StateGroup/index.html | 240 +
.../StateMachine.StateGroup/index.html | 256 +
.../StateMachine/CurrentState/index.html | 240 +
.../OnEventHandledAsync/index.html | 255 +
.../StateMachine/RaiseEvent/index.html | 258 +
.../RaiseGotoStateEvent/index.html | 300 +
.../StateMachine/RaiseHaltEvent/index.html | 243 +
.../RaisePopStateEvent/index.html | 243 +
.../RaisePushStateEvent/index.html | 300 +
.../StateMachine/StateMachine/index.html | 240 +
.../StateMachine/index.html | 315 +
.../CurrentStateName/index.html | 240 +
.../UnhandledEvent/index.html | 241 +
.../UnhandledEventException/index.html | 259 +
.../WildCardEvent/WildCardEvent/index.html | 240 +
.../WildCardEvent/index.html | 256 +
ref/Microsoft.Coyote.Actors/index.html | 410 +
.../index.html | 320 +
.../index.html | 252 +
.../ConsoleLogger/ConsoleLogger/index.html | 241 +
.../ConsoleLogger/Dispose/index.html | 240 +
.../ConsoleLogger/Write/index.html | 587 +
.../ConsoleLogger/WriteLine/index.html | 587 +
.../ConsoleLogger/index.html | 268 +
.../ILogger/Write/index.html | 587 +
.../ILogger/WriteLine/index.html | 587 +
.../ILogger/index.html | 259 +
.../LogSeverity/index.html | 277 +
.../MemoryLogger/Dispose/index.html | 240 +
.../MemoryLogger/MemoryLogger/index.html | 241 +
.../MemoryLogger/ToString/index.html | 239 +
.../MemoryLogger/Write/index.html | 587 +
.../MemoryLogger/WriteLine/index.html | 587 +
.../MemoryLogger/index.html | 275 +
.../TextWriterLogger/Dispose/index.html | 240 +
.../TextWriterLogger/index.html | 241 +
.../TextWriterLogger/Write/index.html | 587 +
.../TextWriterLogger/WriteLine/index.html | 587 +
.../TextWriterLogger/index.html | 268 +
.../VerbosityLevel/index.html | 282 +
.../index.html | 264 +
.../Generator/Create/index.html | 243 +
.../Generator/NextBoolean/index.html | 240 +
.../Generator/NextInteger/index.html | 240 +
.../Generator/index.html | 266 +
.../index.html | 244 +
.../IsAssemblyRewritten/index.html | 257 +
.../RewritingEngine/index.html | 258 +
.../RewritingSignatureAttribute/index.html | 240 +
.../Signature/index.html | 240 +
.../Version/index.html | 240 +
.../RewritingSignatureAttribute/index.html | 267 +
.../SkipRewritingAttribute/Reason/index.html | 240 +
.../SkipRewritingAttribute/index.html | 240 +
.../SkipRewritingAttribute/index.html | 260 +
.../index.html | 252 +
.../AssertionFailureException/index.html | 240 +
.../ICoyoteRuntime/Assert/index.html | 410 +
.../ICoyoteRuntime/Logger/index.html | 244 +
.../ICoyoteRuntime/Monitor/index.html | 261 +
.../ICoyoteRuntime/OnFailure/index.html | 241 +
.../ICoyoteRuntime/RandomBoolean/index.html | 246 +
.../ICoyoteRuntime/RandomInteger/index.html | 260 +
.../ICoyoteRuntime/RegisterLog/index.html | 255 +
.../ICoyoteRuntime/RegisterMonitor/index.html | 256 +
.../ICoyoteRuntime/RemoveLog/index.html | 255 +
.../ICoyoteRuntime/Stop/index.html | 240 +
.../ICoyoteRuntime/index.html | 291 +
.../IOperationBuilder/GroupId/index.html | 240 +
.../HashedStateCallback/index.html | 240 +
.../IOperationBuilder/Name/index.html | 240 +
.../IOperationBuilder/index.html | 263 +
.../BuildCoverageInfo/index.html | 244 +
.../GetCoverageGraph/index.html | 241 +
.../GetCoverageInfo/index.html | 241 +
.../IRuntimeExtension/RunTest/index.html | 261 +
.../WaitUntilQuiescenceAsync/index.html | 240 +
.../IRuntimeExtension/index.html | 271 +
.../IRuntimeLog/OnAssertionFailure/index.html | 254 +
.../IRuntimeLog/OnCompleted/index.html | 240 +
.../IRuntimeLog/OnCreateMonitor/index.html | 254 +
.../IRuntimeLog/OnMonitorError/index.html | 262 +
.../OnMonitorExecuteAction/index.html | 262 +
.../OnMonitorProcessEvent/index.html | 276 +
.../OnMonitorRaiseEvent/index.html | 263 +
.../OnMonitorStateTransition/index.html | 267 +
.../IRuntimeLog/OnRandom/index.html | 298 +
.../IRuntimeLog/index.html | 290 +
.../OnFailureHandler/index.html | 239 +
.../Operation/CreateFrom/index.html | 241 +
.../Operation/CreateNext/index.html | 240 +
.../Operation/GetNextId/index.html | 240 +
.../Operation/OnCompleted/index.html | 240 +
.../Operation/OnStarted/index.html | 240 +
.../Operation/PauseUntil/index.html | 240 +
.../Operation/PauseUntilAsync/index.html | 241 +
.../Operation/PauseUntilCompleted/index.html | 240 +
.../PauseUntilCompletedAsync/index.html | 241 +
.../Operation/RegisterCallSite/index.html | 240 +
.../Operation/ScheduleNext/index.html | 243 +
.../Operation/Start/index.html | 240 +
.../Operation/TryReset/index.html | 240 +
.../Operation/index.html | 306 +
.../RuntimeException/index.html | 240 +
.../RuntimeException/index.html | 255 +
.../RuntimeLogTextFormatter/Logger/index.html | 241 +
.../OnAssertionFailure/index.html | 254 +
.../OnCompleted/index.html | 240 +
.../OnCreateMonitor/index.html | 254 +
.../OnMonitorError/index.html | 262 +
.../OnMonitorExecuteAction/index.html | 262 +
.../OnMonitorProcessEvent/index.html | 276 +
.../OnMonitorRaiseEvent/index.html | 263 +
.../OnMonitorStateTransition/index.html | 267 +
.../OnRandom/index.html | 298 +
.../RuntimeLogTextFormatter/index.html | 240 +
.../RuntimeLogTextFormatter/index.html | 311 +
.../RuntimeProvider/Current/index.html | 241 +
.../RuntimeProvider/index.html | 255 +
.../SchedulingPoint/Interleave/index.html | 240 +
.../SchedulingPoint/Read/index.html | 258 +
.../SchedulingPoint/Resume/index.html | 240 +
.../SchedulingPoint/SetCheckpoint/index.html | 243 +
.../SchedulingPoint/Suppress/index.html | 243 +
.../SchedulingPoint/Write/index.html | 258 +
.../SchedulingPoint/Yield/index.html | 243 +
.../SchedulingPoint/index.html | 282 +
.../TaskServices/index.html | 239 +
.../index.html | 288 +
.../Monitor.Event/Event/index.html | 240 +
.../Monitor.Event/index.html | 256 +
.../ColdAttribute/index.html | 240 +
.../Monitor.State.ColdAttribute/index.html | 257 +
.../HotAttribute/index.html | 240 +
.../Monitor.State.HotAttribute/index.html | 257 +
.../IgnoreEventsAttribute/index.html | 254 +
.../index.html | 257 +
.../OnEntryAttribute/index.html | 254 +
.../Monitor.State.OnEntryAttribute/index.html | 257 +
.../OnEventDoActionAttribute/index.html | 258 +
.../index.html | 257 +
.../OnEventGotoStateAttribute/index.html | 294 +
.../index.html | 257 +
.../OnExitAttribute/index.html | 254 +
.../Monitor.State.OnExitAttribute/index.html | 257 +
.../StartAttribute/index.html | 240 +
.../Monitor.State.StartAttribute/index.html | 257 +
.../Monitor.State/State/index.html | 240 +
.../Monitor.State/index.html | 288 +
.../Monitor.StateGroup/StateGroup/index.html | 240 +
.../Monitor.StateGroup/index.html | 256 +
.../WildCardEvent/index.html | 240 +
.../Monitor.WildCardEvent/index.html | 257 +
.../Monitor/Assert/index.html | 296 +
.../Monitor/CurrentState/index.html | 240 +
.../Monitor/HashedState/index.html | 240 +
.../Monitor/Logger/index.html | 244 +
.../Monitor/Monitor/index.html | 240 +
.../Monitor/RaiseEvent/index.html | 258 +
.../Monitor/RaiseGotoStateEvent/index.html | 300 +
.../Monitor/ToString/index.html | 240 +
.../Monitor/index.html | 318 +
.../Specification/Assert/index.html | 282 +
.../index.html | 257 +
.../Specification/Monitor/index.html | 261 +
.../Specification/RegisterMonitor/index.html | 256 +
.../RegisterStateHashingFunction/index.html | 257 +
.../Specification/index.html | 274 +
.../index.html | 248 +
.../TestOutputLogger/Dispose/index.html | 240 +
.../TestOutputLogger/index.html | 254 +
.../TestOutputLogger/Write/index.html | 582 +
.../TestOutputLogger/WriteLine/index.html | 582 +
.../TestOutputLogger/index.html | 267 +
.../index.html | 244 +
.../TestAttribute/TestAttribute/index.html | 240 +
.../TestAttribute/index.html | 256 +
.../TestDisposeAttribute/index.html | 240 +
.../TestDisposeAttribute/index.html | 256 +
.../TestInitAttribute/index.html | 240 +
.../TestInitAttribute/index.html | 256 +
.../TestIterationDisposeAttribute/index.html | 240 +
.../TestIterationDisposeAttribute/index.html | 256 +
.../TestReport/BugReports/index.html | 240 +
.../TestReport/Clone/index.html | 240 +
.../TestReport/Configuration/index.html | 240 +
.../TestReport/CoverageInfo/index.html | 240 +
.../TestReport/GetText/index.html | 240 +
.../TestReport/InternalErrors/index.html | 240 +
.../MaxConcurrencyDegree/index.html | 240 +
.../MaxControlledOperations/index.html | 240 +
.../MaxExploredFairSteps/index.html | 240 +
.../MaxExploredUnfairSteps/index.html | 240 +
.../MaxFairStepsHitInFairTests/index.html | 240 +
.../MaxOperationGroupingDegree/index.html | 240 +
.../MaxUnfairStepsHitInFairTests/index.html | 240 +
.../MaxUnfairStepsHitInUnfairTests/index.html | 240 +
.../TestReport/Merge/index.html | 243 +
.../MinConcurrencyDegree/index.html | 240 +
.../MinControlledOperations/index.html | 240 +
.../MinExploredFairSteps/index.html | 240 +
.../MinExploredUnfairSteps/index.html | 240 +
.../MinOperationGroupingDegree/index.html | 240 +
.../NumOfExploredFairPaths/index.html | 240 +
.../NumOfExploredUnfairPaths/index.html | 240 +
.../TestReport/NumOfFoundBugs/index.html | 240 +
.../TestReport/TestReport/index.html | 240 +
.../TotalConcurrencyDegree/index.html | 240 +
.../TotalControlledOperations/index.html | 240 +
.../TotalExploredFairSteps/index.html | 240 +
.../TotalExploredUnfairSteps/index.html | 240 +
.../TotalOperationGroupingDegree/index.html | 240 +
.../UncontrolledInvocations/index.html | 240 +
.../TestReport/index.html | 371 +
.../TestingEngine/Create/index.html | 310 +
.../TestingEngine/Dispose/index.html | 240 +
.../TestingEngine/GetReport/index.html | 240 +
.../InvokeEndIterationCallBacks/index.html | 240 +
.../InvokeStartIterationCallBacks/index.html | 240 +
.../TestingEngine/IsTestRewritten/index.html | 243 +
.../TestingEngine/ReadableTrace/index.html | 240 +
.../RegisterEndIterationCallBack/index.html | 240 +
.../RegisterStartIterationCallBack/index.html | 240 +
.../ReproducibleTrace/index.html | 240 +
.../TestingEngine/Run/index.html | 240 +
.../TestingEngine/SetLogger/index.html | 240 +
.../TestingEngine/Stop/index.html | 240 +
.../TestingEngine/TestReport/index.html | 241 +
.../TestingEngine/ThrowIfBugFound/index.html | 240 +
.../TryEmitCoverageReports/index.html | 241 +
.../TestingEngine/TryEmitReports/index.html | 240 +
.../TestingEngine/index.html | 319 +
.../index.html | 264 +
ref/Microsoft.Coyote.Test/index.html | 322 +
.../UseRequestController/index.html | 223 +
.../index.html | 255 +
ref/Microsoft.Coyote.WebNamespace/index.html | 244 +
.../Configuration/Configuration/index.html | 240 +
.../Configuration/Create/index.html | 240 +
.../Configuration/DeadlockTimeout/index.html | 240 +
.../MaxFairSchedulingSteps/index.html | 240 +
.../Configuration/MaxFuzzingDelay/index.html | 240 +
.../MaxUnfairSchedulingSteps/index.html | 240 +
.../RandomGeneratorSeed/index.html | 240 +
.../TestingIterations/index.html | 240 +
.../Configuration/TimeoutDelay/index.html | 240 +
.../Configuration/VerbosityLevel/index.html | 241 +
.../WithActivityCoverageReported/index.html | 254 +
.../index.html | 254 +
.../index.html | 254 +
.../index.html | 254 +
.../WithConsoleLoggingEnabled/index.html | 254 +
.../index.html | 254 +
.../WithCoverageInfoSerialized/index.html | 254 +
.../WithDeadlockTimeout/index.html | 257 +
.../WithDelayBoundingStrategy/index.html | 261 +
.../index.html | 254 +
.../index.html | 254 +
.../index.html | 254 +
.../index.html | 254 +
.../WithMaxFuzzingDelay/index.html | 254 +
.../WithMaxSchedulingSteps/index.html | 286 +
.../index.html | 254 +
.../WithNoBugTraceRepro/index.html | 254 +
.../index.html | 254 +
.../index.html | 254 +
.../index.html | 254 +
.../index.html | 257 +
.../WithPrioritizationStrategy/index.html | 261 +
.../WithProbabilisticStrategy/index.html | 257 +
.../WithQLearningStrategy/index.html | 243 +
.../WithRandomGeneratorSeed/index.html | 254 +
.../WithRandomStrategy/index.html | 243 +
.../WithReproducibleTrace/index.html | 254 +
.../WithScheduleCoverageReported/index.html | 254 +
.../WithSystematicFuzzingEnabled/index.html | 254 +
.../index.html | 254 +
.../WithTelemetryEnabled/index.html | 254 +
.../WithTestingIterations/index.html | 254 +
.../WithTestingTimeout/index.html | 257 +
.../Configuration/WithTimeoutDelay/index.html | 257 +
.../WithTraceAnalysisEnabled/index.html | 254 +
.../index.html | 261 +
.../index.html | 254 +
.../WithVerbosityEnabled/index.html | 255 +
.../index.html | 254 +
.../WithXmlLogEnabled/index.html | 254 +
ref/Microsoft.Coyote/Configuration/index.html | 463 +
ref/Microsoft.Coyote/index.html | 402 +
ref/Microsoft.CoyoteNamespace/index.html | 244 +
ref/toc.yml | 1223 ++
requirements.txt | 3 +
.../failover-robot-navigator/index.html | 873 ++
samples/actors/failure-detector/index.html | 298 +
samples/overview/index.html | 274 +
samples/tasks/bounded-buffer/index.html | 283 +
search.html | 183 +
search/search_index.json | 1 +
sitemap.xml | 2187 ++++
sitemap.xml.gz | Bin 0 -> 4239 bytes
tutorials/actors/hello-world/index.html | 444 +
tutorials/actors/raft-azure/index.html | 456 +
tutorials/actors/raft-mocking/index.html | 450 +
tutorials/actors/test-failover/index.html | 585 +
.../first-concurrency-unit-test/index.html | 599 +
tutorials/mocks/mock-dependencies/index.html | 614 +
.../optimistic-concurrency-control/index.html | 729 ++
tutorials/overview/index.html | 256 +
.../test-concurrent-operations/index.html | 487 +
tutorials/test-failover/index.html | 519 +
tutorials/testing-aspnet-service/index.html | 465 +
windmill_dark/404.html | 8 +
windmill_dark/__init__.py | 0
windmill_dark/article-nav.html | 37 +
windmill_dark/base.html | 143 +
windmill_dark/css/base.css | 742 ++
windmill_dark/css/bootstrap-3.3.7.css | 6757 ++++++++++
windmill_dark/css/bootstrap-3.3.7.min.css | 6 +
windmill_dark/css/bootstrap.css.map | 1 +
windmill_dark/css/bootstrap.min.css.map | 1 +
windmill_dark/css/font-awesome-4.7.0.css | 2337 ++++
windmill_dark/css/font-awesome-4.7.0.min.css | 4 +
windmill_dark/css/highlight.css | 88 +
windmill_dark/fonts/fontawesome-webfont.eot | Bin 0 -> 165742 bytes
windmill_dark/fonts/fontawesome-webfont.svg | 2671 ++++
windmill_dark/fonts/fontawesome-webfont.ttf | Bin 0 -> 165548 bytes
windmill_dark/fonts/fontawesome-webfont.woff | Bin 0 -> 98024 bytes
windmill_dark/fonts/fontawesome-webfont.woff2 | Bin 0 -> 77160 bytes
.../fonts/glyphicons-halflings-regular.eot | Bin 0 -> 20127 bytes
.../fonts/glyphicons-halflings-regular.svg | 288 +
.../fonts/glyphicons-halflings-regular.ttf | Bin 0 -> 45404 bytes
.../fonts/glyphicons-halflings-regular.woff | Bin 0 -> 23424 bytes
.../fonts/glyphicons-halflings-regular.woff2 | Bin 0 -> 18028 bytes
windmill_dark/footer.html | 77 +
windmill_dark/img/favicon.ico | Bin 0 -> 1150 bytes
windmill_dark/js/base.js | 556 +
windmill_dark/js/bootstrap-3.3.7.js | 2377 ++++
windmill_dark/js/bootstrap-3.3.7.min.js | 7 +
windmill_dark/js/elasticlunr.js | 2485 ++++
windmill_dark/js/elasticlunr.min.js | 10 +
windmill_dark/js/highlight.pack.js | 2 +
windmill_dark/js/jquery-3.2.1.js | 10253 ++++++++++++++++
windmill_dark/js/jquery-3.2.1.min.js | 4 +
windmill_dark/main.html | 10 +
windmill_dark/mkdocs_theme.yml | 9 +
windmill_dark/nav-item.html | 19 +
windmill_dark/nav-pane.html | 26 +
windmill_dark/page-nav-urls.html | 2 +
windmill_dark/repo-icon.html | 8 +
windmill_dark/scripts.html | 12 +
windmill_dark/search.html | 18 +
windmill_dark/topbar.html | 57 +
701 files changed, 223857 insertions(+)
create mode 100644 .nojekyll
create mode 100644 404.html
create mode 100644 assets/data/CoffeeMachine.trace.xml
create mode 100644 assets/data/DrinksServingRobotActors.trace.xml
create mode 100644 assets/data/Raft.dgml
create mode 100644 assets/data/Raft.xml
create mode 100644 assets/images/CoffeeMachine.svg
create mode 100644 assets/images/CoffeeMachineTasks.svg
create mode 100644 assets/images/DSR-Bug-01.dgml
create mode 100644 assets/images/DSR-Bug-01.svg
create mode 100644 assets/images/DSR-Failover.dgml
create mode 100644 assets/images/DSR-Failover.svg
create mode 100644 assets/images/DSR-Plan.dgml
create mode 100644 assets/images/DSR-Plan.svg
create mode 100644 assets/images/DrinksServingRobot.jpg
create mode 100644 assets/images/EventGroups.dgml
create mode 100644 assets/images/EventGroups.svg
create mode 100644 assets/images/FailoverCoffeeMachine.dgml
create mode 100644 assets/images/FailoverCoffeeMachine.svg
create mode 100644 assets/images/FailoverCoffeeMachineBug.dgml
create mode 100644 assets/images/FailoverCoffeeMachineBug.svg
create mode 100644 assets/images/GaggiaEspresso.png
create mode 100644 assets/images/ImageGallery.png
create mode 100644 assets/images/Monitors.dgml
create mode 100644 assets/images/Monitors.svg
create mode 100644 assets/images/Raft.svg
create mode 100644 assets/images/RaftMockCoverage.dgml
create mode 100644 assets/images/RaftMockCoverage.svg
create mode 100644 assets/images/RaftMocking.dgml
create mode 100644 assets/images/RaftMocking.svg
create mode 100644 assets/images/RaftServers.dgml
create mode 100644 assets/images/RaftServers.svg
create mode 100644 assets/images/RaftStateMachine.dgml
create mode 100644 assets/images/RaftStateMachine.svg
create mode 100644 assets/images/ShortIntro.png
create mode 100644 assets/images/abc.dgml
create mode 100644 assets/images/abc.svg
create mode 100644 assets/images/bg-reference.png
create mode 100644 assets/images/channel9_actors.png
create mode 100644 assets/images/channel9_tasks.png
create mode 100644 assets/images/cloudmessaging.dgml
create mode 100644 assets/images/cloudmessaging.svg
create mode 100644 assets/images/core.dgml
create mode 100644 assets/images/core.png
create mode 100644 assets/images/coyote_tutorial_intro.png
create mode 100644 assets/images/ecommerce.dgml
create mode 100644 assets/images/ecommerce.svg
create mode 100644 assets/images/icon.png
create mode 100644 assets/images/icon_coyote.svg
create mode 100644 assets/images/icon_coyote_180x180.png
create mode 100644 assets/images/icon_coyote_192x192.png
create mode 100644 assets/images/icon_coyote_512x512.png
create mode 100644 assets/images/icon_coyote_600x600.png
create mode 100644 assets/images/logo_coyote.svg
create mode 100644 assets/images/logo_coyote_white.svg
create mode 100644 assets/images/microsoft-logo.svg
create mode 100644 assets/images/raft.dgml
create mode 100644 assets/images/site.webmanifest
create mode 100644 assets/images/slider-1.png
create mode 100644 assets/images/slider-2.png
create mode 100644 assets/images/slider-3.png
create mode 100644 assets/images/tech_minutes.png
create mode 100644 assets/images/unittest.dgml
create mode 100644 assets/images/unittest.svg
create mode 100644 assets/images/webinar.png
create mode 100644 assets/js/analytics.js
create mode 100644 assets/js/animate_trace.js
create mode 100644 assets/js/animation.htm
create mode 100644 assets/js/animation.js
create mode 100644 assets/js/main.js
create mode 100644 assets/js/navmenu.js
create mode 100644 assets/js/plugins.js
create mode 100644 assets/js/progress_bar.js
create mode 100644 assets/js/trace_model.js
create mode 100644 case-studies/azure-batch-service/index.html
create mode 100644 case-studies/azure-blockchain-service/index.html
create mode 100644 case-studies/azure-blockchain-workbench/index.html
create mode 100644 concepts/actors/actor-semantics/index.html
create mode 100644 concepts/actors/event-groups/index.html
create mode 100644 concepts/actors/logging/index.html
create mode 100644 concepts/actors/overview/index.html
create mode 100644 concepts/actors/sharing-objects/index.html
create mode 100644 concepts/actors/state-machine-demo/index.html
create mode 100644 concepts/actors/state-machines/index.html
create mode 100644 concepts/actors/synchronous-execution/index.html
create mode 100644 concepts/actors/termination/index.html
create mode 100644 concepts/actors/timers/index.html
create mode 100644 concepts/actors/uncaught-exceptions/index.html
create mode 100644 concepts/actors/why-actors/index.html
create mode 100644 concepts/binary-rewriting/index.html
create mode 100644 concepts/concurrency-unit-testing/index.html
create mode 100644 concepts/non-determinism/index.html
create mode 100644 concepts/specifications/index.html
create mode 100644 concepts/tasks/overview/index.html
create mode 100644 css/base.css
create mode 100644 css/bootstrap-3.3.7.css
create mode 100644 css/bootstrap-3.3.7.min.css
create mode 100644 css/bootstrap.css.map
create mode 100644 css/bootstrap.min.css.map
create mode 100644 css/font-awesome-4.7.0.css
create mode 100644 css/font-awesome-4.7.0.min.css
create mode 100644 css/highlight.css
create mode 100644 css/main.css
create mode 100644 css/player-controls.css
create mode 100644 css/syntax.css
create mode 100644 fonts/fontawesome-webfont.eot
create mode 100644 fonts/fontawesome-webfont.svg
create mode 100644 fonts/fontawesome-webfont.ttf
create mode 100644 fonts/fontawesome-webfont.woff
create mode 100644 fonts/fontawesome-webfont.woff2
create mode 100644 fonts/glyphicons-halflings-regular.eot
create mode 100644 fonts/glyphicons-halflings-regular.svg
create mode 100644 fonts/glyphicons-halflings-regular.ttf
create mode 100644 fonts/glyphicons-halflings-regular.woff
create mode 100644 fonts/glyphicons-halflings-regular.woff2
create mode 100644 get-started/build-source/index.html
create mode 100644 get-started/install/index.html
create mode 100644 get-started/telemetry/index.html
create mode 100644 get-started/upgrade-from-psharp/index.html
create mode 100644 get-started/using-coyote/index.html
create mode 100644 googlef431dcc5b966c91b.html
create mode 100644 how-to/coverage/index.html
create mode 100644 how-to/liveness-checking/index.html
create mode 100644 how-to/unit-testing/index.html
create mode 100644 img/favicon.ico
create mode 100644 include/abc.svg
create mode 100644 include/player-controls.html
create mode 100644 include/unittest.svg
create mode 100644 index.html
create mode 100644 js/base.js
create mode 100644 js/bootstrap-3.3.7.js
create mode 100644 js/bootstrap-3.3.7.min.js
create mode 100644 js/elasticlunr.js
create mode 100644 js/elasticlunr.min.js
create mode 100644 js/highlight.pack.js
create mode 100644 js/jquery-3.2.1.js
create mode 100644 js/jquery-3.2.1.min.js
create mode 100644 overview/benefits/index.html
create mode 100644 overview/faq/index.html
create mode 100644 overview/how/index.html
create mode 100644 overview/publications/index.html
create mode 100644 overview/videos/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.CoverageNamespace/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/Add/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/CompareExchange/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/Create/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/Decrement/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/Exchange/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/GetValue/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/Increment/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedCounter/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2/Count/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2/Item/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2/TryAdd/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2/TryGetValue/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2/TryRemove/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2/TryUpdate/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary-2/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary/Create/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedDictionary/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedRegister-1/GetValue/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedRegister-1/SetValue/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedRegister-1/Update/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedRegister-1/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedRegister/Create/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjects/SharedRegister/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.SharedObjectsNamespace/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.Timers/TimerElapsedEvent/Info/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.Timers/TimerElapsedEvent/TimerElapsedEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.Timers/TimerElapsedEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.Timers/TimerInfo/CustomEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.Timers/TimerInfo/DueTime/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.Timers/TimerInfo/Equals/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.Timers/TimerInfo/GetHashCode/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.Timers/TimerInfo/OwnerId/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.Timers/TimerInfo/Period/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.Timers/TimerInfo/ToString/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.Timers/TimerInfo/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.TimersNamespace/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/ActorInstance/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/ActorTestKit/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/Assert/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/AssertInboxSize/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/AssertIsWaitingToReceiveEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/AssertStateTransition/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/Invoke/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/InvokeAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/Logger/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/SendEventAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/StartActorAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.UnitTesting/ActorTestKit-1/index.html
create mode 100644 ref/Microsoft.Coyote.Actors.UnitTestingNamespace/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor.OnEventDoActionAttribute/OnEventDoActionAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor.OnEventDoActionAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/Actor/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/Assert/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/CreateActor/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/CurrentEventGroup/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/Equals/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/GetHashCode/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/HashedState/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/Id/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/Logger/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/Monitor/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/OnEventDeferred/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/OnEventDequeuedAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/OnEventHandledAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/OnEventIgnored/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/OnEventUnhandledAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/OnException/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/OnExceptionHandledAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/OnHaltAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/OnInitializeAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/RaiseHaltEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/RandomBoolean/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/RandomInteger/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/ReceiveEventAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/SendEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/StartPeriodicTimer/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/StartTimer/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/StopTimer/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/ToString/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Actor/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorExecutionStatus/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorId/CompareTo/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorId/Equals/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorId/GetHashCode/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorId/IsNameUsedForHashing/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorId/Name/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorId/NameValue/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorId/Runtime/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorId/ToString/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorId/Type/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorId/Value/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorId/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/ActorRuntimeLogTextFormatter/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnCreateActor/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnCreateStateMachine/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnCreateTimer/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnDefaultEventHandler/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnDequeueEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnEnqueueEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnEventHandlerTerminated/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnExceptionHandled/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnExceptionThrown/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnExecuteAction/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnGotoState/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnHalt/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnHandleRaisedEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnPopState/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnPopStateUnhandledEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnPushState/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnRaiseEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnReceiveEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnSendEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnStateTransition/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnStopTimer/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/OnWaitEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/ActorRuntimeLogTextFormatter/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/AwaitableEventGroup/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/GetAwaiter/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/IsCanceled/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/IsCompleted/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/IsFaulted/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/SetCancelled/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/SetException/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/SetResult/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/Task/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/TrySetCanceled/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/TrySetException/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/TrySetResult/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/AwaitableEventGroup-1/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/DefaultEvent/Instance/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/DefaultEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/DequeueStatus/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Event/Event/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/Event/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/EventGroup/EventGroup/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/EventGroup/Id/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/EventGroup/Name/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/EventGroup/Null/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/EventGroup/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/HaltEvent/Instance/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/HaltEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntime/CreateActor/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntime/CreateActorId/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntime/CreateActorIdFromName/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntime/GetActorExecutionStatus/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntime/GetCurrentActorCount/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntime/GetCurrentActorIds/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntime/GetCurrentActorTypes/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntime/GetCurrentEventGroup/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntime/OnActorHalted/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntime/OnEventDropped/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntime/SendEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntime/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnCreateActor/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnCreateStateMachine/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnCreateTimer/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnDefaultEventHandler/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnDequeueEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnEnqueueEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnEventHandlerTerminated/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnExceptionHandled/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnExceptionThrown/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnExecuteAction/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnGotoState/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnHalt/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnHandleRaisedEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnPopState/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnPopStateUnhandledEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnPushState/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnRaiseEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnReceiveEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnSendEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnStateTransition/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnStopTimer/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/OnWaitEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/IActorRuntimeLog/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/OnActorHaltedHandler/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/OnEventDroppedHandler/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/OnExceptionOutcome/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/RuntimeFactory/Create/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/RuntimeFactory/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/SendOptions/Assert/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/SendOptions/Default/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/SendOptions/HashedState/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/SendOptions/MustHandle/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/SendOptions/SendOptions/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/SendOptions/ToString/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/SendOptions/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.DeferEventsAttribute/DeferEventsAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.DeferEventsAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.IgnoreEventsAttribute/IgnoreEventsAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.IgnoreEventsAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.OnEntryAttribute/OnEntryAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.OnEntryAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.OnEventDoActionAttribute/OnEventDoActionAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.OnEventDoActionAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.OnEventGotoStateAttribute/OnEventGotoStateAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.OnEventGotoStateAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.OnEventPushStateAttribute/OnEventPushStateAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.OnEventPushStateAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.OnExitAttribute/OnExitAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.OnExitAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.StartAttribute/StartAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State.StartAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State/State/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.State/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.StateGroup/StateGroup/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine.StateGroup/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine/CurrentState/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine/OnEventHandledAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine/RaiseEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine/RaiseGotoStateEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine/RaiseHaltEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine/RaisePopStateEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine/RaisePushStateEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine/StateMachine/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/StateMachine/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/UnhandledEventException/CurrentStateName/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/UnhandledEventException/UnhandledEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/UnhandledEventException/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/WildCardEvent/WildCardEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/WildCardEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Actors/index.html
create mode 100644 ref/Microsoft.Coyote.ActorsNamespace/index.html
create mode 100644 ref/Microsoft.Coyote.CoverageNamespace/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/ConsoleLogger/ConsoleLogger/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/ConsoleLogger/Dispose/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/ConsoleLogger/Write/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/ConsoleLogger/WriteLine/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/ConsoleLogger/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/ILogger/Write/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/ILogger/WriteLine/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/ILogger/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/LogSeverity/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/MemoryLogger/Dispose/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/MemoryLogger/MemoryLogger/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/MemoryLogger/ToString/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/MemoryLogger/Write/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/MemoryLogger/WriteLine/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/MemoryLogger/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/TextWriterLogger/Dispose/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/TextWriterLogger/TextWriterLogger/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/TextWriterLogger/Write/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/TextWriterLogger/WriteLine/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/TextWriterLogger/index.html
create mode 100644 ref/Microsoft.Coyote.Logging/VerbosityLevel/index.html
create mode 100644 ref/Microsoft.Coyote.LoggingNamespace/index.html
create mode 100644 ref/Microsoft.Coyote.Random/Generator/Create/index.html
create mode 100644 ref/Microsoft.Coyote.Random/Generator/NextBoolean/index.html
create mode 100644 ref/Microsoft.Coyote.Random/Generator/NextInteger/index.html
create mode 100644 ref/Microsoft.Coyote.Random/Generator/index.html
create mode 100644 ref/Microsoft.Coyote.RandomNamespace/index.html
create mode 100644 ref/Microsoft.Coyote.Rewriting/RewritingEngine/IsAssemblyRewritten/index.html
create mode 100644 ref/Microsoft.Coyote.Rewriting/RewritingEngine/index.html
create mode 100644 ref/Microsoft.Coyote.Rewriting/RewritingSignatureAttribute/RewritingSignatureAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Rewriting/RewritingSignatureAttribute/Signature/index.html
create mode 100644 ref/Microsoft.Coyote.Rewriting/RewritingSignatureAttribute/Version/index.html
create mode 100644 ref/Microsoft.Coyote.Rewriting/RewritingSignatureAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Rewriting/SkipRewritingAttribute/Reason/index.html
create mode 100644 ref/Microsoft.Coyote.Rewriting/SkipRewritingAttribute/SkipRewritingAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Rewriting/SkipRewritingAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.RewritingNamespace/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/AssertionFailureException/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/Assert/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/Logger/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/Monitor/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/OnFailure/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/RandomBoolean/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/RandomInteger/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/RegisterLog/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/RegisterMonitor/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/RemoveLog/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/Stop/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/ICoyoteRuntime/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IOperationBuilder/GroupId/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IOperationBuilder/HashedStateCallback/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IOperationBuilder/Name/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IOperationBuilder/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeExtension/BuildCoverageInfo/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeExtension/GetCoverageGraph/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeExtension/GetCoverageInfo/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeExtension/RunTest/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeExtension/WaitUntilQuiescenceAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeExtension/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnAssertionFailure/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnCompleted/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnCreateMonitor/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnMonitorError/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnMonitorExecuteAction/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnMonitorProcessEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnMonitorRaiseEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnMonitorStateTransition/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeLog/OnRandom/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/IRuntimeLog/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/OnFailureHandler/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/CreateFrom/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/CreateNext/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/GetNextId/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/OnCompleted/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/OnStarted/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/PauseUntil/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/PauseUntilAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/PauseUntilCompleted/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/PauseUntilCompletedAsync/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/RegisterCallSite/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/ScheduleNext/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/Start/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/TryReset/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/Operation/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeException/RuntimeException/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeException/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/Logger/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnAssertionFailure/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnCompleted/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnCreateMonitor/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnMonitorError/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnMonitorExecuteAction/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnMonitorProcessEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnMonitorRaiseEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnMonitorStateTransition/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/OnRandom/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/RuntimeLogTextFormatter/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeLogTextFormatter/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeProvider/Current/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/RuntimeProvider/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/SchedulingPoint/Interleave/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/SchedulingPoint/Read/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/SchedulingPoint/Resume/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/SchedulingPoint/SetCheckpoint/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/SchedulingPoint/Suppress/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/SchedulingPoint/Write/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/SchedulingPoint/Yield/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/SchedulingPoint/index.html
create mode 100644 ref/Microsoft.Coyote.Runtime/TaskServices/index.html
create mode 100644 ref/Microsoft.Coyote.RuntimeNamespace/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.Event/Event/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.Event/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.ColdAttribute/ColdAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.ColdAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.HotAttribute/HotAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.HotAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.IgnoreEventsAttribute/IgnoreEventsAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.IgnoreEventsAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.OnEntryAttribute/OnEntryAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.OnEntryAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.OnEventDoActionAttribute/OnEventDoActionAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.OnEventDoActionAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.OnEventGotoStateAttribute/OnEventGotoStateAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.OnEventGotoStateAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.OnExitAttribute/OnExitAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.OnExitAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.StartAttribute/StartAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State.StartAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State/State/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.State/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.StateGroup/StateGroup/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.StateGroup/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.WildCardEvent/WildCardEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor.WildCardEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor/Assert/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor/CurrentState/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor/HashedState/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor/Logger/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor/Monitor/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor/RaiseEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor/RaiseGotoStateEvent/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor/ToString/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Monitor/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Specification/Assert/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Specification/IsEventuallyCompletedSuccessfully/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Specification/Monitor/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Specification/RegisterMonitor/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Specification/RegisterStateHashingFunction/index.html
create mode 100644 ref/Microsoft.Coyote.Specifications/Specification/index.html
create mode 100644 ref/Microsoft.Coyote.SpecificationsNamespace/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting.Frameworks.XUnit/TestOutputLogger/Dispose/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting.Frameworks.XUnit/TestOutputLogger/TestOutputLogger/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting.Frameworks.XUnit/TestOutputLogger/Write/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting.Frameworks.XUnit/TestOutputLogger/WriteLine/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting.Frameworks.XUnit/TestOutputLogger/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting.Frameworks.XUnitNamespace/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestAttribute/TestAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestDisposeAttribute/TestDisposeAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestDisposeAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestInitAttribute/TestInitAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestInitAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestIterationDisposeAttribute/TestIterationDisposeAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestIterationDisposeAttribute/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/BugReports/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/Clone/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/Configuration/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/CoverageInfo/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/GetText/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/InternalErrors/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxConcurrencyDegree/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxControlledOperations/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxExploredFairSteps/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxExploredUnfairSteps/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxFairStepsHitInFairTests/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxOperationGroupingDegree/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxUnfairStepsHitInFairTests/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/MaxUnfairStepsHitInUnfairTests/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/Merge/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/MinConcurrencyDegree/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/MinControlledOperations/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/MinExploredFairSteps/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/MinExploredUnfairSteps/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/MinOperationGroupingDegree/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/NumOfExploredFairPaths/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/NumOfExploredUnfairPaths/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/NumOfFoundBugs/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/TestReport/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/TotalConcurrencyDegree/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/TotalControlledOperations/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/TotalExploredFairSteps/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/TotalExploredUnfairSteps/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/TotalOperationGroupingDegree/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/UncontrolledInvocations/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestReport/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/Create/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/Dispose/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/GetReport/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/InvokeEndIterationCallBacks/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/InvokeStartIterationCallBacks/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/IsTestRewritten/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/ReadableTrace/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/RegisterEndIterationCallBack/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/RegisterStartIterationCallBack/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/ReproducibleTrace/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/Run/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/SetLogger/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/Stop/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/TestReport/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/ThrowIfBugFound/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/TryEmitCoverageReports/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/TryEmitReports/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTesting/TestingEngine/index.html
create mode 100644 ref/Microsoft.Coyote.SystematicTestingNamespace/index.html
create mode 100644 ref/Microsoft.Coyote.Test/index.html
create mode 100644 ref/Microsoft.Coyote.Web/RequestControllerMiddlewareExtensions/UseRequestController/index.html
create mode 100644 ref/Microsoft.Coyote.Web/RequestControllerMiddlewareExtensions/index.html
create mode 100644 ref/Microsoft.Coyote.WebNamespace/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/Configuration/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/Create/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/DeadlockTimeout/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/MaxFairSchedulingSteps/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/MaxFuzzingDelay/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/MaxUnfairSchedulingSteps/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/RandomGeneratorSeed/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/TestingIterations/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/TimeoutDelay/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/VerbosityLevel/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithActivityCoverageReported/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithActorTraceVisualizationEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithAtomicOperationRaceCheckingEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithCollectionAccessRaceCheckingEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithConsoleLoggingEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithControlFlowRaceCheckingEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithCoverageInfoSerialized/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithDeadlockTimeout/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithDelayBoundingStrategy/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithExecutionTraceCycleReductionEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithFailureOnMaxStepsBoundEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithLivenessTemperatureThreshold/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithLockAccessRaceCheckingEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithMaxFuzzingDelay/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithMaxSchedulingSteps/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithMemoryAccessRaceCheckingEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithNoBugTraceRepro/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithPartialOrderSamplingEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithPartiallyControlledConcurrencyAllowed/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithPartiallyControlledDataNondeterminismAllowed/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithPotentialDeadlocksReportedAsBugs/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithPrioritizationStrategy/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithProbabilisticStrategy/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithQLearningStrategy/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithRandomGeneratorSeed/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithRandomStrategy/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithReproducibleTrace/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithScheduleCoverageReported/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithSystematicFuzzingEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithSystematicFuzzingFallbackEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithTelemetryEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithTestingIterations/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithTestingTimeout/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithTimeoutDelay/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithTraceAnalysisEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithUncontrolledConcurrencyResolutionTimeout/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithUncontrolledInvocationStackTraceLoggingEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithVerbosityEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithVolatileOperationRaceCheckingEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/WithXmlLogEnabled/index.html
create mode 100644 ref/Microsoft.Coyote/Configuration/index.html
create mode 100644 ref/Microsoft.Coyote/index.html
create mode 100644 ref/Microsoft.CoyoteNamespace/index.html
create mode 100644 ref/toc.yml
create mode 100644 requirements.txt
create mode 100644 samples/actors/failover-robot-navigator/index.html
create mode 100644 samples/actors/failure-detector/index.html
create mode 100644 samples/overview/index.html
create mode 100644 samples/tasks/bounded-buffer/index.html
create mode 100644 search.html
create mode 100644 search/search_index.json
create mode 100644 sitemap.xml
create mode 100644 sitemap.xml.gz
create mode 100644 tutorials/actors/hello-world/index.html
create mode 100644 tutorials/actors/raft-azure/index.html
create mode 100644 tutorials/actors/raft-mocking/index.html
create mode 100644 tutorials/actors/test-failover/index.html
create mode 100644 tutorials/first-concurrency-unit-test/index.html
create mode 100644 tutorials/mocks/mock-dependencies/index.html
create mode 100644 tutorials/mocks/optimistic-concurrency-control/index.html
create mode 100644 tutorials/overview/index.html
create mode 100644 tutorials/test-concurrent-operations/index.html
create mode 100644 tutorials/test-failover/index.html
create mode 100644 tutorials/testing-aspnet-service/index.html
create mode 100644 windmill_dark/404.html
create mode 100644 windmill_dark/__init__.py
create mode 100644 windmill_dark/article-nav.html
create mode 100644 windmill_dark/base.html
create mode 100644 windmill_dark/css/base.css
create mode 100644 windmill_dark/css/bootstrap-3.3.7.css
create mode 100644 windmill_dark/css/bootstrap-3.3.7.min.css
create mode 100644 windmill_dark/css/bootstrap.css.map
create mode 100644 windmill_dark/css/bootstrap.min.css.map
create mode 100644 windmill_dark/css/font-awesome-4.7.0.css
create mode 100644 windmill_dark/css/font-awesome-4.7.0.min.css
create mode 100644 windmill_dark/css/highlight.css
create mode 100644 windmill_dark/fonts/fontawesome-webfont.eot
create mode 100644 windmill_dark/fonts/fontawesome-webfont.svg
create mode 100644 windmill_dark/fonts/fontawesome-webfont.ttf
create mode 100644 windmill_dark/fonts/fontawesome-webfont.woff
create mode 100644 windmill_dark/fonts/fontawesome-webfont.woff2
create mode 100644 windmill_dark/fonts/glyphicons-halflings-regular.eot
create mode 100644 windmill_dark/fonts/glyphicons-halflings-regular.svg
create mode 100644 windmill_dark/fonts/glyphicons-halflings-regular.ttf
create mode 100644 windmill_dark/fonts/glyphicons-halflings-regular.woff
create mode 100644 windmill_dark/fonts/glyphicons-halflings-regular.woff2
create mode 100644 windmill_dark/footer.html
create mode 100644 windmill_dark/img/favicon.ico
create mode 100644 windmill_dark/js/base.js
create mode 100644 windmill_dark/js/bootstrap-3.3.7.js
create mode 100644 windmill_dark/js/bootstrap-3.3.7.min.js
create mode 100644 windmill_dark/js/elasticlunr.js
create mode 100644 windmill_dark/js/elasticlunr.min.js
create mode 100644 windmill_dark/js/highlight.pack.js
create mode 100644 windmill_dark/js/jquery-3.2.1.js
create mode 100644 windmill_dark/js/jquery-3.2.1.min.js
create mode 100644 windmill_dark/main.html
create mode 100644 windmill_dark/mkdocs_theme.yml
create mode 100644 windmill_dark/nav-item.html
create mode 100644 windmill_dark/nav-pane.html
create mode 100644 windmill_dark/page-nav-urls.html
create mode 100644 windmill_dark/repo-icon.html
create mode 100644 windmill_dark/scripts.html
create mode 100644 windmill_dark/search.html
create mode 100644 windmill_dark/topbar.html
diff --git a/.nojekyll b/.nojekyll
new file mode 100644
index 000000000..e69de29bb
diff --git a/404.html b/404.html
new file mode 100644
index 000000000..3a246bc4d
--- /dev/null
+++ b/404.html
@@ -0,0 +1,173 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+ Coyote
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
404
+
Page not found
+
+
+
+
+
+
+
+
+
~+YJUp!0;D%oibYPRbDQdEBICN{ZQg=;cv;OT$T*C>_j}xyP(oy
zgwF%q3MVy2kd#mo|MZK+oe_)4*_rH=znmeFH4kW?wq8yVp5o&45+A8Qf`7~ihdq%1
zqBL66Yst1(K6(z>LhV0pvWHqsv%ZDKRO4K?e%Je2iESEl^tw}nQ=lTl(4+{psr9ag
zXIuHwla@aS7H0iuHO`wY28&~vGz~Es;=co8Za&Y*ICQN2-l%lnZER2%`zWHcOhr}n
zZn_R%@UO>BS=MM^HvTH;c#_aXB2S^iVJ)Vd-r75~w$i+IXZ
zOA5jHreU=P;h0K$(ycCLO|j%7Vrlof6WPuIIdVf+?p*iHNrfz!%41eqVnOVM_bzOT-+XImuSeoENqKsmu;^%{OchQ!!tc6gNpzw{K%pvh5t;xL|@Js
z&^;ySC5~Ywii_|rbQcfgq!%)IP!!Yj5*AlbyT2XEtDVM(pf;E*8nSP79+z`I0YFZl
zw!ZSDKAfQ1{z|A?RHft0B~$l}p8m|+b(ds`<^^+=#_c*ytuX>B*!{CMV(CG;L
z-RyrMIPf`hNms`*jdM)T4iD6BVC4t@KxM#;VItYVNs-hzXDg@>l#q#IkQvn@U^NjIM267`nPq9DDC-+1=r;^!decwOhxmXamg
zKt5l$X#HI%))<+z=ys^Geo&_91lZ`8-ATmZfmXVpGX;EZ8P%0;uOyFTMdG8j578d)
ztoMesTd+!JHKH5&`#09}-`N?QE1ajklvM(|)sgFQbhUqZPrVbUCaPo(o2mPl17Ric
z5rlE>y>z#iojfk*V);Bf>Vqoh_1t*k@4MJOx9skzrBPD7w2sxrg*T2q+*vU+-h0Vb
zD_bKc8r$r)G-IKDQ)#aVqxKrv*5#eLB-!&1)aceO9yf6Kj`v;%*602794{k|;oWIy
z^YlrgUizKxPp+@@OM{qdrNvy0K`vCC!08q&`Boi-f5~$m6a66U*r~MzDl*mMbQf!u
z7|+fjah~t#?W+CP;E7H8gU>@iNgkx5S2I^n@WDH5zmsfDz+TQC4xD+HH((o6_80_A
z4)&Mrue!8Q%@Hg3_XVp?VGLGr26Y|>cE4M$IMb9Y?|zY3%{dT#P9Ff@gg%Ghh0c>9
zE{6$h%5!lI%TzvUd5Vq668b7(=s9t%SP%Y;VKGF~ep>YN7u<}k_S;~*5IceGX76g_
z`QGumK9~&uvJXtx;a(h;5Tf?v@!~C}yY4~c#q1yU!da8{TkRC_rrkBsVJ$nSVE&Iy
zCE=f&p?+RYY~J9|CYT|~UcAlwQ!5e2YE*^3rbTw%EuF;Ws57j=;?
zBpN^;pp?P-^?VNm$3ZC@z_HEn!ouJ9xBXUaYVZHZd$s^gi`~!ip{-j8%&@czE$j7+
zAOVq%1nLnA^dqnC5CC`xh%q1D{l}8ivBDt{V>kLWia*>blAqA0Y69jwev-JLrO#Q2P
zz#M(Bg6kU|z3!U+u(q5Y*H>I%nV>ra215Uk-y*$;g$>5^1OdEpp=UHGO2h8jRL6by
zpbaG30d3_s`gTit~-4F+>S1?FywKEhx1fLY{#85zFIZjQel4#eud
zkd#~;2YtA>!FAzbB$M%Rgt@(fN94TMFaBi~FJsqi$f(osz{=QT7wi9Am{j6aOla%n
z*%dhyhxVN#!_E%Zj0wzIYld4rT})xTW8io&mv|C?80aj>+IRtE^q?D&ue;h%Ng7hiY}-L5A>v|IQEjD0(G=
z=t2jxJ5JOrnA9_+>QescZxh_7e;o3r$a?$b9`n_0JoJnlPwlzZMZc^U^-6Z&%6^s;
zB4GIJG}E$p@y5}HrR8JvwS8?4vAu(p@pI|1z$29?8~9!s2Y*heyI3)@bZ|?u8?rEk
z&g$cF8(X!)W_WTMObWG3%f-)j?|;a1c=R~)C--~CBmWx|X{W5I1ZI`BKg!i}S$W{;
z#;Sy3X_?hs1sgX(NT^^kl=j*8bsaD5+lWnJJv$?e-u>Dkf*k(lTK+o*OqhL-I?uST
z{Jw&GC}YXU+lA7>&%N`tHGKgFmp)H~E
ztXnr92(*Ed{(-m%5Nwc+^M2yz=;d<0lJ|*43QMkk(0P8?a0(n-*33CE(rPk;VI
zYG56|Hcwb)+j6@7CcCZp7g9m+ZcB1JRr1!?=Ug}`85Qst4dpJ1la*wlrzDTzR%CI9
z`2b4>|Ccon1bgoqs(A)!?rPAv*g$Wob9;2LG=TR;Lw`EiRp-433r$}4zfNCWd`m-c
z{+z0r;fcXG^&pr#&TljgY%Z4z^eu1Uav
z*X4P)?XAYM*ElWX+ka|mOMg)lPwAraaeiwnak#SHjX|6DpKJns{O{l~EIf{TSc
zz2qJ`1nY@x6nER1JhbabvL9%w9;GYhuoAf`lK$(*b2RAApt(~EHyRrWUAf>&5$g7Q}28x8DOW0t?ZD;%~Qb<*iUelvX7_L&>_z4$p>U!_hd}rf6FIkqd
zGLoozcYEl93ka-r;#+S|!wjOdoMy0R8jEJBmth9bRXV3whM+9gS{Jm^KakPHAW<=&
z$ay+I=9oY5I*}+0?29aWV}mV{9+^HtO3sq_JTHy@yoaB;q8YJocUIRg<{Ujs1cN>$
z*~4nTH-k|EtzE1H(f
zF$KR3FZ3tA+6hj_QRDc0PB|!(*oTDV+$!jZP|I&MB9zJd2Ozu9Nncsvg*Pf*5YF0~
zrzH5}2Y+QVHZKd}Yp0sLXHt?T36nf9NJn`2ADCFU$sk7f>d$eS!(_&*Tt=8Z_->^7
ztY0Tvm;g#^`a~aLZQRt*{MfJB*0<;rYr?faRr*Ii$8zkw#ELLu2i_ZyrCjk2?<>t+
z1vY;@cfV_)<4Z+LL%t6a!{#wcSqNqp8Yy3EfyF+|ori
z$Erf^W0JksyV!LDZb*8T?IchV?jY|LwJ;9YxE~Di$EnGzW_A#(J0+qANi5jT_h@LW
zx+<2C$1sJdhea9P@VVQbR(R{;H71FQKIXvH4b;rRI=tP2&`&~(r)HC63CuGcclnhE
z%C-!7tAa#U4TFjiA46Zh&tAOq{ekY-J0IG2Jc(}#NoB7#Zc4siG%D_L&10bb+2)f$
z%<#eFb9@}VC0%Y_TN2(R<>vZ4gp17JD!(@sFO11#@AbBKW^@dz0jQ$y9dFL9Tj3Lu
zR#wgF0?DS$AWO6Bh1z#0Dfp8pYqGS7?F4Fc{`IiJ<9=R&#*UeeU<41brm;vmS$V=j
zoA%DN;19h_$u-68(syZY%UGp6Xy1$o7P>g>cW&%TjlLggP>XBsJG|u-sn=QGkYyM<
z*Jt*9vo`i|WCh>jULh-y?(8|rFNcA9ea&^yZmEAD->cMx!GShR;yUELI#*7AwA8nb
zsS{_`oVX0Tag2AU)UCPu`zy;F`Wi7slzr#rJ*Z4?c|WxgNMH{Y(+xTgptZL4Ah!cRgL5pX>bxI2e9-JCpxa
z{`9p5T08`WR;=oB2dz5%WKp5iJkpVmN&6I7^ky&6xZ-cy{nWVN@)yBNqH4+m%c1>#
z-ZZ@|E(;bQmC&k~XKfWGNpd?u7L}W2nt)BVVR|D^)aCA)c{*INOdOQbE;xT`^k^orWrT_99XeSKqgaZ6FEgRX9Sj
znZ365-m3Dmk^IuBiAUAY#b>YPqH6U2fv&FtJ6l`7k%V#2?$HweZfF?)83+Hej^8me
zE{W7^t^4fbOlPm}?GN4FEMBy@s_X~IHAn4;^ZlUUm792LY)&^MbZ72Kl-rTSuK37v
zay6~+UR+sRmYB$N6rW#?XSB6)VP?Yv5(@zEaK20EOQie$m5E-OO|P3fxc?_gmBf1F
zHz2t{kLu=?pA*n4o34S+4lFBP)qQM(n^2Df&_I-RdzcIQ&Ai9Xw;`&LssvxHPZzlq
zp9|4bKVi&P>g?WZ|3IuHX`6-LlDUxh)2_O{ma$oJKM#gA@jps?+?R7{I&>(fuIvdj
z@67w-mp65B@kAhg$-^&Jozea_fStUn>VZRI4-YsNTpQ&%BabvJBe;izwelt-lB_4l
z>YX2i<@B9(u|xcpKMnKyfXx%`xNb8ob_|%QCHZUP6_I6gubpN*g{|@>=0X*{{QUbR
zwRF9VPP0F|ePLi(1pG|E>Vk*B!sJnL*)QW^vY@@=#}Q_{9w=Zrfgv}iwNf$gDFi7(
ztm_bD>%v;S!i4kXXtlyN#9MlA@H}+*>uKE
zT0wqPaz?8Sy<_+)Tk>sotG`)U8&k-i(rei{WhJe9fPN3Oo}CkwgKs|TojMp168epNVBPfpDnnk%!%`f7}Q3(LM>Vq61!hr!KzW6VHzz
z)ZuNHU8ls2@AmzZsrMsw*X4ZQb-RXm+2AWQ?C!0DF-}^O#z(aoziJegd`7Qy}PcfF!bmX$n34
zl^FKMI|V^HKpl)?DSBCG8NWZS^;15`JNqbFlIZPWDklnEV#O@^nJBlO^GMez2in{W9yMZczK!P9lCk5mM@GOKEG
zoy&~-_Df7{&Qocq+5SQ7zd=W4tzdx{{c~mi=
z2u_6#ceKs9W>%ZTx;?hI_a=gDcgNW5Rl4VtmqW-U&6xB@%Nk)j`&{aT$bj;&ytUDC
zX9vfjc@;v{2`g&Vt1|J;{D~=%(zK=1jU?VRRxuPtW
zbm7qZKERk}w&aBJDjSAB?q1sulrbDIq^PLk$3&WA{km6_Gglq3(03sf{7RwIvikO=
zE(g!G9I}bAq#NH?7rE9@Jz5V`nt>=?U{8@+5UKS0W0;B3p?)SqcABT1W6k>#yX`ai
zrY3o|fOrJL=c~<8uxy>MlaksatI&P3Tnh}(psZ9)Sg&O#;-q!Xk!ZH8&150KF_+BM|M
zYv|)RBMJdYz@{so`=Tj>7SBh^o5!s+W>CA-p+)!I)nKuk64Q~>C1GDb)yk{Jp&9n3
z6#9|LB(9m~E%kA|I~DYG0v~i-V1nUcsFh=_@W{Y2>e7It{QY`t+}S%~IY~LJ-3eQo
zTJ%?0%V1WSYsaoZN>8pqYa}JG0wenr>w10ocKBz-{-`5K3g?Sh`hoz_IZo-
zQ;qJh$S`JdpH_BZjZp7+mGP1|UUWa0sY3?w*Be{kd*s}Iwi~qRHFqSqu$CgsE-czm
z_YXv&FxotAy$W}Tr1#eRHaARD^`bXWneivY#6P;QzGo!8uwv7o
zgcbEgi{a$@6x8|Wnl!mhA)h~)2vH^|a%3(YGESK47#Y5*!#zsdhyDQna{K5niV%I_
zuac-EtN=uxP#bS)loXYK?(XVq3kZ>Un5RYH*HO`{4|O9Btb@~iEZuy6(9WSCSX1O8bI&Rj
ziF~!GcEeC&Y-jRd#Xea;P3O1Q%e3dowM(*z{KZPiuyX!u;z`0Kg07*8JE#mfzt`$F
zaERZi@-UfRg_Pnq$J-B7zAgbgd$vqEWQb7P_wdW)2d%VW|0;Y>MNP_9@yEX@b9h
z(qk+!sUe@EK`6W)<#|_87scBzx?fosg_B@vVKW@0tkYf;}_gJdW
zuj~{LF8Rb6(wSJcw6M_AbQYRced|$IsL(W}C0GMgLE)B|QMaMJs57g|J3aFPc1kb(
zL<**@1SIiE0?Nx|mMn+@CIt)}b#_2fIvy1FfIUQ1Z#<~r5hm0Fzzu@13|2%MrVs81
z+AVuTJWLEs(b7R>^J?$iVBq}n_CxM~H&7+IMMWI<@QOCh2z0r@yg$OQRX!Fg1&6%x
zxGuf|chR2?bJNa^>y7vz9K>uI8B94V7JUbAw$-~Y^+Wz8#nTki4*{DW6WW=$kK~V!
zEYbFO_r45UEmHaRS-kFx>Sjva9jM3_qNF%`#%NZ3Bz>=9uneIohtYP`3U^1
zk*AOOT5++TkL*i+y>`;OCS|b%7XgWj!asr@Vm*QQL7{>m-6w%Z|67u?_P;$WhNMw%#r-{08)ZZhDQB!_`Ma0(0UI#Mfkk=h>Wcv+T|Z}p_8k7czsh=Pcl(BoYjk>^GFL1%^xnB+_;F^
z@ljK71ol)3p(Yy(mFjf@5^{D^dvek}rP|?&HRyMt9s)VzreA2^~^FZSfri*W6G{ADCB?#8S7$7og<=g4sRxWw1@Z&528<2cf>4lfr#*01A
z&7k;^wMsPiSu9zc}@Od}PCibKrHxE%8V5SJagR(6>+Faw9&+U?@@MF{+Sr2^sDzVsgleKO^H9Z=KCkDZ&UfcM%3o)IwhDs->LDfyNJD>4JXqN$ZV
z=|;sBWCe-BCUz&bBQt#gmH98d6yD;>XqzRPPrsNT{LwYi5@+}OjQYo7@M`(2`Gw_o
zL4CZltMn*)O6OhOdtWMA@KA5wNhNBjT?Sw=ix)tjyfGz>y&OqUXa4K*(piE;f)J_J
zEQNtshNS#@qk=LBEg`p;WE+-Y?Ew8VWAQwH!8!Hftq0){59n8vY&h#5y?%ZLr17?r
zfh=CoH=K2>q$I*p7yBMquosp^YN^YQxB{=eB(RHibHaQ5&_wSaxX1p;sP(^cn?t8p
z;>$dt|
zgnlFVTUga@$Pie4tL*oe41b0=rU>rd$_cMlRFkld`AKg3Uq8eHnZ;(2Z?
zE(9zNRfgMW+aQ2J3=Vm(vvltd-FQmI4JP+fn_Ioo;#(_?Mp(phY7#^OJnW#5ts^ON
z0U#DN(+4NX6m*~k?@D>^P3kDk0CT?;
zJ{al07rYg9qH2m(IfnQrQJE~}0PK}L#!np>5)TB|#eO3FguHd8_~mTVO^;I-6Nv_@
zk}OszfM7h1&6vWDNMH}%z+yo^d-XK9%}*>__lk^~J{|q1v`bHq9}#>T@bkcoz9_Nq
z28uMe<+F8YuIIv=iGz|5C&+-YA$J3Uax&kC{{XRPk3J)Kn$pW%g7?F|9MfbEBVEnA
z%pimEN4pM2Fu%YuNj(<6;J37j*`#PfWb
z!u}hx@OOtSbge!!4VIq@!3vX>+B=ioiODCqB-QX~F@Z-xL73svoGG2@M*@HyONv3$
z{Aoo1C>&DbG=rx~S^!We>L}|=+JF#qP6CstrN=Y?pyblgj2Z<19qG$W6yZP)?@p%E
zf#QH1KmAnU{&P(O<)s}c0raDvT4<*MKnvIMr*t&Y#VF)Z0*)x6iU5#NMHSFv{66-qdB6A
z04UGpMHB#a6sN5ePy+U&r4&#H5AhZAtRMGOeuBAZ&S!6}6jz&D;%8+&ixK9m!g&-?
zT&(C@7cBWB@~yj3(uybpM&It%jj;Jg(uymhnj%M4pn#f=jytPoIPahT099-1YCzJr
zbDMJAeO;)cyD6O0G&F&mr22~Cd_?>FN2xdWuBAWt`J#&Jmd7trogL_+pr9OzD58KD
zwI9-oC;@xX?L`!I0mJ_Qtw0n}Kmey_nkb+LXNm#hiYNhle=1d?iUd19r5Vq9D4=79
zBAgC?Dkz`>wH;`pfE+pgRHK7M6ac*q0*WXA6yewOqKW`;>rUt>qJSNonlnWd0P=8Y
XdQn9HJE5R-{V1Y<6dch-6aoL)9KlrO
literal 0
HcmV?d00001
diff --git a/assets/images/EventGroups.dgml b/assets/images/EventGroups.dgml
new file mode 100644
index 000000000..5248dae6c
--- /dev/null
+++ b/assets/images/EventGroups.dgml
@@ -0,0 +1,60 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/assets/images/EventGroups.svg b/assets/images/EventGroups.svg
new file mode 100644
index 000000000..bc4267f4a
--- /dev/null
+++ b/assets/images/EventGroups.svg
@@ -0,0 +1,99 @@
+
+
\ No newline at end of file
diff --git a/assets/images/FailoverCoffeeMachine.dgml b/assets/images/FailoverCoffeeMachine.dgml
new file mode 100644
index 000000000..1ebf3f9d4
--- /dev/null
+++ b/assets/images/FailoverCoffeeMachine.dgml
@@ -0,0 +1,256 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/assets/images/FailoverCoffeeMachine.svg b/assets/images/FailoverCoffeeMachine.svg
new file mode 100644
index 000000000..9610a1a90
--- /dev/null
+++ b/assets/images/FailoverCoffeeMachine.svg
@@ -0,0 +1,41 @@
+
+
\ No newline at end of file
diff --git a/assets/images/FailoverCoffeeMachineBug.dgml b/assets/images/FailoverCoffeeMachineBug.dgml
new file mode 100644
index 000000000..f3fce94b1
--- /dev/null
+++ b/assets/images/FailoverCoffeeMachineBug.dgml
@@ -0,0 +1,200 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
\ No newline at end of file
diff --git a/assets/images/FailoverCoffeeMachineBug.svg b/assets/images/FailoverCoffeeMachineBug.svg
new file mode 100644
index 000000000..80e603228
--- /dev/null
+++ b/assets/images/FailoverCoffeeMachineBug.svg
@@ -0,0 +1,428 @@
+
+
\ No newline at end of file
diff --git a/assets/images/GaggiaEspresso.png b/assets/images/GaggiaEspresso.png
new file mode 100644
index 0000000000000000000000000000000000000000..5aeff470c4cea898846c26b3af2d12b9747439d4
GIT binary patch
literal 85087
zcmb@NWmgK{I?CSmhRah=cdhP%K
ze*gapQaTqt6#xkUP?mr9*~j?g1*6?+$#WfJJyWY=w7^}~8)a=c6oA#s+-(M6`FpdN
zCJ!!FQW#@A)vS?bdgV^6+qYS&Q%YtWXC5JD(WFkjnZ$1RFSO9|Eh;85J*H3y`r86`
zohm=^$$Jy~;QLDNqt0LGAMrfGJS$9K9%tguCmr+6U1WF5VLiWxe$%$hp)~t#XcMd+
zg&Ih^RA4yWcK?5L@_7-&bu7MV@kAI%U$`BH(!FxYh_^L%NH^Cv3U}1k13SwikDV1Y
z+MZS@{&e8+38PNuTD%%bXHeY
zt3HUQBcvXJZJ@|M(qx>Qotbx_er@Jj_qb|Lv&l
z5Dy)my}7vwm$j~GYnEJGSzB9MS|VFnTA`$hJCBP!z3?*+Ft-l~aBz1scT|#B0Qv
zJOP6rHDv2L&FTJ4l*`LD*dMkCdoF-buB@+v+G}f@*hT7VIyzkSx%cMwdGq~`ua=MU
zs3Z-%<22N{V?w#(G*qG3Hl;UGEI+`6^xuoW&tQ5S!TS6AWg$4-s(Nnqq^4^0r1fvzc{|e3pU4l|)BfAmHUL%AKD5%kU|8hj91mG>^87oT)PIlt
zd5v3dzS!^?`>ahoJV^U*hmlaNti*<0);>m$jOYoVNUPynN}zqe;7>*R=+kYD%YU_Y
za2qseK{y(DhE@FSMrZ>`(qp}231+(WKgj}x3a$6QPbkH
zbNISo^6JbRV4MeMqz=IGFb-Gm@EmxUKy@I9U4AyW7#TGN2dPAjM_9
z|2FZU8vqjEZ32eI0F-o9+SC3S^_!61a8PeY>ZE_0xdJ>^4h;uM380A~mQIOgibn4$
zRJ!WakZAv<=7a2(f2Yb1lo|kE{%vzxM`I%!U3%_<-TIvfW}~ExWScNhxTDVF@~Sm<
zGB^0<0DjqZf3(nk27`~hP6pQ^w&JJaCvll!e*dnvOa}t^YU0bu;@;D8bYtV(UTJSlJSAXvjkba;z)9g6_T4v
zO$8kvA9}vM^$e7ufJl1fHf^FT=ndUI>Qh%ti2Z4A@`NAF&&0j~T|d~ETy}@iO+`3|
zPN-;aISZeRO``mw3pzeB=K^a0438oOSqF(
zfAl^W3;9CvU2kcr2ITw-JP%E
zIw3E0xOS}vJf+vZaow-?Lx{7*t2wT1=ERXG7g$M2g}Z%D4l#VBW2S7<5S$0rZ1J#D
z?5zcg3#$bUHI?T79^U>48ftzSdPR(Jj$ZhBjKA?b;Db-T+B$gp9_}n3O&6rkl`zpE
zHlAtyZno(j|D<}ax=t=aXV=`CY1hCM+^V$VLNbyvGNRHzAQsBf>gWDeai0o4^i(Tz
z{STZ;o9>d|js^JfNJZ7?vlMH-S+e;}dIwF8v)Jymp1fiu*@1rC%ni@}g-|PE$qV+~
z4O($VykZir&{S4&M>UFo@P~2H>)o|_V$jkEt`GhT|<|FOV*KVRYnzO+y0cmBNo?Ae6~h577`-p$t*DJGt;1uo=q-LJb(
zrlwk?>Ig|XPEJlb=ZOVvU5%u&L8M)`cCJSkeAJOWcK3sy=&A_6erYjRteX&GX6tL&
zlb}Ws!%91qpjdgVl7ahA6MdwWxh9dR&^?`q%Z(vvYg-{+_+Gw|z2mEhz^bznA3D2#
zsXY%Iu^B}`2@rXGSL4*$>(H%j2z=3qF8HQ--RG`%Y2jQg5$3)#8$ILQdH3adGGE%;
z$IhHTc<12n*W0f*kz@pD7S8)MTJiAOPI7UhL29F#&ix
zf5=SDyjbWT;OGUGg5qL^V+&|%q?#IDLg+NaS%<&`P16s1Gkd1i_~<}}8Fn?EPeDTY
zfAOLJj+IXDO`-JuB!n*D%pHQWA?CI-ym8ico*=U#y`4|FCwRsP1Pl`Jx`c4-7qK#(;A`ued
zX!`lUi(Ty0l^q2oGt#{4#5n?&Q!l=n4>-3py5B6iiUZJB4pQIO8(i`H$F9A--+ot&D*k29$H1nvLYP1`CAsuZ$2GEsvdgw3?xTkv!H2ExYI{A7alWUNP
z;^XM~I5oG+#Rl=aawiBp`^mQ6+1PwN8etLToCAg!R3I8xveth=jE)YsOEw|E?;0CrM3VYE_@J0xLT
z=91YB=mZ^C>0y1bQ79pR)b_-+@7-%b&!=IM=k35{_uC_@H4N*yrp_=dp72Aj-O=5i
z(b1UyT)nN#%=dK8K(712FOb&(nafQg^H-MV1M-80Dun&(WY_oi)Fv=P$;Jk^$J=xN
zSO2aT6o}7>Cu61em~gA>&Z6e#AoOO<8%Bi^1Pi>!qxIcM{?Q5**`LUxYQGb%HV)d^
zRBYlk>8vZFwD^S7U@7}kzL6IL;43jPpBhp@5Aro;tKUkF{w*E8+
zzzad!AWA~bVjppEzzKQ3r=zWXyB%6*r+iCivY-bTB74!MZ)xUy9b&nx_som-2nwC<
zFID~SC=klSQ4AeYw%X$~Q!CKNBHg40lebx{1lBGC%+LfF0c8Y;f|GjKX!^iIT6!raIgUtT{2XwRhWo|Z
zqOk2D4Q$)e-QdvLk|mTW!;U{fx<*FPUbfVvUskAAy(S(|^-tc2O*2eK|sTu;i#
z=o%VQ2i)oe-)?M1(b48gc-pah^H&TEpuNx#FFHo*Ddd!uS{F{5D!b3jWI_-(Hm?Kl
zhhCGXqTszm#C#^M*?)!y&5gddOs}UVVB=1=%QWkCNtvtK`z}Nu-Q#eZ%mY}X>r2yk
zp3>lEUsTxywX{UbaaCKX@yn48f$?RG4(`9!0{&UY{W>78NRfab-*>OIN9Nh))#2h$
zBiPU7YW6UqI(T6LBWYV+{(_Lzn&0|kc+6y$uTOkP*{2d;LS(*ffKb+p_WZ(-wzket
zF*OMgIAigI!{C;W)n!Jm5KS&b#drcpvhK}099MIb^z!76>^>Xil(!}5j-9HtHbjDz
zt~;L_>KQDj783cAIZm60@PPK!!p)mAtBu!4O&#rwx}RouW`Fh8=?Q^Gv&jMbZ+h2u|GgqwNym5j^1{_Q!7kNVy)zl{@zi<6T0KS(l
zO3h&05QUgx{8|#p6|7}
zpg_NiQqc}d5{{jnpKK89sU7#7q-!UKs)5TWd>(w}W)$dOj~b@<)UZ6B!Qi;K19>Rl
z_I5MN0sL0x`b~mSYry6W8}0M&DA3hkg4cC|f5D{lpN5Wm?D)Q1_Txnw?^UAit3lCD
z*NZ<39lYJ>Z~fs9mz&U$EFzW=^e8&n52kn+7{$6(v8~xE10{xhzl?Sc+`8e;4
z^haU7cTT{chD6&W?w^EE&$6n(pzpUI{|nD`mu*H8L?xRlaLiTt!5osUY0Ab#6(A}D
z*>`oq_yC-tP9%yig@^Vbc&6rM-uHaslW!(Mc=zMl+mgP`=dgfrPXS70E
zwDh^{ZuX4@GOJbYiJJXV5A?;^@3a_N;>)OJHz{^+&W{9W>3p8-B=6jJFBFslY^<%F
z*gXB(Ej_tDT!aeZ^bq&Lc41>jcwS~dj_VRhE_{o@B_Q&ZkDUbeRgu4z9v$6MemL*%
zVLIB7yN4t!|8B&WqZ{x4T*o47?W-_h*sW|TRPAzqIKzf<4-0lSq@sN4XOjVm-NPeH
z6&X995NVd@w>>_#3o*;Vn$UxXS_|Z#+XAI=moXDK{t~`h#rZb9)MyT?QHRWlQgX}E
zyr$UyJ?;j;n~?Lm5GIHv;ACF#T@^vlLx=NoJVD@v4Ez8%85A!O{0>DDaW4H}3VrMB
zJ7$3F(C@U>;Vwq;5Xa6=fE3;_3}l>-8sP|Y7mMNdU;AsI?M$5P$dRCi&Bwrt|z;4j*I+rH<01I}xiJMVpA
zCQwqvJO>PH7@Tpyj0khElB}L-`9gq?tJ1M{<+1}Y$@JwSj6O6=ka@xj?RvjN+)9v4~|F@uQS1qubro>tu|**@vwmNw&2~4*M;+-tD{kSOJY+h
zjgGs{DR6Lm|w-b3~XX`DzfK<`yE$eWB
zF0{qoH6i{sz9)T5$9(?we#%84ttZ!3+?twUjf1-QX?yj7&;hy7AuB#n`c4$qNg}9wwak6{rAwrZs!Q
zKA=Ql1wa|YI2^Vkw=8j$Lx|MXPa&!PSvJ;9wP6MS!^=-jnGgn%c4{-r72uGU`GFKw^0
z-bN%Gfwh+hT+7LD(bp3b(92FLr1jMT@~{|u6C8N(at>Pw@}
z*jm^uYMZJvm;(cGJq~6cHEGd+aO-$D(9;Hb({;{$PX%h>?Cv6
z*6B*D3dqb4+xac(Uk*$;-t{DneAcdd*CsCd;r22ySSp{UPS{@M14NUK3xWoIzNTB?
zzm8QAz7VlB`&6pIIMDE}!eRs^`{hRN@595;ZKeG2loGl0x6FpSd?h9sWrnOL(EXpRTLA;D*x}jVG-SBI#OT<
zb;V)xBDNxLATlOI+Fv9{zKO*lhzDqaz!m7~Uib#~^e^!qedOwso-5k%hLp43|19@2O>lTRstkKSX&0
z!f3Mu0-6gt^-^bo)JJ?nTti~qJR2&d;rvAJ-)I#=KC@T;zGnREYG2ddNSw^+7AT*A
zzQTjd3d^GI8DA*9-Vj1x6&osri;)Nhvk7rXy~5qiuqP+^@aJz|PCQD{2p_|i?BNN9
zYx=?4>5b{nHmt1GaYg}qO9O`yCV>y>)d=ym-lG4By(gh24~G!(Kb?O(U^bA)li*7N
z#L_Eb+`cVr=G(m^_vAM1gJ!
z9%$)CqDjgIf)XM$&<5Tk3B
zak%@O`m-+kZJ~(&MThr2P#+VDYe(mCpL4on!lcx9c`E=I+i_4A5%h|BL;0pct8m)%
zlQm`WZ08TlMk*xP8cM{;3es>}IXJ7B;%bx0T=XqaH-5o+ASEutR*87?YT7PK130c1
zq#pNpH5Z%g9Hv}cJl(UJJOF6sifK0km7q{TsALrnXl1srQwV=}JzOMTELiy%$JuTw
zp#n|q0w!PVr*+d#_-L~sGCvnL4}Yh}`>tI*2c0Pf-HpJWAupYL%2;vL?4{R-nEFx+oXkmK)Nn
zTQRgb=Uq~bk?Y@#SP%!69RIg)pzk$RMiRtOg|%UBH^aAt&X^9KAjDC!S|@a6DjX1g
zH2klQQFmC271zyq^uu=;Q=-i-%IDsUGm<5Ge?7_tY$3JbC}0?Az*%Lk?O7vZ}airebr
z*=AXr@0ffW1AH$he5(SIGPih;psV`e9TWJ<>-8zgsOT%={1wq78aN}WKx&5${D2(7
zflAN6D1t`l0SJ>h`D#tB_(u1-*Huh)ftecOzjdhF3O{k595j`=nUWL0DIk4(o-3}$
zE)xX)CuRsFo=~#&%1|S8Pa;&aO@{Rg{h+sDdj)(W|JmCd60)U&$!{0k7hpZu-Acq*
z&-v`jS&k&pR(TwKZTYFz&FK^6Tp>rmmrsOgIbLRNgpZpNSrM2rA1Wn!1q_Hsha`&C
z09Ey_hjN0}kGWpmsAl0q4NsIM_24brAA0fQJQPfULnn#KBjQa16Sh{u!Q(%U!p*vO
z))`f+3^t6fuB)iS$<~7y({lV(Gv+gRg%o9$Cz+A5Hm(aNU7=LPrlNDyjeSy!d^qAc
zMavtbmso$0UBzQXn?!nd#7haq7@T&c2a0=r>MYHz#EYUHzGhKvdyAdSWx^vpu$Sc?
zjPN%faK(E^pyCbq+Atbyk$wQO`c1@=;C5+H{>K_~vj9JM96ZXT?&FgV>dd1~*Mr8n
zgoovwLGbn8L_|R_!WnV8GV;@Rp>19KA;a0X`DFj`;--4!Q1Z=()a3ASVFgrF@{p;L
z*v#I`!QMaDquj6Dt^_g?Ri~F{m}QJ%zTHakg!F
z<+T@yU}Z#-V@Y!n@nOC!r743L>m^q)1fwbZ9HZpEmbn7Y9L+7V-`m?gy&+KXpV0a3
zx!hV&-bkN0_F8Z|qVQmy={H@fa_>Y6pS2dW{DKM7GOIm3nhEI(DH>-rs}c_eiB?;f
zZ-_EbDD6e8m4Vn#_L~xgW~~}es`gbw_^Zo~K;VI>40TKh@;1qPO?>WFO!npPMnm#}u;m+4e2HIU^F`dCRsscrOvP%|~0WS5*jrbkY;Y%j7O!(6DT<
z%cHHs>@7i8$@;8sEsB4~5hoGP##;ZBqinaClr^%tvvKn?mFVY=_ofv2Lticd9r@Jv
zuRZfjyYJkfsNKYvAw)mG`T35M!#^0K?5MC}du($kDVNq#FuG%*_9bPLwqU5ht=ua4a~
z;Q~h5=NR*vs&Z%@VgmUHc~}i;AU7?QGAJ2WztMzp;*wT@QQ!LrI?{9FP!&2|7k?2w
zb#M2V{~M{e2y(L;lAOf)jC|P74XLt3Q%?BTp{T47)B1K3t$wz5ik@F*5$Wjs{CMfR
z(HBCakd1gP@G7{GKRAWQH*VS)Jx30o*XYAwvpR)Qh#X{ElyY7BC<4lt{u+Hb9uC^!
zVk7UjdB@og?ZDq#YXAJ2n&8(k=kQ4))Q;oMVwz_