Skip to content

Commit

Permalink
Deployed 60f7ebc with MkDocs version: 1.5.3
Browse files Browse the repository at this point in the history
  • Loading branch information
Unknown committed Dec 6, 2023
0 parents commit 2336885
Show file tree
Hide file tree
Showing 701 changed files with 223,858 additions and 0 deletions.
Empty file added .nojekyll
Empty file.
172 changes: 172 additions & 0 deletions 404.html
Original file line number Diff line number Diff line change
@@ -0,0 +1,172 @@
<!DOCTYPE html>
<html lang="en">
<head>


<meta charset="utf-8">
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1.0">



<link rel="shortcut icon" href="/coyote/img/favicon.ico">
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>Coyote</title>
<link href="/coyote/css/bootstrap-3.3.7.min.css" rel="stylesheet">
<link href="/coyote/css/font-awesome-4.7.0.css" rel="stylesheet">
<link href="/coyote/css/base.css" rel="stylesheet">
<link rel="stylesheet" href="/coyote/css/highlight.css">
<link href="/coyote/css/main.css" rel="stylesheet">
<link href="/coyote/css/player-controls.css" rel="stylesheet">
<link href="/coyote/css/syntax.css" rel="stylesheet">
<!-- HTML5 shim and Respond.js IE8 support of HTML5 elements and media queries -->
<!--[if lt IE 9]>
<script src="https://oss.maxcdn.com/libs/html5shiv/3.7.0/html5shiv.js"></script>
<script src="https://oss.maxcdn.com/libs/respond.js/1.3.0/respond.min.js"></script>
<![endif]-->

<script src="/coyote/js/jquery-3.2.1.min.js"></script>
<script src="/coyote/js/bootstrap-3.3.7.min.js"></script>
<script src="/coyote/js/highlight.pack.js"></script>
<script src="https://consentdeliveryfd.azurefd.net/mscc/lib/v2/wcp-consent.js"></script>

<base target="_top">
<script>
var base_url = '/coyote/';
var is_top_frame = false;
var page_toc = null;

</script>
<script src="/coyote/js/base.js"></script>
<script src="/coyote/assets/js/analytics.js"></script>
<script src="/coyote/assets/js/plugins.js"></script>
<script src="/coyote/assets/js/animate_trace.js"></script>
<script src="/coyote/assets/js/animation.js"></script>
<script src="/coyote/assets/js/progress_bar.js"></script>
<script src="/coyote/assets/js/trace_model.js"></script>
<script src="/coyote/assets/js/main.js"></script>

</head>

<body>
<script>
if (is_top_frame) { $('body').addClass('wm-top-page'); }
</script>

<div id="cookie-banner"></div>


<div class="wrapper wm-page-content">
<div class="container-fluid">
<a name="_top"></a>



<h2 style="text-align: center">404</h2>
<h1 style="text-align: center">Page not found</h1>



<br>


<br>
</div>
</div>

<footer class="wm-page-content">


<section class="footer-join pt-40 pb-80">
<div class="container-fluid">
<div class="row text-center">
<div class="col-sm-8 col-sm-offset-2">
</div>
</div>
<div class="row">
</div>
</div>
</section>
<section class="footer-dark pt-60">
<div class="container-fluid">
<div class="row">
<div class="hidden-xs col-sm-5 col-lg-6">
<a href="" title="homepage" class="logo-footer">
<img src="/coyote/assets/images/icon.png" alt="Coyote">
</a>
</div>

<div class="col-sm-2 col-xs-4 footer-dark-col">
<nav>
<h4>Coyote</h4>
<ul class="list-unstyled">
<li><a href="/coyote/">Home</a></li>
<li><a href="/coyote/get-started/install/">Install</a></li>
<li><a href="https://github.com/microsoft/coyote/"><i class="fa fa-github"></i>
GitHub</a></li>
</ul>
</nav>
</div>

<div class="col-sm-2 col-xs-4 footer-dark-col">
<nav>
<h4>Resources</h4>
<ul class="list-unstyled">
<li><a href="/coyote/tutorials/first-concurrency-unit-test/">Getting started</a></li>
<li><a href="/coyote/tutorials/overview/">Tutorials</a></li>
<li><a href="/coyote/ref/Microsoft.Coyote">API documentation</a></li>
</ul>
</nav>
</div>

<div class="col-sm-2 col-xs-4 footer-dark-col">
<nav>
<h4>Community</h4>
<ul class="list-unstyled">
<li><a href="https://github.com/microsoft/coyote/discussions"><i class="fa fa-github"></i>
GitHub</a></li>
<li><a href="https://twitter.com/coyote_dev" target="_blank"><i class="fa fa-twitter"></i> Twitter</a></li>
<li><a href="https://teams.microsoft.com/l/channel/19%3a1fe966b4fdc544bca648d89bf25c3c56%40thread.tacv2/General?groupId=7a6d8afc-c23d-4e5d-b9cb-9124118c0220&tenantId=72f988bf-86f1-41af-91ab-2d7cd011db47" target="_blank">Teams (Internal)</a></li>
</ul>
</nav>
</div>
</div>

<div class="row footnote pt-50 pb-20">
<div class="col-sm-12">
<hr>
</div>
<div class="col-sm-6">
<ul class="list-unstyled list-inline footnote-copy">
<li><a href="https://privacy.microsoft.com/en-us/privacystatement/" target="_blank">Privacy</a></li>
<li><a href="https://www.microsoft.com/en-us/legal/intellectualproperty/copyright/default.aspx" target="_blank">Terms of Use</a></li>
<li><a href="https://github.com/microsoft/coyote/blob/main/LICENSE" target="_blank">License</a></li>
<li><a href="javascript:manageCookies()" id="managecookies">Cookies</a></li>
</ul>
</div>
<div class="col-sm-6 text-right footnote-copy">
<ul class="list-unstyled list-inline">
<li><span id="copyright"></span></li>
<li><a href="https://www.microsoft.com/" target="_blank"><img class="img-responsive" src="/coyote/assets/images/microsoft-logo.svg?v=3" alt="Microsoft">&nbsp;</a></li>
</ul>
</div>
</div>
</div>
</section>
</footer>


<script type="text/javascript">
$(document).ready(function () {
$('table').each(function () {
$(this).addClass("table");
$(this).addClass("table-bordered");
$(this).addClass("table-striped");
$(this).addClass("table-condensed");
});

});
</script>

</body>
</html>
Loading

0 comments on commit 2336885

Please sign in to comment.