todiff.github.io/documentation.html at master · Shbinging/todiff.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
<!DOCTYPE html>
<html lang="en">

<!-- Mirrored from repoaudit-home.github.io/documentation.html by HTTrack Website Copier/3.x [XR&CO'2014], Tue, 15 Apr 2025 07:03:04 GMT -->
<!-- Added by HTTrack --><meta http-equiv="content-type" content="text/html;charset=utf-8" /><!-- /Added by HTTrack -->
<head>
  <meta charset="utf-8">
  <meta name="description" content="ToDiff is an open-source tool for validating interior gateway routing protocols.">
  <meta name="keywords" content="ToDiff, Routing Protocols, Interior Gateway Protocols, Differential Valida-
  tion, Topology Synthesis">
  <meta name="viewport" content="width=device-width, initial-scale=1">
  <title>ToDiff</title>
  <!-- Optional Google Analytics -->
  <link href="https://fonts.googleapis.com/css?family=Google+Sans|Noto+Sans|Castoro" rel="stylesheet">
  <link rel="stylesheet" href="static/css/bulma.min.css">
  <link rel="stylesheet" href="static/css/bulma-carousel.min.css">
  <link rel="stylesheet" href="static/css/bulma-slider.min.css">
  <link rel="stylesheet" href="static/css/fontawesome.all.min.css">
  <link rel="stylesheet" href="../cdn.jsdelivr.net/gh/jpswalsh/academicons%401/css/academicons.min.css">
  <link rel="stylesheet" href="static/css/index.css">
  <link rel="icon" href="static/images/favicon.html">
  <script src="../ajax.googleapis.com/ajax/libs/jquery/3.5.1/jquery.min.js"></script>
  <script defer src="static/js/fontawesome.all.min.js"></script>
  <script src="static/js/bulma-carousel.min.js"></script>
  <script src="static/js/bulma-slider.min.js"></script>
  <script src="static/js/index.js"></script>
  <style>
    /* Optional: reduce some whitespace for a more compact layout */
    .hero .hero-body { padding: 2rem 1rem !important; }
    .section { padding: 1.5rem 1rem !important; }
    .container { margin-top: 0.5rem; margin-bottom: 0.5rem; }
    .box { padding: 1rem !important; margin-bottom: 1rem !important; }
    /* Responsive adjustments */
    @media screen and (max-width: 1023px) {
      .navbar-menu { display: none; }
      .navbar-menu.is-active { display: block; }
      .container { padding: 0 1rem; }
    }
  </style>
</head>
<body>

<!-- Navbar with additional links -->
<nav class="navbar" role="navigation" aria-label="main navigation">
  <div class="navbar-brand">
    <a role="button" class="navbar-burger" aria-label="menu" aria-expanded="false" data-target="navMenu">
      <span aria-hidden="true"></span>
      <span aria-hidden="true"></span>
      <span aria-hidden="true"></span>
    </a>
  </div>
  <div id="navMenu" class="navbar-menu">
    <div class="navbar-start" style="flex-grow: 1; justify-content: center;">
      <a class="navbar-item" href="index.html">
        <span class="icon"><i class="fas fa-home"></i></span>
      </a>
      <a class="navbar-item" href="bugreports.html">Bug Reports</a>
      <a class="navbar-item" href="documentation.html">Docs</a>
      <a class="navbar-item" href="support.html">Support</a>
      <a class="navbar-item" href="contactus.html">Contact Us</a>
    </div>
  </div>
</nav>


<!-- Hero Section -->
<section class="hero">
  <div class="hero-body">
    <div class="container is-max-desktop">
      <div class="columns is-centered">
        <div class="column has-text-centered">
          <h1 class="title is-1">Docs</h1>
          <div class="is-size-5" style="margin-top: 1rem;">
            Check out the following docs to get started with ToDiff.
          </div>
        </div>
      </div>
    </div>
  </div>
</section>

<!-- Documentation Section -->
<section class="section" id="documentation">
  <div class="container is-max-desktop">
    <!-- Quick Start -->
    <div class="box">
      <h4 class="title is-4">Quick Start</h4>
      <a href="https://github.com/Compiler-Security/ToDiff/blob/main/README.md" target="_blank">See ToDiff's README.</a>
    </div>

    <!-- Add New Bug Detectors -->
    <div class="box">
      <h4 class="title is-4">Support New Protocol</h4>
      <a href="https://github.com/Compiler-Security/ToDiff/blob/main/doc/developer_guide.pdf" target="_blank">See ToDiff Developer's Guide.</a>
    </div>

  </div>
</section>

<footer class="footer">
  <div class="container">
    <div class="content has-text-centered">
      Maintained by Bing Shui.
    </div>
  </div>
</footer>

<!-- Navbar burger toggle script for mobile devices -->
<script>
  document.addEventListener('DOMContentLoaded', () => {
    const burger = document.querySelector('.navbar-burger');
    const menu = document.getElementById(burger.dataset.target || "navMenu");
    burger.addEventListener('click', () => {
      burger.classList.toggle('is-active');
      menu.classList.toggle('is-active');
    });
  });
</script>
</body>

</html>