todiff.github.io/todiff-docs.html at master · ToDiff/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
<!DOCTYPE html>
<html lang="en" class="scroll-smooth">
<head>
  <meta charset="utf-8">
  <script>(function(){var t=localStorage.getItem("cs-lab-theme");if(t==="light")document.documentElement.setAttribute("data-theme","light");})()</script>
  <meta name="description" content="Documentation for ToDiff.">
  <meta name="viewport" content="width=device-width, initial-scale=1">
  <title>Docs — ToDiff</title>

  <link rel="preconnect" href="https://fonts.googleapis.com">
  <link rel="preconnect" href="https://fonts.gstatic.com" crossorigin>
  <link href="https://fonts.googleapis.com/css2?family=Inter:ital,wght@0,300;0,400;0,500;0,600;0,700;0,800;1,400;1,700&family=JetBrains+Mono&display=swap" rel="stylesheet">

  <link rel="stylesheet" href="static/css/fontawesome.all.min.css">
  <link rel="stylesheet" href="https://cdn.jsdelivr.net/npm/academicons@1.9.2/css/academicons.min.css">
  <link rel="stylesheet" href="static/css/index.css">
  <link rel="icon" href="static/images/favicon.html">

  <script defer src="static/js/fontawesome.all.min.js"></script>
  <script src="static/js/index.js"></script>
</head>
<body data-project="todiff">

<div class="bg-pattern"></div>
<div class="site-content">

<nav class="navbar" role="navigation" aria-label="main navigation">
  <div class="navbar-inner">
    <a id="nav-back" href="works.html" class="nav-back" style="display:none;">
      <span class="back-arrow">←</span> Works
    </a>
    <a href="index.html" class="navbar-logo">
      <span class="navbar-logo-dot"></span>
      <span id="logo-text"></span>
    </a>
    <ul id="nav-links" class="navbar-links"></ul>
    <div class="navbar-actions">
      <button id="theme-toggle" class="theme-toggle" aria-label="Toggle theme">
        <span id="theme-toggle-icon">☀️</span>
      </button>
      <button class="navbar-burger" aria-label="menu" aria-expanded="false">
        <span aria-hidden="true"></span><span aria-hidden="true"></span><span aria-hidden="true"></span>
      </button>
    </div>
  </div>
</nav>

<section class="hero">
  <div class="hero-inner">
    <span class="hero-label">Documentation</span>
    <h1 class="hero-title"><span class="hero-title-line gradient-text">Docs</span></h1>
    <p class="hero-subtitle">Get started with ToDiff</p>
  </div>
</section>

<section class="section">
  <div class="section-inner">
    <div class="card mb-2 reveal">
      <h4 style="margin:0 0 0.5rem;font-size:1.15rem;">Quick Start</h4>
      <a href="https://github.com/Compiler-Security/ToDiff/blob/main/README.md" target="_blank">See ToDiff's README →</a>
    </div>
    <div class="card reveal">
      <h4 style="margin:0 0 0.5rem;font-size:1.15rem;">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="footer-brand">The Lab for Compiler and Security Technology</div>
  <div class="footer-copy">
    School of Computer Science · Nanjing University &nbsp;|&nbsp;
    <a href="mailto:qingkaishi@nju.edu.cn">Contact</a>
  </div>
</footer>

</div>
</body>
</html>