From 0a695ededda83f3adee8cb5cb479743d21ec1880 Mon Sep 17 00:00:00 2001 From: <> Date: Tue, 12 Mar 2024 20:05:37 +0000 Subject: [PATCH] Deployed 4294bd4 with MkDocs version: 1.5.3 --- .nojekyll | 0 404.html | 172 + 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 | 271 + .../azure-blockchain-service/index.html | 259 + .../azure-blockchain-workbench/index.html | 293 + concepts/actors/actor-semantics/index.html | 286 + concepts/actors/event-groups/index.html | 331 + concepts/actors/logging/index.html | 513 + concepts/actors/overview/index.html | 454 + concepts/actors/sharing-objects/index.html | 293 + concepts/actors/state-machine-demo/index.html | 284 + concepts/actors/state-machines/index.html | 519 + .../actors/synchronous-execution/index.html | 268 + concepts/actors/termination/index.html | 262 + concepts/actors/timers/index.html | 348 + .../actors/uncaught-exceptions/index.html | 275 + concepts/actors/why-actors/index.html | 265 + concepts/binary-rewriting/index.html | 337 + concepts/concurrency-unit-testing/index.html | 337 + concepts/non-determinism/index.html | 275 + concepts/specifications/index.html | 421 + concepts/tasks/overview/index.html | 325 + 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 | 275 + get-started/install/index.html | 357 + get-started/telemetry/index.html | 253 + get-started/upgrade-from-psharp/index.html | 271 + get-started/using-coyote/index.html | 418 + googlef431dcc5b966c91b.html | 1 + how-to/coverage/index.html | 308 + how-to/liveness-checking/index.html | 332 + how-to/unit-testing/index.html | 436 + img/favicon.ico | Bin 0 -> 1150 bytes include/abc.svg | 34 + include/player-controls.html | 39 + include/unittest.svg | 32 + index.html | 2392 ++++ 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 | 255 + overview/faq/index.html | 330 + overview/how/index.html | 275 + overview/publications/index.html | 249 + overview/videos/index.html | 246 + .../index.html | 247 + .../SharedCounter/Add/index.html | 239 + .../SharedCounter/CompareExchange/index.html | 239 + .../SharedCounter/Create/index.html | 258 + .../SharedCounter/Decrement/index.html | 239 + .../SharedCounter/Exchange/index.html | 239 + .../SharedCounter/GetValue/index.html | 239 + .../SharedCounter/Increment/index.html | 239 + .../SharedCounter/index.html | 281 + .../SharedDictionary-2/Count/index.html | 239 + .../SharedDictionary-2/Item/index.html | 239 + .../SharedDictionary-2/TryAdd/index.html | 239 + .../SharedDictionary-2/TryGetValue/index.html | 239 + .../SharedDictionary-2/TryRemove/index.html | 239 + .../SharedDictionary-2/TryUpdate/index.html | 239 + .../SharedDictionary-2/index.html | 292 + .../SharedDictionary/Create/index.html | 306 + .../SharedDictionary/index.html | 257 + .../SharedRegister-1/GetValue/index.html | 239 + .../SharedRegister-1/SetValue/index.html | 239 + .../SharedRegister-1/Update/index.html | 239 + .../SharedRegister-1/index.html | 277 + .../SharedRegister/Create/index.html | 264 + .../SharedRegister/index.html | 257 + .../index.html | 259 + .../TimerElapsedEvent/Info/index.html | 240 + .../TimerElapsedEvent/index.html | 239 + .../TimerElapsedEvent/index.html | 262 + .../TimerInfo/CustomEvent/index.html | 240 + .../TimerInfo/DueTime/index.html | 239 + .../TimerInfo/Equals/index.html | 253 + .../TimerInfo/GetHashCode/index.html | 239 + .../TimerInfo/OwnerId/index.html | 240 + .../TimerInfo/Period/index.html | 239 + .../TimerInfo/ToString/index.html | 239 + .../TimerInfo/index.html | 285 + .../index.html | 247 + .../ActorTestKit-1/ActorInstance/index.html | 239 + .../ActorTestKit-1/ActorTestKit/index.html | 253 + .../ActorTestKit-1/Assert/index.html | 295 + .../ActorTestKit-1/AssertInboxSize/index.html | 253 + .../AssertIsWaitingToReceiveEvent/index.html | 239 + .../AssertStateTransition/index.html | 283 + .../ActorTestKit-1/Invoke/index.html | 293 + .../ActorTestKit-1/InvokeAsync/index.html | 294 + .../ActorTestKit-1/Logger/index.html | 242 + .../ActorTestKit-1/SendEventAsync/index.html | 243 + .../ActorTestKit-1/StartActorAsync/index.html | 257 + .../ActorTestKit-1/index.html | 314 + .../index.html | 243 + .../OnEventDoActionAttribute/index.html | 257 + .../Actor.OnEventDoActionAttribute/index.html | 256 + .../Actor/Actor/index.html | 239 + .../Actor/Assert/index.html | 295 + .../Actor/CreateActor/index.html | 362 + .../Actor/CurrentEventGroup/index.html | 243 + .../Actor/Equals/index.html | 239 + .../Actor/GetHashCode/index.html | 239 + .../Actor/HashedState/index.html | 239 + .../Actor/Id/index.html | 240 + .../Actor/Logger/index.html | 242 + .../Actor/Monitor/index.html | 289 + .../Actor/OnEventDeferred/index.html | 254 + .../Actor/OnEventDequeuedAsync/index.html | 254 + .../Actor/OnEventHandledAsync/index.html | 254 + .../Actor/OnEventIgnored/index.html | 254 + .../Actor/OnEventUnhandledAsync/index.html | 258 + .../Actor/OnException/index.html | 266 + .../Actor/OnExceptionHandledAsync/index.html | 261 + .../Actor/OnHaltAsync/index.html | 257 + .../Actor/OnInitializeAsync/index.html | 257 + .../Actor/RaiseHaltEvent/index.html | 239 + .../Actor/RandomBoolean/index.html | 242 + .../Actor/RandomInteger/index.html | 256 + .../Actor/ReceiveEventAsync/index.html | 325 + .../Actor/SendEvent/index.html | 270 + .../Actor/StartPeriodicTimer/index.html | 270 + .../Actor/StartTimer/index.html | 265 + .../Actor/StopTimer/index.html | 257 + .../Actor/ToString/index.html | 239 + ref/Microsoft.Coyote.Actors/Actor/index.html | 385 + .../ActorExecutionStatus/index.html | 271 + .../ActorId/CompareTo/index.html | 239 + .../ActorId/Equals/index.html | 253 + .../ActorId/GetHashCode/index.html | 239 + .../ActorId/IsNameUsedForHashing/index.html | 239 + .../ActorId/Name/index.html | 239 + .../ActorId/NameValue/index.html | 239 + .../ActorId/Runtime/index.html | 240 + .../ActorId/ToString/index.html | 239 + .../ActorId/Type/index.html | 239 + .../ActorId/Value/index.html | 239 + .../ActorId/index.html | 294 + .../ActorRuntimeLogTextFormatter/index.html | 239 + .../OnCreateActor/index.html | 262 + .../OnCreateStateMachine/index.html | 262 + .../OnCreateTimer/index.html | 254 + .../OnDefaultEventHandler/index.html | 258 + .../OnDequeueEvent/index.html | 263 + .../OnEnqueueEvent/index.html | 259 + .../OnEventHandlerTerminated/index.html | 264 + .../OnExceptionHandled/index.html | 267 + .../OnExceptionThrown/index.html | 266 + .../OnExecuteAction/index.html | 267 + .../OnGotoState/index.html | 262 + .../OnHalt/index.html | 258 + .../OnHandleRaisedEvent/index.html | 263 + .../OnPopState/index.html | 262 + .../OnPopStateUnhandledEvent/index.html | 263 + .../OnPushState/index.html | 262 + .../OnRaiseEvent/index.html | 263 + .../OnReceiveEvent/index.html | 267 + .../OnSendEvent/index.html | 280 + .../OnStateTransition/index.html | 262 + .../OnStopTimer/index.html | 254 + .../OnWaitEvent/index.html | 299 + .../ActorRuntimeLogTextFormatter/index.html | 346 + .../AwaitableEventGroup/index.html | 257 + .../GetAwaiter/index.html | 239 + .../IsCanceled/index.html | 239 + .../IsCompleted/index.html | 239 + .../IsFaulted/index.html | 239 + .../SetCancelled/index.html | 239 + .../SetException/index.html | 253 + .../SetResult/index.html | 253 + .../AwaitableEventGroup-1/Task/index.html | 239 + .../TrySetCanceled/index.html | 242 + .../TrySetException/index.html | 256 + .../TrySetResult/index.html | 253 + .../AwaitableEventGroup-1/index.html | 313 + .../DefaultEvent/Instance/index.html | 239 + .../DefaultEvent/index.html | 255 + .../DequeueStatus/index.html | 276 + .../Event/Event/index.html | 239 + ref/Microsoft.Coyote.Actors/Event/index.html | 254 + .../EventGroup/EventGroup/index.html | 257 + .../EventGroup/Id/index.html | 239 + .../EventGroup/Name/index.html | 239 + .../EventGroup/Null/index.html | 239 + .../EventGroup/index.html | 266 + .../HaltEvent/Instance/index.html | 239 + .../HaltEvent/index.html | 255 + .../IActorRuntime/CreateActor/index.html | 361 + .../IActorRuntime/CreateActorId/index.html | 261 + .../CreateActorIdFromName/index.html | 261 + .../GetActorExecutionStatus/index.html | 261 + .../GetCurrentActorCount/index.html | 245 + .../GetCurrentActorIds/index.html | 246 + .../GetCurrentActorTypes/index.html | 245 + .../GetCurrentEventGroup/index.html | 258 + .../IActorRuntime/OnActorHalted/index.html | 240 + .../IActorRuntime/OnEventDropped/index.html | 240 + .../IActorRuntime/SendEvent/index.html | 270 + .../IActorRuntime/index.html | 297 + .../IActorRuntimeLog/OnCreateActor/index.html | 262 + .../OnCreateStateMachine/index.html | 262 + .../IActorRuntimeLog/OnCreateTimer/index.html | 254 + .../OnDefaultEventHandler/index.html | 258 + .../OnDequeueEvent/index.html | 263 + .../OnEnqueueEvent/index.html | 259 + .../OnEventHandlerTerminated/index.html | 263 + .../OnExceptionHandled/index.html | 266 + .../OnExceptionThrown/index.html | 266 + .../OnExecuteAction/index.html | 267 + .../IActorRuntimeLog/OnGotoState/index.html | 262 + .../IActorRuntimeLog/OnHalt/index.html | 258 + .../OnHandleRaisedEvent/index.html | 263 + .../IActorRuntimeLog/OnPopState/index.html | 262 + .../OnPopStateUnhandledEvent/index.html | 263 + .../IActorRuntimeLog/OnPushState/index.html | 262 + .../IActorRuntimeLog/OnRaiseEvent/index.html | 263 + .../OnReceiveEvent/index.html | 267 + .../IActorRuntimeLog/OnSendEvent/index.html | 280 + .../OnStateTransition/index.html | 262 + .../IActorRuntimeLog/OnStopTimer/index.html | 254 + .../IActorRuntimeLog/OnWaitEvent/index.html | 299 + .../IActorRuntimeLog/index.html | 341 + .../OnActorHaltedHandler/index.html | 239 + .../OnEventDroppedHandler/index.html | 240 + .../OnExceptionOutcome/index.html | 266 + .../RuntimeFactory/Create/index.html | 281 + .../RuntimeFactory/index.html | 258 + .../SendOptions/Assert/index.html | 239 + .../SendOptions/Default/index.html | 239 + .../SendOptions/HashedState/index.html | 239 + .../SendOptions/MustHandle/index.html | 239 + .../SendOptions/SendOptions/index.html | 239 + .../SendOptions/ToString/index.html | 239 + .../SendOptions/index.html | 274 + .../DeferEventsAttribute/index.html | 253 + .../index.html | 256 + .../IgnoreEventsAttribute/index.html | 253 + .../index.html | 256 + .../OnEntryAttribute/index.html | 253 + .../index.html | 256 + .../OnEventDoActionAttribute/index.html | 257 + .../index.html | 256 + .../OnEventGotoStateAttribute/index.html | 293 + .../index.html | 256 + .../OnEventPushStateAttribute/index.html | 257 + .../index.html | 256 + .../OnExitAttribute/index.html | 253 + .../index.html | 256 + .../StartAttribute/index.html | 239 + .../index.html | 256 + .../StateMachine.State/State/index.html | 239 + .../StateMachine.State/index.html | 290 + .../StateGroup/index.html | 239 + .../StateMachine.StateGroup/index.html | 255 + .../StateMachine/CurrentState/index.html | 239 + .../OnEventHandledAsync/index.html | 254 + .../StateMachine/RaiseEvent/index.html | 257 + .../RaiseGotoStateEvent/index.html | 299 + .../StateMachine/RaiseHaltEvent/index.html | 242 + .../RaisePopStateEvent/index.html | 242 + .../RaisePushStateEvent/index.html | 299 + .../StateMachine/StateMachine/index.html | 239 + .../StateMachine/index.html | 314 + .../CurrentStateName/index.html | 239 + .../UnhandledEvent/index.html | 240 + .../UnhandledEventException/index.html | 258 + .../WildCardEvent/WildCardEvent/index.html | 239 + .../WildCardEvent/index.html | 255 + ref/Microsoft.Coyote.Actors/index.html | 409 + .../index.html | 319 + .../index.html | 251 + .../ConsoleLogger/ConsoleLogger/index.html | 240 + .../ConsoleLogger/Dispose/index.html | 239 + .../ConsoleLogger/Write/index.html | 586 + .../ConsoleLogger/WriteLine/index.html | 586 + .../ConsoleLogger/index.html | 267 + .../ILogger/Write/index.html | 586 + .../ILogger/WriteLine/index.html | 586 + .../ILogger/index.html | 258 + .../LogSeverity/index.html | 276 + .../MemoryLogger/Dispose/index.html | 239 + .../MemoryLogger/MemoryLogger/index.html | 240 + .../MemoryLogger/ToString/index.html | 238 + .../MemoryLogger/Write/index.html | 586 + .../MemoryLogger/WriteLine/index.html | 586 + .../MemoryLogger/index.html | 274 + .../TextWriterLogger/Dispose/index.html | 239 + .../TextWriterLogger/index.html | 240 + .../TextWriterLogger/Write/index.html | 586 + .../TextWriterLogger/WriteLine/index.html | 586 + .../TextWriterLogger/index.html | 267 + .../VerbosityLevel/index.html | 281 + .../index.html | 263 + .../Generator/Create/index.html | 242 + .../Generator/NextBoolean/index.html | 239 + .../Generator/NextInteger/index.html | 239 + .../Generator/index.html | 265 + .../index.html | 243 + .../IsAssemblyRewritten/index.html | 256 + .../RewritingEngine/index.html | 257 + .../RewritingSignatureAttribute/index.html | 239 + .../Signature/index.html | 239 + .../Version/index.html | 239 + .../RewritingSignatureAttribute/index.html | 266 + .../SkipRewritingAttribute/Reason/index.html | 239 + .../SkipRewritingAttribute/index.html | 239 + .../SkipRewritingAttribute/index.html | 259 + .../index.html | 251 + .../AssertionFailureException/index.html | 239 + .../ICoyoteRuntime/Assert/index.html | 409 + .../ICoyoteRuntime/Logger/index.html | 243 + .../ICoyoteRuntime/Monitor/index.html | 260 + .../ICoyoteRuntime/OnFailure/index.html | 240 + .../ICoyoteRuntime/RandomBoolean/index.html | 245 + .../ICoyoteRuntime/RandomInteger/index.html | 259 + .../ICoyoteRuntime/RegisterLog/index.html | 254 + .../ICoyoteRuntime/RegisterMonitor/index.html | 255 + .../ICoyoteRuntime/RemoveLog/index.html | 254 + .../ICoyoteRuntime/Stop/index.html | 239 + .../ICoyoteRuntime/index.html | 290 + .../IOperationBuilder/GroupId/index.html | 239 + .../HashedStateCallback/index.html | 239 + .../IOperationBuilder/Name/index.html | 239 + .../IOperationBuilder/index.html | 262 + .../BuildCoverageInfo/index.html | 243 + .../GetCoverageGraph/index.html | 240 + .../GetCoverageInfo/index.html | 240 + .../IRuntimeExtension/RunTest/index.html | 260 + .../WaitUntilQuiescenceAsync/index.html | 239 + .../IRuntimeExtension/index.html | 270 + .../IRuntimeLog/OnAssertionFailure/index.html | 253 + .../IRuntimeLog/OnCompleted/index.html | 239 + .../IRuntimeLog/OnCreateMonitor/index.html | 253 + .../IRuntimeLog/OnMonitorError/index.html | 261 + .../OnMonitorExecuteAction/index.html | 261 + .../OnMonitorProcessEvent/index.html | 275 + .../OnMonitorRaiseEvent/index.html | 262 + .../OnMonitorStateTransition/index.html | 266 + .../IRuntimeLog/OnRandom/index.html | 297 + .../IRuntimeLog/index.html | 289 + .../OnFailureHandler/index.html | 238 + .../Operation/CreateFrom/index.html | 240 + .../Operation/CreateNext/index.html | 239 + .../Operation/GetNextId/index.html | 239 + .../Operation/OnCompleted/index.html | 239 + .../Operation/OnStarted/index.html | 239 + .../Operation/PauseUntil/index.html | 239 + .../Operation/PauseUntilAsync/index.html | 240 + .../Operation/PauseUntilCompleted/index.html | 239 + .../PauseUntilCompletedAsync/index.html | 240 + .../Operation/RegisterCallSite/index.html | 239 + .../Operation/ScheduleNext/index.html | 242 + .../Operation/Start/index.html | 239 + .../Operation/TryReset/index.html | 239 + .../Operation/index.html | 305 + .../RuntimeException/index.html | 239 + .../RuntimeException/index.html | 254 + .../RuntimeLogTextFormatter/Logger/index.html | 240 + .../OnAssertionFailure/index.html | 253 + .../OnCompleted/index.html | 239 + .../OnCreateMonitor/index.html | 253 + .../OnMonitorError/index.html | 261 + .../OnMonitorExecuteAction/index.html | 261 + .../OnMonitorProcessEvent/index.html | 275 + .../OnMonitorRaiseEvent/index.html | 262 + .../OnMonitorStateTransition/index.html | 266 + .../OnRandom/index.html | 297 + .../RuntimeLogTextFormatter/index.html | 239 + .../RuntimeLogTextFormatter/index.html | 310 + .../RuntimeProvider/Current/index.html | 240 + .../RuntimeProvider/index.html | 254 + .../SchedulingPoint/Interleave/index.html | 239 + .../SchedulingPoint/Read/index.html | 257 + .../SchedulingPoint/Resume/index.html | 239 + .../SchedulingPoint/SetCheckpoint/index.html | 242 + .../SchedulingPoint/Suppress/index.html | 242 + .../SchedulingPoint/Write/index.html | 257 + .../SchedulingPoint/Yield/index.html | 242 + .../SchedulingPoint/index.html | 281 + .../TaskServices/index.html | 238 + .../index.html | 287 + .../Monitor.Event/Event/index.html | 239 + .../Monitor.Event/index.html | 255 + .../ColdAttribute/index.html | 239 + .../Monitor.State.ColdAttribute/index.html | 256 + .../HotAttribute/index.html | 239 + .../Monitor.State.HotAttribute/index.html | 256 + .../IgnoreEventsAttribute/index.html | 253 + .../index.html | 256 + .../OnEntryAttribute/index.html | 253 + .../Monitor.State.OnEntryAttribute/index.html | 256 + .../OnEventDoActionAttribute/index.html | 257 + .../index.html | 256 + .../OnEventGotoStateAttribute/index.html | 293 + .../index.html | 256 + .../OnExitAttribute/index.html | 253 + .../Monitor.State.OnExitAttribute/index.html | 256 + .../StartAttribute/index.html | 239 + .../Monitor.State.StartAttribute/index.html | 256 + .../Monitor.State/State/index.html | 239 + .../Monitor.State/index.html | 287 + .../Monitor.StateGroup/StateGroup/index.html | 239 + .../Monitor.StateGroup/index.html | 255 + .../WildCardEvent/index.html | 239 + .../Monitor.WildCardEvent/index.html | 256 + .../Monitor/Assert/index.html | 295 + .../Monitor/CurrentState/index.html | 239 + .../Monitor/HashedState/index.html | 239 + .../Monitor/Logger/index.html | 243 + .../Monitor/Monitor/index.html | 239 + .../Monitor/RaiseEvent/index.html | 257 + .../Monitor/RaiseGotoStateEvent/index.html | 299 + .../Monitor/ToString/index.html | 239 + .../Monitor/index.html | 317 + .../Specification/Assert/index.html | 281 + .../index.html | 256 + .../Specification/Monitor/index.html | 260 + .../Specification/RegisterMonitor/index.html | 255 + .../RegisterStateHashingFunction/index.html | 256 + .../Specification/index.html | 273 + .../index.html | 247 + .../TestOutputLogger/Dispose/index.html | 239 + .../TestOutputLogger/index.html | 253 + .../TestOutputLogger/Write/index.html | 581 + .../TestOutputLogger/WriteLine/index.html | 581 + .../TestOutputLogger/index.html | 266 + .../index.html | 243 + .../TestAttribute/TestAttribute/index.html | 239 + .../TestAttribute/index.html | 255 + .../TestDisposeAttribute/index.html | 239 + .../TestDisposeAttribute/index.html | 255 + .../TestInitAttribute/index.html | 239 + .../TestInitAttribute/index.html | 255 + .../TestIterationDisposeAttribute/index.html | 239 + .../TestIterationDisposeAttribute/index.html | 255 + .../TestReport/BugReports/index.html | 239 + .../TestReport/Clone/index.html | 239 + .../TestReport/Configuration/index.html | 239 + .../TestReport/CoverageInfo/index.html | 239 + .../TestReport/GetText/index.html | 239 + .../TestReport/InternalErrors/index.html | 239 + .../MaxConcurrencyDegree/index.html | 239 + .../MaxControlledOperations/index.html | 239 + .../MaxExploredFairSteps/index.html | 239 + .../MaxExploredUnfairSteps/index.html | 239 + .../MaxFairStepsHitInFairTests/index.html | 239 + .../MaxOperationGroupingDegree/index.html | 239 + .../MaxUnfairStepsHitInFairTests/index.html | 239 + .../MaxUnfairStepsHitInUnfairTests/index.html | 239 + .../TestReport/Merge/index.html | 242 + .../MinConcurrencyDegree/index.html | 239 + .../MinControlledOperations/index.html | 239 + .../MinExploredFairSteps/index.html | 239 + .../MinExploredUnfairSteps/index.html | 239 + .../MinOperationGroupingDegree/index.html | 239 + .../NumOfExploredFairPaths/index.html | 239 + .../NumOfExploredUnfairPaths/index.html | 239 + .../TestReport/NumOfFoundBugs/index.html | 239 + .../TestReport/TestReport/index.html | 239 + .../TotalConcurrencyDegree/index.html | 239 + .../TotalControlledOperations/index.html | 239 + .../TotalExploredFairSteps/index.html | 239 + .../TotalExploredUnfairSteps/index.html | 239 + .../TotalOperationGroupingDegree/index.html | 239 + .../UncontrolledInvocations/index.html | 239 + .../TestReport/index.html | 370 + .../TestingEngine/Create/index.html | 309 + .../TestingEngine/Dispose/index.html | 239 + .../TestingEngine/GetReport/index.html | 239 + .../InvokeEndIterationCallBacks/index.html | 239 + .../InvokeStartIterationCallBacks/index.html | 239 + .../TestingEngine/IsTestRewritten/index.html | 242 + .../TestingEngine/ReadableTrace/index.html | 239 + .../RegisterEndIterationCallBack/index.html | 239 + .../RegisterStartIterationCallBack/index.html | 239 + .../ReproducibleTrace/index.html | 239 + .../TestingEngine/Run/index.html | 239 + .../TestingEngine/SetLogger/index.html | 239 + .../TestingEngine/Stop/index.html | 239 + .../TestingEngine/TestReport/index.html | 240 + .../TestingEngine/ThrowIfBugFound/index.html | 239 + .../TryEmitCoverageReports/index.html | 240 + .../TestingEngine/TryEmitReports/index.html | 239 + .../TestingEngine/index.html | 318 + .../index.html | 263 + ref/Microsoft.Coyote.Test/index.html | 321 + .../UseRequestController/index.html | 222 + .../index.html | 254 + ref/Microsoft.Coyote.WebNamespace/index.html | 243 + .../Configuration/Configuration/index.html | 239 + .../Configuration/Create/index.html | 239 + .../Configuration/DeadlockTimeout/index.html | 239 + .../MaxFairSchedulingSteps/index.html | 239 + .../Configuration/MaxFuzzingDelay/index.html | 239 + .../MaxUnfairSchedulingSteps/index.html | 239 + .../RandomGeneratorSeed/index.html | 239 + .../TestingIterations/index.html | 239 + .../Configuration/TimeoutDelay/index.html | 239 + .../Configuration/VerbosityLevel/index.html | 240 + .../WithActivityCoverageReported/index.html | 253 + .../index.html | 253 + .../index.html | 253 + .../index.html | 253 + .../WithConsoleLoggingEnabled/index.html | 253 + .../index.html | 253 + .../WithCoverageInfoSerialized/index.html | 253 + .../WithDeadlockTimeout/index.html | 256 + .../WithDelayBoundingStrategy/index.html | 260 + .../index.html | 253 + .../index.html | 253 + .../index.html | 253 + .../index.html | 253 + .../WithMaxFuzzingDelay/index.html | 253 + .../WithMaxSchedulingSteps/index.html | 285 + .../index.html | 253 + .../WithNoBugTraceRepro/index.html | 253 + .../index.html | 253 + .../index.html | 253 + .../index.html | 253 + .../index.html | 256 + .../WithPrioritizationStrategy/index.html | 260 + .../WithProbabilisticStrategy/index.html | 256 + .../WithQLearningStrategy/index.html | 242 + .../WithRandomGeneratorSeed/index.html | 253 + .../WithRandomStrategy/index.html | 242 + .../WithReproducibleTrace/index.html | 253 + .../WithScheduleCoverageReported/index.html | 253 + .../WithSystematicFuzzingEnabled/index.html | 253 + .../index.html | 253 + .../WithTelemetryEnabled/index.html | 253 + .../WithTestingIterations/index.html | 253 + .../WithTestingTimeout/index.html | 256 + .../Configuration/WithTimeoutDelay/index.html | 256 + .../WithTraceAnalysisEnabled/index.html | 253 + .../index.html | 260 + .../index.html | 253 + .../WithVerbosityEnabled/index.html | 254 + .../index.html | 253 + .../WithXmlLogEnabled/index.html | 253 + ref/Microsoft.Coyote/Configuration/index.html | 462 + ref/Microsoft.Coyote/index.html | 401 + ref/Microsoft.CoyoteNamespace/index.html | 243 + ref/toc.yml | 1223 ++ requirements.txt | 3 + .../failover-robot-navigator/index.html | 872 ++ samples/actors/failure-detector/index.html | 297 + samples/overview/index.html | 273 + samples/tasks/bounded-buffer/index.html | 282 + search.html | 182 + search/search_index.json | 1 + sitemap.xml | 2733 ++++ sitemap.xml.gz | Bin 0 -> 4307 bytes tutorials/actors/hello-world/index.html | 443 + tutorials/actors/raft-azure/index.html | 455 + tutorials/actors/raft-mocking/index.html | 449 + tutorials/actors/test-failover/index.html | 584 + .../first-concurrency-unit-test/index.html | 598 + tutorials/mocks/mock-dependencies/index.html | 613 + .../optimistic-concurrency-control/index.html | 728 ++ tutorials/overview/index.html | 255 + .../test-concurrent-operations/index.html | 486 + tutorials/test-failover/index.html | 518 + tutorials/testing-aspnet-service/index.html | 464 + 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 | 76 + 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, 223858 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..b48ab33d6 --- /dev/null +++ b/404.html @@ -0,0 +1,172 @@ + + +
+ + + + + + + + + + +!md8o*60f-tJ$%>uRUs0xEK;%C(1o5E-ZFDX;Hwav~122Q; zu?w8{7uN{Zy`C=H1C1c~@eocLLId)ki5bfDs;Y*vz`Z?u^Uad?lpn%Oq8B*0)iK_=?*XzC;CSZ%s+YRQ-nE)-qy7rw)==>%s5*2xtpp6M6 zQFmK?T07C1eFQWR$x>-k-1m5ofZ%* g^K;w@98aRrw4FLuUc_exP zh`4?S%7_36QXc{6ydT&lWjbhTvIv|2=qLLjLU6vybf}D?jy!H;56nP2aZFU!&-ho^ zy 8Lf_k?GKPOS?qtnrz2cg83XC_BmcHn_S#kEDG8Emhr+C=i$g{@1J~T7* zHFZ!LZJFo5h*H?9if2vtft?v@Fvrx23Y*VX?4O;UD*wnpv#rR&u#z95{@rBL;-L_1 zu~S^hLZKvacf JG~CrOJ6Ka 5N4}>VX+`^A zG^%QyAN<-a7T5A#pf3L;qH*Hu;t^1iE^`MlxirzR?KWTEG4pcc#gDKnoK*qQP1Uc( z^A^@BRxS=NnxFR*e`zHV66L|U)nop!ePB}?w=i9CcPO9OBt2aEmGtfiNDV*1a|Cn@ zxXlXK-EwVdlKO0R`Jqvwch9rC>A`)FnJmjRdgD&C-)4Scfd~vX_^6uC7u?D;tSt~h z8K*|XEotpwHgidE|3m!u1zp6XG7TE#kW_sskVFY1`t(T>y+}_^5+FHw&`1p!0gixm zGS7swX9_^WgYr57?gDzjhPgLRM8Iq6?o%~^Z-!7m#JoG&M*#A{Cz$*z*UAtJ(Lg-T z%LNxwhO$P=tY5PqVu(K^PsR2-&E)bEVhOo`V63=4oanZp6+YGv(N?G9%B8pwRNBN? zb2`4vO^K> ?%@#HxwL4vMEzMnG-B}4`D92D}OxQ;skoLg|?nHctDD(WynhRsqfxXC|vAPSK zhv>6)&Z|mx3!4%}D-NWlRFVB*tx#mgxo_XT9U=-N^n{VDS3SEbWpjl!Qj0dXH~1$F z2O4C;fT)SMb7ppf0#3=5`}2GsU}y zt*7K5|GB_yA5ZDoJ+&9^{*)1r y9s8Ykv!6sZd-?O|EBnAax(X=2+E0 zJkPlZ=MK{~7X|I#dQHczY1JSr+N1l`V(N=8v0JBf*C5*zZNc#NA6M;|s;?WZcYgb% zG-23out3}tzWH8f_p|Z4j}1evS?eWX6N)Q8e1&{5eudLNgj8*2vt kN_l&cP 1l!F3xTU4}N+u<}{OLO$x}S6CS AVSTYm(PNJFPteBnBDo4NKoYT+#)1I-g9J$tI}d24bE$q8@jOzzWt$lt^*}5sabc zlmV8UGKja1GBp};n&8I=h8A-wh=w9rLnuD?hoAvpR2zW$nJW^dlK;+2;6f(bo=I4< zY9q&C$JoWno_)i{^REY`PBQgRy(HgoOuIpMK0#Pg>!PbfuO>i|^+?{yMPuUElJsQ! zP{-u!(2J{S^PFF2W~^nNHr{cldr4HtOBt~2ceb>!k28&~t>_lrzPOxsP`T%RP1!nN z%QJd&&rs=A!uc;pz`L*eZZE)T{X$^7wN6EhB1__RvFBgi&aRz#bK@iJCwLL33&j!e zTsY1zElaSM)jwW*>j-ESamO=2=6^j$YPi84cYHZzFh|_yc8j^htHtNurwNneSX2iM z;o$i}si(Ex0r8f%?8|X}^;cdhKd#b`lbaZq6^%BFvfeb<{qO6vt4|oZr|i5DmqU(v^iBC6H{p) zx}<@Z&L7z8e5lwUV4bpl--SD{@Xl;fp>^YEvy*!BN>^AOrbl=FwdWs|+w~tl1*@`j z?9J|)nN{SM8tZX!uI~tm_Ie3xwA3t3b;p>QOS3Tr#DE)Kg(m0&<$O0IP~R*yCK za~g4-0v&VL@C&vQn9=)>ij_Q+CT`c?UD@XEzWceMF{hZn??Be~z->%XUf>A0{gd iDvnuWuJunjx7pAYPebMEvsj0UGadWv%{m I4hm+?oQX!c>8Nq zLFHjKEdAC$gj^~OM+(shd>&6+O3bqnaPeiNp`uKWG|WNJ>w%fon6n9hoRJzd9M&cc z#xmsaGb{+s_NY$wACS9GL^RcLr4j<%Sr5Wi%^K{&_7U)o6WzP=tTuK#dexo>#Hyx= z_{Ix+=az!}TwZ-2l$QzuILZ@M#K4) 0A z#w`5--Po85$!kwfze{)(x|Z_}m~h&vP&CO~k}2z7c%b&tagJdaI=&S4d^Vn2X}#}i z17}86WD{aJ$n{`wyX2|bltJ`RW0u%K=V%?l;MWOA)7r@ANspoen;$hvmSgHYW0vm* zf1OVF TpY;FcLLXQHs~}$gb>Hlpiwq2&G%474F2Xl%3y=9;)p4Amm )fMI+eoO_f9BM*JIyjxBz$t^D1= zAlQ})a}OrFxB0^& k(@dMxpeQLrg06%PGrKmo4p9eCR?dS8Gg@w!r8u(iSUw=gqpuYqr&cYC)4D zpu5#f?~-D^GQ9uu wla-m41#V{2YoSIiIKpP$kpAcMzl=D2*4m4g*0W4UVd+3@kqgSy>6NV@Y(ndq!EF z bw)Yfi-AgAP5faKIZZFr zzyo6ygqlX7nn*2_!Rb-Sk@|wO(giCenI8o|-RmfFVZR$@vv2CW#eRK~dPm18gn_44 z>0TB+YW!aPg~6;MtKn k%re#53 z6us1W&Rw)Ozr4|{Xxsj>>&2PIF9+F86G`UvdW$ugkj6OlNFwTinPbfy 64)tuUs*n`S-M{%wi#P?7ISi@J3Wz!3VPn^3YdyY1-indnc?etv&{ z4(E5DtOFh^)5*zr@RFFpeA@I;%2aOqnbp#+DV!LtZskz#%7u4N^PD-gNf+BMmx<3F zERTnV6c;@1+&I%|@JHIrM>=q={383oXYFqxy;(&SS_fH&=bG9*V>!;Q#%gyQGU}PJ z$!M>?hoL3WoQqe_-wJzS8<5}jy?n|fOvNrQYgKjS%iG=Q_M$cGR)4CoE;-#mADQTG zA;qhYZUz@WgQC0Faz1%i $l`+nz^9|<{ zrUS;q0VSH(!fQFr^-9tE*Cr1{TZzFV8CvcYlZ+QJ#V9SFUuMJSKh`2A62@K&w y2>+W@Ar70Y^UY)Z7{J {a5~ekszM0JW1{v8t!%-8NW|da+LFp}@ByNo!vmgX6mJtCrE(!A)zJkG5pZL5 zEQvsYAQ@8Ol;8Hi!khEv1p!hz0ic5s1+kE@?!gFhguX2$02rQ)OJ1A`XMETr1D^UU zX+w~VOg~V?aP)`FixUkt2J2%D8yFwAXY8Z8tx^ros3Gu0Ks&C2oH3Sm0RyS-wB7%l z81~vNubZiJ#MkQxSYhod^5TK iaG)EeI%zNFx_rhcSXOTRe>59`QWj>yG7s_x4o z5=>KSg+8WuzJ2az2g40jr@vf`M0-$u<;F8Mb16Jwi&UsLi(Pc^=h%$&5Kfiir~6~^ zqOINCHjPK8DMhb+&KbQG58F-vLkjY? t4RhR)o2`Xr^R~SqUPm191c}yjver zLx y5nDnZ7|9xjTySBcZz6;xVVNb5srX6R%I$H@Lxy38_7WAkP=;> zl7;np!j5o3STizI)V67bZ CIMGaqE|l$cS$*C>MpX{VkhOJ5B5S^DMcI^4js+xQZ@J zSi-u};wV^E+wG9mS0>f{Kiitt{GWP8n+@K+-pjf7(S>=)`-^UOT!Xir|Mr;{|6TUy z) w zOG(u7w;ODdDEyB9(LMA*-|zBF(kojnY<2_VMqSsw`T$kg)WU;k{N+EaI>28pbgguL z%zDa1h;kR=>(xgR4UBuNXmU`?{Q@KcU?@1@s|TaX03j>vRP36HH+^#ULu6k#$svMZ z7?=x2Y!F}dpq!^UW#CyY8Z0wv9$?V+7nCI$%8*h4<4PhNMRNk8oC88)B)C9 $DDCQXQ69cXUT@-@-$DF#i+I5I(Z>B(K3hA^=tKMcgt}damnyl*$3lUE1 z=3lTFK!xK`^vP0OQZb}_V$jn%#OXFbFh`yomY|^x_y=VZB$X) )iN!=j>8Nm>jrCQ|n+MVOHse9Orr#?AArHBdh!30_L*;(CR1Y{}FUyy-+cKu9 zKk`+#x{PKN9d(_xlAybpyLNH)xn}W?7D@{z)*Yimsg|jx;o;UJfNJr^4R 0~Q^*#Ps) z7niAds!Khd3sVgqem=aZu``$#SLV7dRGR5{rk4t 3G9v_O{)cg4SWUiS#+fYp0x)0`3^SE!<*awsYO& wRC~Pl6QAsUZLwulyus z6!0?-PQXs3)2jiOd<4%WX}Fq_D52>=2vI};34$%45qi_(K__)rPvP$5if(yQ1|2VA zY;!%Ns31y(l*}ql5Hg!!p55sQ#$*agMwn3EOu8SWc(< 3PyYpUsN)+x!{O zoa?6Is;)mru?F|{7>$KvffaRMbxD H3T=lR36t&h5Kp-BEr{{>6i2nAJb|VCpY*K9Am@IAZb1&b+Bq*R{T;L_VvN= zu1Vd6SAuE{2}N8LpOl8J4@E@x&)$4<$gNa=4RZvv)F;RH{nDMY7oB;CR%~z5hCjd; zg?(Syi0L@|XqR;atXe2VG+x@yS*v*ydTEt2y4sVmAuj$x%JAIaj9GOeTM|kx+U{}J z_7UK a!J*^U_|&x%eV+URn`{PiN;t;@&%P^nF%i3OZlU zY?c&|T;no`4ZtK29lQkFU&R@= ^M(0RqE6u i0Ly$@Y#t>|n)BlOM_Cy8dB2 zz~+8COM7;WFgDnQniI}qdZ5?I{p|ZhUrhci!jCDL08>L?1b}7|jnQDNA#@Y0?-mKz zP=kYB8E&O5=-ml$ffWqfEvh-Aft5tXoZIVwuP>-A)iTmQCb52~U-K(#^xsLWdG=<% zd)v%;JnnkfPw@`srS|FFK};FK{CSdW`lQy<_|S`Lr87gg;sDL(=tJtRFiCQqPN&)Y z5pdx2T&(*_Sf1IQjBlsoMb#fTq>^_d@8?TWdu5&Lq)8LJU7kzpo%6$>_?XIs?hnv1 z#c}=h?jyjeF3*3t>v7u!(y#*wU($={5EA5h-aKdKP}O#VmN ^O1mERT@0s<2NrSWZta%-E{PL5Kg7aRrEBz-==z3&xR zyWeIJ7A>9FuJ<}&L=4I2|KcY7_=gwVgM9bd^lsp6g;JRGSIUKp(?1&%@q5T=?gw8j zEiJV$rD7`VD*3Za{egGMoJ=)CIl^>@ie7;_u>sxJf5~%f&j*#H1&Q#Bcd~Wx{4`_c zsp#pj&7njXX;NAldTS9S+bDD8@&smx0_+0Ji{ziVUErP;rKmRO)u2BSX9z0Y4I&`& z1oZh5y%v;daADorSQN?05E`MMA4T+@Q{f>5uL_A{M5!W`dj#Zrun^_hIen^!NTL_g z5TZj)jP$_*h!QoS9_ZAg2EZHKE1*OluPSum5CQ`V*2ymP#!J5UO0P1j#kW2^if?3T zs(M-q9-_Kn>jAEc?gnZV+ks$Zu%cn_ltxrVM<^qtmM^j`SXh)*oNBz-SY{DEC^1sI zC|Av$mpd=lkBCAT#j^UTI6!m=+Ik}(Mu)h)rh=jYtn@eQrc%_GMxhaj1^|N<>9olU z@1#Yc%$#y-Tomn?Q`U%T-+b7CU)mG{)4>mSi( r1-7IA!3bl z()g1Rbl4=uEy9?GCKWv&en&*z)%0bz>l4O23($^DAeQc{u7MLpWZ4A!cg6Qkx6uo= zdQYX;&*aC+lFp*%H61%<^$GGOy?N;6>sm;*&s4dQy*al^Fs;?{SE{bKep?mS51C)@ zdh{^J{B&t=Ttrj!kKp*XMOP)wc#wmYN$MDa^UbCc7hC+&$G1LUAp2|uv+-q4*DT-L zD?LJaA~IvevkD4-G4)*?6?$*)&5$IK+w=3wH1E6uLv3?ea+0JscKSpopIdg*Dn0 ;=IqKTZz~BB(}Vj}VdJ$k)cvD1rp8qYU8J2G@ZlKz1^XxVBKZm1L5-xVkrZK19H_ z%8)8XzRz2m4we2{rHeVg8lC 117(2<3Xva@;ZkmD{!Ic}G zZh=Yn9DljKSF)N-ok{qj4JSWhUQxD{?I&UZU;W(qU~+ro4MNix7v{9N#UM|wdy6Ja zdq10_rT++s-jR7pJZM{3-pDl!rbNS5nWCna)GGYmr^$Pu*~6F2Ud#IOe9ka?;Zr%R zpIF%op1Fv#bUFe;R1SjsrN=H@yG)gc_0Nv9e7MOOzulkkK}^wVU355WIzMYqDYVn} z!W#RR+Ut=5Wq%N8gUFroMHH^#2^$^{IZ6B^DZ|pe+l4v(@?ldElLpbm!Dr EZokN7Ss#`ej!jfor euun3{bPPcd&b*1$Uw*wG3dv$g;TWH!S-nHXMXyA-BV;*`%$T(n3Go!vGM{%i~M z4(SGEIo@lOg*|f$^)oFQwc^A7_&S<_cAqJT2`uDATUDMe*U7NSElmE&k{<>Bx=ZDQ zb`CLkLsxw!S2ap`G5XGIp29gkVgXeyJi+8~sTT80u1dQr0xcylF~F$DIa*{+Dm3ix zeHkVj0Cn0MxOh$IyhmuY1il1{-R ?kdvhoij3L)H$_PB4K4cKRCr!IEV%J3TEjz_X-LR zZAk-IeQ~q0app2!VHRzE$*C|(JyOTky(i^2v^pNcJ5MXX;>J3jZpoVoAk9l~kE|t1 zi+@a% m^KnMI%DxSoa2y7;mWD2-1<^K*ZWx{FcS`hofu z?RqfB(BA|8O4;~n+~w(C_gCsmHF9@4e)-68s>ZKo%f6y&!+$frW7;n|*(Y`HhEvj~ z`YisBS1 FC`@yR#=80vb&U^ub?O9IbeiEie0UJ~fUGk?KNkk1hP8OpdjDQP ^raRvh)*SO!^3vmNaF}&6c3u4}qN+ZssEW5FvI=$Nyn1jw+z{uUBSCi#i z?|yOw$PZ-Ag&S< @J+LbI5rujS;cd3h}Z3qO(2+Y%&A_*I<9Hhy|H-*M!nh&A~**er-u2-dOE-SU? zYAGG~X CM#IpS&$1;!1dZl1e7Ilm!u6!*q68t3P@QCR_!%6lGo(x0Qm~9mQj7` zU(h;hxjLFzkBJ6vE28bQY-hUl1Gj8e4||NXe6;==jqP?;Yp|TEw`a)Y1GTEX o1o-$@IdFxO|_fvqe){#`=1S zK{5jeP8YB^eP@~?Qc>w369k>}ty=3Fn)c5VZ+~QePhlh9mh7_E**@M8pXWW;D&+J1 za)DZ>&B5hv)b+Y?5H2|5w04+4+uPMA%=Jg}i-*DHIo3Zu-aLHClwe(Cml8dtRIY~8 z&nDLMn2gvK$i?=R=(KS#rL{=B?W`*+Z^k 7S^=`i#$NX$RrcF^N +K$;a-_@*ykYLWjiNOK0d~rS` ztE{nE2DwteOAb7gpleJBoB_99==H$e&^KOrNQhP@?xU#}2n+lw5D`PZ?p2mIQa&fk zaM-|JkC}>;5GK9Dy+LHmeL0UgO`t;c#u{p%Aj)*UL|5{AO<4?#t=0W7F-x1|y4 hMp$_y)o-cx{cX-r-6)5Wgz4^QON2#R;DLc2(qIWT{eAn| zs%NV$*9{Ny4Zhk325avSJ8nk+G$d!O;^We}j_DRVU>PrbH&JKdo>QzQ{iF|BE72gN zwQ_dHe4evCi$ZmcHH liy^J_mN?w=_qn*>&LGPNDi78ZLA3+;uWIX;9NoR zYCB+>fqovd?a{t><@4Fmaf3MFnLXxoy549@*r~j5I4wX`|5P3GV9HUpH@39 @siEQb1?an-LzE;t?SDZprq=YD>GswOdAH1IfD?lIP=et~R-t*o3{& zAI}$lTRr~u7l **|=5?mpSRMpMYb<*9- zZx_NRNo64FK(|EzYU45IpKy|kb7pca#jv$!$=V5a&|=={GR=zapJl+yL| 1ci<#W(dOpB c;J+7nf7^TvBH?FiMvnd zP7hUd1~E~3r?EPXO?;-bL;6wFV8!FkjO&kI?)t||cJh>Vp^ZK=Y;>xUN_|w%Z^(AA zqA#Q`84^mn44wf#firbE{@vqE2HM{n6>g~+M03Kcbz;~Uiro9AJ8ZQ5-^cG=M; RBE=0IB%(aO&P|oHc{+9E^o?At=TPAZ%wO`^N z?N?aW9g%5k)fqV>7O-?=!n< H|>{x%|5|7fIPmd3% zE64`0QHPVQv$HixoHk~)G8P|CRY@yKTq$@%bUP*85&D7Qg+|iO64Ojhf^Ga-+_f?4 zJ`KIkUEZ6qVGn}d5;k3L>2A#Ja}TA)_2ZeSA~#6^;K_agpo=b0dMSF(Y+?Mxr@@z@ z$Qm;72rzzNt8@R$kS8}H@iG^ei(K7}c-LRyK^3=~CUQc#rJGoDtGhoIG$U2BEL5`w zRd>ueWUGqEuLJ58Y~oMQs*4yGmY05=2|J}Uk!{EJ`pUy$tu^TK;9!qzGhJpD&Z83E zzKFOd-UY`P%-T?7y) 2;@}Pv%;M(pe;peBK zBj72`&R2)xBS2E=YMk+H9c{N|#RpMa4cisianV*zM(L^=MX&vI*72UO3DWpEc{!n~ zv5R-NPI;NF=vI4$mhzY#xOI4^mWJI^cUn!Ew*Fr%op&^w|NH-gqE(}I&9tTVsJ(?M zs`lQzTeWMCqKGadR#8<^qxOo_o~3qCV$YhXsGXQWl78>c@BID?=Qz%N?%en5x}MkL z`MfTm9+u1O*||AgaiJ>i9B0+o&y~Z~K7w6AG#6HE0iNAaKQDpv?U2Bl+GjTi69afy z#xOta>3c2D3SZseZ^%jsij@}Lp4z;GU9tCGZUQQrz2lSV$4%$B#Ls;()RxfC {KLGB)8qF4`b}mdC*g+8U5n53+@=~EumTAe*!3drlOmsBjs)0~ zfZJ-qLS(t+EM>1B3z5|Y=#5VmV~SjCUnkV?EWW;^DYI$}T`nKmw>0(|J@6b?21H~t zVdZg Q<#PP*GB zn`e(~4EdBHTVBm-YZ!3((r%|gPv-jNTo&^L+u2=W{nL;;7e2NF5o^+!s9k#-YZKkO zv6|eN!m!@5zS nSNK}*HkVO z>4IzR^2}ES?iI+|4y78XpPh_sw8I2XO;K9D>As!Ds{luODR}ExiO}E3rKil>><9|* zsk?7L(wwGyPzx<*E6%wme?9_j$Vu971s~+)r)|`p43SJkhbri8Z4SyriwYWZ0%v{} z6TBrRohY5&@5(&f^MmE`R`Lay^NmwxdWA(b(#UJ8Im1EUko}L7`>k}kD@ rz$pc>NND&GP?jWwyZadR6O` z>GWV46TT$;%AvGQcZ={wVR(fo6f5}ykIjm0Im)!C`iFLny^0e8Idv92GYD{S{ 0Qf1R(etblw{(!@ts $<#v97 z6V8eCop&6<{(;cHKjB27?&XO_uoual&s3Bsjy~oWPFqCK)9h`y;j85HH$=IT%}uTz z&E|2F>y^I9z7}LpD4I^Y=`w8{hhObiSTydr`n%-N(b Yk6SnHY_y)^eFVysd5q1HdO0>$ z$Qq( zHy~)m0@pw?I@euBY#aP>rhun6kSfwH3!Vw4yhuV6k{>!GrVyd zBexrgoVMBOsIx2KVzHMDk|?u4cK)Qh+qM%~V$ f}k znJLPzn}2fu1I0#f5p!Q8$8{T$*+fqA*F{r#N)g^ibp(9q8?uPgcHa$+1T#8{>YeHz zz*ICmdl7OvhN|?UTALc?S+5^AY_fp9m$SIQEpG#;!>A&!Fg1_?WujOH^Qxg#L9PQ+ z(t;pu6L#v^m_Q*lAyv*D8D{m9$p9l4xaYRUJ3+XH(CE!k3dYd~Q~7TVd^11a=FA@Z zDmYtE;Wy^@{BqjfTSjAm^1g(p5ZQn;zij^TsO>+{9pe+^gK7R_iJV=hgc{>BAGZCj z?Y!~mVunrlae~oy&aQ*v;P_5&O$kB;5qv4h7%ewy69Rs+E&DV+Yu72#2<^#m0GKS| z1_DHMX{w-AuUUwX#h{;ykGn#3*Dd5;pu$Mn~tHp?Hu6|PuqsQ!Z9 z+icNDG-g*P$ p&T}tNCU0IGD?>z@kq7y-@u*XBOZ9x` zsmCMWC*8CQ%W@-a^Mrb Zjrk`KeH9(*@%hD;(fg6tk;v)|i4DI31xE8low?)IY5 zhgn`-Y-U$9S|QrfYJfrNdzEQi#!+h7EP`VwEzb^4fPYA$@rWP2S9yw%=YLm&Ije-{ zt~DE0;o;+5A+_($A!DskcKbPM3#ly3ty-21Ex3CQ_V&M;MmHbW!Vc#9Zk2IArx=r# zfdSLN4d4+U++dxu+p$s}NDi0C2%fxOEQawOpQqAr5UBt)Upx2haNp0B?%iYiYEN|G znFK>gjRAQO{BWc&La%ILKCvo(nmt{2G5+z`10}U~ScOpe)rMI{R$FB6m4Bo_Tu(lI zCnw&B?HDO*FPbeFHuh3aHvUMF=dC^lAWmkHWLRYP?SG&K7P%@t8D5GnwU;zkTz1$7 z$Ss1dKm|g$y)6f{nKENKp@E`NqXr{F@))oJStY>Zm783xdR+IQ^>Qx9`jdH^isy<{ z?I3B`nWjcn;%Q6z^iogNQH5cv8VV8hbUg>EG9vV=`nza6b~dlp=Qisq-jz`Il^uiH zbZk+yUA{dV!R5?c_#DfY+ ATy z3Y-k8?3+6bpqA*p=s-AKFQG#Xs&FJ~6)!RvD*=F35)h`SJe_aTR+93MI2K)!bmmW0 z9s$Knhv*4S$NAY8Jfr)S7J+|S72@v_yQ7J*{rwHd@p?eb@elO0bNAJ)h;mjGtZ3h} zB{w@-e7&l&>QeU)TVquA=PIh(blp1)S|`=laANZ8`u9Git^YUDT&jt3#v)P|DY`kk zx`P6WcD~7dKg$lf|88QG!-}8jXHcHCpJ46c^*h#yPF~E8^4s@aRyoi|+s=Y!AHNC| zN7ueaa2v`gerIr=Ru|K&*sil5<({Y>c^kLe$5}QHgJME>p8(*STPmnAy z%;T}Ym=N`XIZtekS=*edxlfsNL$bWyAWn#fl-Kp=Bl_j@+r<@w@XHYOa^h#YeNquk z^C4nif %Q149F7O-B3X zEYMfdds6S}dR?#Sm692>(^(7BPYM~8OYyihm7!5UJBcR$FrYV7nh_&B7GB!CEE|J4 z7z4f-`<(yzdVImWyoCQ(P3Kd9*4LZO`dZ2-IB YIcMBG zv};LqbbB!Y3pukxqm}#yIyxMXeC-V2;PKkq{lSYSOEl3TqYEJf@8VjOd%PnKwaSSM zg1|eH$t$)<0M}e|Ao8ouC+;t$d2;kZg% |M zitK(jxZ{mPpUfJLn1#(f@)0ykdyJ9qRxg?@pC8R1=%~;c8;o=f33|5jq>(wYF`r^> z=4W1=+xwO!IT3kn>*QK @TbNu9qSu{({X=7| ynd-cXaauU{FVo$X=I?P{NXiyuQ5SdT=z$ji|QBJyp@x?8x0+5Wr bq~KT`s4d#)VU?@?X*{syO`gcxe4{^U%DR zpuY}2p47}gx2j&U7kM %_P3IrT_Act;(scCKp7!C_T!iDHAbe~J z(Q);u#jl;Chr!&;k*e*B&UgDsgtC}OEpj j$*~8q+nbt_W~SsV~tU%C4soEL(vlK$TM@iHN06RW%Y6X z^IGJ2a)iR$f??p+x~6trY;^QK@tJD^g#J@!s?uHY)#W7Kyz0|kz^lOi^H2W^FM #xa5q_oZ?%|YrVa;^*s_oiiS zWxsP?SzAh$d?y&0-53MiEecMP8P9y0HqGb|R?UgvQBX@NlmA5jGGcHBxr>RufrlEm zO+UBU(7O+}zQO%W+IAj@iQ!L=04dLHza%hwlWu62d&u;np)j^Xcey^7Jv%O@`s(Mg zz)^pU3Z=3>T>Ec-^c4ev8A-Y^3Mf!j#G;C@PE-%PIdT8MAk?npW8m;ap9RxTSDM=9 zU)I7*wKvaOl`bcAL}_^`%^fCx?~KU|J#!r~+Kx!{@#8@>`1b;UCHZx9iX2T^`I-<# z3 ?t ?bhJwVDP&A@#HuXW zw{r@)EPd4JLUzJUGuq5Om+WMnwry(1X?63H>8|57_gk~PpRzNfsyx2jBL>;(2L0Cp z&B7I9r=cFR&Ae6*>`#EB&cZtIDZ?Z(Oq#a(h{%4dM9N&yb9y{bj9?q>7^f4z`)4ko zN6^mB0Q2!!gB#j!Nb9hKm_+)drcM#Atl 2TM6EBeY)?Ck!&)UT5u*$fy?FJV4 *-`q%xcwj~}ax`~i7K+{VKTC(-tQpc=&GvD5cF(V r!^V9W+Xg`b-3r^QyZ8La)_E@-6R%u9Gn=#k5-9jr`C0;W`lpArhsUOigkLJ zA0`jt;?%zGcR>ZX!K`mV4Bif6Aj+rylI9t#wLxf8RGg|hWV>XDco(U*>-Y~e08}|l z5QfyV8e>ud5>nIF#idvgd2d3az{>6Q;# Ex;0id#P>XqJ@*bYkvb zMs8HV# ZcZxIkP_}m zck+)W6t71`CdGl7KR2C > i%8>w4Qgm{E!#yrU12XGy#F=Ld@wl2+FSnaLz_ZGFM^OxgOQJbU&eeHlj zYnQPQVS~9qDb%l^iz%P?^5$(i>Zju0Haec< zsc56@M+#F<8MYl6-me`6zyAmFNrW2z_5R$F5!@ZMTlXz)uj#?ylou^AB7e61FTyu) zHo_*W@iyj7cnRxdV65= X-^8UXe3HrIX{7eHwMgi zAY-D+X_#c#|BmNM# zepdhSN=#FbQ Co5dWsOLl9(s-G;Amq-1MLMDe^@STV?WvUZjw6 zB&cC#o?+DX6C%qQ;gI5>Z?Dbqd%E$W#2Mkie$3CB;VG$7dD_q(KN|c{Kw7?`DkN>j z{s8?eL)9P10hFXW?KL3K`m0e=IZL2Mz|nr$#H??XZSUIIM+kN`jO`dVbyuznxa|Y= zW6l)QGZiEClWdcy_WW&g`) @KrSC{-^LSM9 zOO1y6^_Mr{EB(&UTK_ rqzl#eEK9Q`1UexY4GT|1CJrXf-!U_+moxS$pNKj~z2)H6(%q;s9&+)C?0XW+FO z>>SPRNZJ4fw80h{ZpEFDZD%Z?CyZ-9YM>31Z5V%Pwgm%){V_`sE|`1^e3C7|84Sv< z1!>TiQ5dom0lz6QX`p~#Qw%V2YKXynq`C2J69Z$xX_JdX>B!#m2+P3sq% =o5LtyM|2;UiY_uB4mz=CV88x5da?3lFzV?*Dh);G#sifMFyspDN;7?en z>58re$^DXMMxYfHf36~X71q`9YwHAzwzUd 4`{up9IYf}+A@q4}q0Br|N$~ zf*w(d=w00(!IGIaXy VAOv@cww1GwxmE)K-&i9 zz&R3&)d|h8O5cK^)25is1goU xVZ1v=#VMW61;&p0OR--zb=hfv- z4JQj9!38y+`Gh%r?!?HP?*p^-A=LEMlzW>3Lt{i}#Z${iZhof$$-knY#3)gZzV144 zBWV57H55w0+4Uc2H~){fEG=h9|CHm{qymmNFK@d0N97&UAOB txLT l5UIzl!@ifvZH*z~%$X{3@m}r%@dSD)4(<6a2JQ=b z7AlCJyl5QPEjG_5gp0l%4F&$s(zzWwF#r&|&?64=JNs2Qnb@qJIJcy!ptrNhzh~Xv z)*DgfXoD0vLw8aef%qq~g?_Iv#Vu#&v;SHk7vxWd5PsAW`_FW?&O@`P0h;-=fVW=- z^ABX;cMgb@nyj41W?p3P(e4wvBxMn)$rw<85sKw^kP(F}XvfarKNC98V_}P9L-VvJ zLgd -tDY%3M_5u97%GRGn5tP zVR+-yQ5Bxg(?fBQK@@$FCz2XlcqHplKWos1f&QTRzSxc~RK3{wktc+bbq~33dN0qA z1CyRbAOh1Y&mfr5$Cd&LMb`CIUiEu_)wyQZ ArTyR}I78v-=@K9 {@QG%egE)|L#D0v-Sg)O{<`P9ZOH2AK2V4NT z1$JyJcX8qsmZ{dj(ALpsrt5^KF~2@7azg!E1CHDH|NR+)D=Jimpnowpd@F2f(8`zf zY07#;g}sqOC}j6)cJ@8ayg!R=uV;3}SbSKyuEW(PR8ew&SKq8by`*^-s3C38AUPB}kEDO!>10(c30{ zFUsD#N|?v%w6wBf6_Om;<#%PR$8b3+v7btmfy)4sI@U7D{l>C|cK%t;!f*WCa;+d@ z TSWn&)>RZcf08!P*PFWR&F+fvU^O`4 pt;#EY~y z=p>GfTRe-JrxC@CnO~t2mU_2}SpC-jyV1Sp@BQZ=hzHuusTy!iJRIn889kit*V8kp zL}|l&@afX*iXQen^Fy~G%RHjvy-kg}>URZO_g2}u*6LPn;`rukGS(dfLuwPo8&CJx zu8w|eF9CExm;5_e#X747l1tG(z`>fcW zvBACDjRi=z_ooE(Xg{IuXoI*jl4$d!2IGv^${VU$TpOD0Gt)w)4I+Q!o<|N6L_IAs zPnFQOOTM1PmH@a>&h!W)EAsu*OV2qY-7R& v7Kla)+Qg1fNRNZ>*{Ge~5G_WwYZayOyf z4yyj>&8}%E9n%z`Va|<7R@vO$%pu`r6%vB+=2g&DIrT}G&4d$of?E3^h_D!oKoK>4 zAov+QFoCssU|6YZCY9Lzzh6X-MFtdKvkD}f46o(SR!b&}JyQ9!a*8%hx1xvnL|-_};SXsq&|~X!VBh6b4-{*O(CS$f|Nds# zo4Mbooyi$MH9fMMrJmV6T>AVcPjCCRBV|5;jTLBb9OXWo9ych(LJqUFBmI2P`vQlU zWZ%!h!%LsQC60|a`7G6rn WO32&W%I&~iv&evy_VfRIGtC9Oo8^yL9Fp{ksHI5gXiFzkFY z%xE7jm!bWe{`&8jiYlo{9_;BQ@>3IHPC%*l;=kFn3TQpPUI8p~>ivXRt}0VyFZQ$T z&A@!`YuZFq+pza5V?1j8`=iLLsk=^J_b{NS$A(>qXkB{}DpXSNQoR4P)qJGiKkPCD z0c9YF;so;jC$^pBaq4-+w|+_F`;Etpz?YVHsn3x|GIOn$n@`a`TxLGsycS=i5>X8W z(5pXRNST#yMQ%q9M=*}h{mC4Rk5&j1nNjaXCnBEB{w93*{Xmd6=5aLyw=;Yj@R#>o>omkrH3a#VL<{Y W<(ZwWBx zDk@P7DHk%Gg~?=SQ#~(*3H1ka#FUw9_VX#QfZCfd@O?eFhG$Iitb0O=coBHtDkG#C z#SC87JuUy#uN!nHxPaS)N@&zAnYXAA*gw*`oo5)HQswX4c;oqwV`6m3-}5PAj&V!I zRhkm-py%MOldGtk&gC4h_+CnqG8lwuIGKnU-G`0FxU*JxA1wif;W6C+8E(m|fhx&E zffo_~MazjDHbhbCt;eg+R4%0+>U9v=^S2!v(vp_b7W&y2Hc}uLn6K(Bw@Y>bL*z^D zyLr&d=?0)@eh o;eEu4CjR#&Os( zMnva2-<`KkP$X#t%n+%^j|x~%RQ!{jsMPq${%OY0T^Ii%EUR?#a8h-ovm&*X-{mf$ zp2Qkxd};=rQvezd!ziW7=$_77ogJQEr#noa{p#=O52C2tBI0eka68!5#j-Wv8~Y>5 zTsKZD=jz###hcK~Q(N^h)+`!UTGKDz=vw~JSEZbyL;@fGO@91)z2@<)=5<29Hs~U5 zxh4=uC%i{9Bmmfj_~>{``vOkmEpBe)dfmS`d9ZpqcE*=_^%oKJv*8sl1ihNy?gu8t zh+41bcCOMl a z-HsW*_E3;oi ~+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 z CE=f&p?+RYY~J9|CYT|~UcAlwQ!5e2YE*^3rbTw%EuF;Ws57j=;? zBpN^;pp?P-^?VNm$3ZC@z_HEn!ouJ9xBXUaYVZHZd$s^gi`~!ip{-j8%&@czE$j7+ zAOV q%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 ?8 0aj>+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`tHGKgF mp)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{T Sc zz2qJ`1nY@x6nER1JhbabvL9%w9;GYhuoAf`lK$(*b2RAApt(~EHyR rWUAf>&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!{#wc SqNqp8Yy3EfyF+|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`W-K0+WB{YDF-%#{jhV3odWt#l6VU}ssSi#`8w znY15L@z)BlipY->i 7slzr#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{*INOdO QbE;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+2 AWQ?C!0DF-}^O#z(aoziJegd` 7Qy}PcfF!bmX$n34 zl^FKMI|V^HKpl)?DSB CG8NWZS^;15` JNqbFlIZPWDklnEV#O@^nJBlO^GMez2in{W9yMZczK!P9lCk5m M@GOKEG zoy&~-_Df7{&Qoc q+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?VRRxuP tW 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!8uwv 7o zgcbEgi{a$@6x8|Wnl!mhA)h~)2vH^|a%3(YGESK47#Y5*!#zsdhyDQna{K5niV%I_ zuac-EtN=uxP#bS)loXYK?(XVq3kZ>Un5RY H*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-B7z Agbgd$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>`;O CS|b%7XgWj!asr@Vm*QQL7{>m-6w%Z|67u?_P;$ WhNMw%#r-{08)ZZhDQB!_`Ma0(0UI#Mfkk=h>Wc v+ 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;^wM sPiSu9zc}@Od}PCibKrHxE%8V5SJagR(6>+Faw9&+U?@@MF{+Sr2^sDzVs gl eKO^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$_cMlR Fkld`AKg3Uq8eHnZ;(2Z? zE(9zNRfgMW+aQ2J3=Vm(vvltd-FQmI4JP+fn_Ioo;#(_?Mp(phY7#^OJnW#5ts^ON z0U#DN(+4N X6m*~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*`#P fWb 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#NMHSF v{66-qdB6A z04UGpMHB#a6sN5ePy+U&r4H5AhZAtRMGOeuBAZ&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@NWmg+ ++ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + ++ ++ + + + + + + ++ + + + + + + + + + + + + + + + + + + + + + + + + + + +K{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 zt 3HUQBcvXJZJ@|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}2 31+(WKgj}x3a$6QPbkH zbNISo^6JbRV4MeMqz=IGFb-Gm@Em xUKy@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( UTJSlJSAXvj kba;z)9g6_T4v zO$8kvA9}vM^$e7ufJl1fHf^FT=ndUI>Qh%ti2Z4A@`NAF&&0j~T|d~ETy}@iO+`3| zPN-;aISZeRO`` mw3p zeB=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$j kEt`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@pD7S 8)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{
1lBG C%+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!4Orwx}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%y ig@^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=fE 3;_3}l>-8sP|Y7mMNdU;AsI?M$5P$dRCi&Bwrt|z;4j*I+rH<01I}xiJMVpA zCQ wqvJO>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@59 5;ZKeG2loGl0x6FpSd?h9sWrnOL(EXpRTL A;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`!QMaDquj 6Dt^_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_ N?+CgwvfTVl(kI(2+>cXW)fk?e@#RI2s-+^B9^KaDxYX z%!7$P>^UR$dM=BG 0 z>(8)5+|o#()ZK{2e_L;V^aw|z2Ax>Yk>Kc3+J@?|KcU4FCFoSO7PxNv25I6jj}#A> zy-nD(lwyasjE1^t5IHhGYdZ{%v5Juc_2b`!M5}QqMlR8Ow1j4+AJ^6W;Vz|r#kD~8 zC+k}djqk