-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
101 lines (85 loc) · 5.94 KB
/
index.html
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
<!DOCTYPE html>
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF8">
<title>Honours Project: s1208057</title>
<!-- <link rel="stylesheet" href="app/lib/bootstrap-4.0.0-alpha.2/dist/css/bootstrap.css" /> -->
<!-- <link rel="stylesheet" href="lib/font-awesome-4.5.0/css/font-awesome.min.css">
<link rel="stylesheet" href="lib/tether-1.1.1/dist/css/tether.min.css"> -->
<link rel="stylesheet" href="app/lib/jquery-linedtextarea/jquery-linedtextarea.css" />
<!-- <link rel="stylesheet" href="lib/tipsy.css" /> -->
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0-alpha.2/css/bootstrap.min.css" />
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/tether/1.1.1/css/tether.min.css">
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css">
<link rel="stylesheet" href="https://cdnjs.cloudflare.com/ajax/libs/jquery.tipsy/1.0.2/jquery.tipsy.css">
<link rel="stylesheet" href="app/css/style.css" />
<script>
start_load = new Date();
</script>
<!-- End Google Analytics -->
</head>
<body>
<!-- View Canvas -->
<nav class="navbar navbar-fixed-top navbar-dark bg-inverse">
<span id="page-title" class="page-title"></span>
<a class="navbar-brand pull-left" href="index.html">Data-flow Analysis Tutor</a>
<ul class="nav navbar-nav pull-right">
<li class="nav-item"><a class="nav-link" id="nav-goto-menu">Menu</a></li>
<li class="nav-item"><a class="nav-link" id="nav-goto-simulator">Simulator</a></li>
</ul>
</nav>
<div class="navbar-spacer"></div>
<div class="container-fluid canvas" id="view-canvas" style="width: 100%;"></div>
<!-- jQuery -->
<!-- <script src="lib/jquery-2.1.4.js"></script> -->
<script src="https://cdnjs.cloudflare.com/ajax/libs/jquery/2.1.4/jquery.min.js"></script>
<!-- Bootstrap -->
<!-- <script src="lib/tether-1.1.1/dist/js/tether.min.js" type="text/javascript"></script> -->
<script src="https://cdnjs.cloudflare.com/ajax/libs/tether/1.1.1/js/tether.min.js" type="text/javascript"></script>
<!-- <script src="lib/bootstrap-4.0.0-alpha.2/dist/js/bootstrap.js" type="text/javascript"></script> -->
<script src="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0-alpha.2/js/bootstrap.min.js" type="text/javascript"></script>
<!-- MathJax -->
<!-- <script type="text/javascript" src="lib/MathJax-2.6-latest/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> -->
<script src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-MML-AM_CHTML" type="text/javascript"></script>
<!-- PEGjs -->
<!-- <script src="lib/peg-0.9.0.js" type="text/javascript"></script> -->
<script src="https://cdnjs.cloudflare.com/ajax/libs/pegjs/0.9.0/peg.min.js" type="text/javascript"></script>
<!-- d3.js -->
<!-- <script src="lib/d3/d3.js" type="text/javascript"></script> -->
<script src="https://cdnjs.cloudflare.com/ajax/libs/d3/3.5.16/d3.min.js" type="text/javascript"></script>
<!-- dagre / dagre-d3 -->
<!-- <script src="lib/dagre-d3-14-02.js" type="text/javascript"></script> -->
<script src="http://cpettitt.github.io/project/dagre-d3/latest/dagre-d3.min.js" type="text/javascript"></script>
<!-- Tipsy: Tooltips -->
<!-- <script src="lib/tipsy.js" type="text/javascript"></script> -->
<script src="https://cdnjs.cloudflare.com/ajax/libs/jquery.tipsy/1.0.2/jquery.tipsy.min.js" type="text/javascript"></script>
<!-- Lined Text Area -->
<script src="app/lib/jquery-linedtextarea/jquery-linedtextarea.js" type="text/javascript"></script>
<!-- Handlebars -->
<!-- <script src="lib/handlebars.runtime-v4.0.5.js"></script> -->
<script src="https://cdnjs.cloudflare.com/ajax/libs/handlebars.js/4.0.5/handlebars.runtime.min.js" type="text/javascript"></script>
<!-- UG4 Proj JS -->
<script src="app/js/kludge.js" type="text/javascript"></script>
<script src="app/js/teaching/dictionary.js" type="text/javascript"></script>
<script src="app/js/helpers.js" type="text/javascript"></script>
<script src="app/js/templates.js" type="text/javascript"></script>
<script src="app/js/values.js" type="text/javascript"></script>
<script src="app/js/graph.js" type="text/javascript"></script>
<script src="app/js/simulator/iloc/iloc_parser.js" type="text/javascript"></script>
<script src="app/js/simulator/iloc/iloc.js" type="text/javascript"></script>
<script src="app/js/simulator/dfa.js" type="text/javascript"></script>
<script src="app/js/simulator/dataflows/iloc_reaching_definitions.js" type="text/javascript"></script>
<script src="app/js/simulator/dataflows/iloc_avail_expressions.js" type="text/javascript"></script>
<script src="app/js/simulator/dataflows/iloc_liveness.js" type="text/javascript"></script>
<script src="app/js/simulator/roundrobin.js" type="text/javascript"></script>
<script src="app/js/view.js" type="text/javascript"></script>
<script src="app/js/simulator/views.js" type="text/javascript"></script>
<script src="app/js/teaching/views.js" type="text/javascript"></script>
<script src="app/js/teaching/lessons/intro-interactive.js" type="text/javascript"></script>
<script src="app/js/teaching/lessons/roundrobin.js" type="text/javascript"></script>
<script src="app/js/teaching/lessons/generic.js" type="text/javascript"></script>
<script src="app/js/teaching/tests/complete.js" type="text/javascript"></script>
<script src="app/js/views.js" type="text/javascript"></script>
<script src="app/js/main.js" type="text/javascript"></script>
</body>
</html>