This repository has been archived by the owner on Aug 20, 2024. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathnotes.html
143 lines (119 loc) · 7.79 KB
/
notes.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
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
<!DOCTYPE html>
<html lang="en" data-content_root="./">
<head>
<meta charset="utf-8" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" /><meta name="viewport" content="width=device-width, initial-scale=1" />
<title>Notes — CIS 706/801: Translator Design I & II, Fall 2022</title>
<link rel="stylesheet" type="text/css" href="_static/pygments.css?v=7b95706a" />
<link rel="stylesheet" type="text/css" href="_static/bootstrap-sphinx.css?v=90e37d00" />
<link rel="stylesheet" type="text/css" href="_static/cis706.css?v=f84b051f" />
<script src="_static/documentation_options.js?v=5929fcd5"></script>
<script src="_static/doctools.js?v=888ff710"></script>
<script src="_static/sphinx_highlight.js?v=dc90522c"></script>
<script src="_static/js/jquery-1.11.0.min.js"></script>
<script src="_static/js/jquery-fix.js"></script>
<script src="_static/bootstrap-3.3.7/js/bootstrap.min.js"></script>
<script src="_static/bootstrap-sphinx.js"></script>
<link rel="index" title="Index" href="genindex.html" />
<link rel="search" title="Search" href="search.html" />
<link rel="next" title="Projects" href="projects.html" />
<link rel="prev" title="Advice" href="advice.html" />
</head><body>
<div id="navbar" class="navbar navbar-default navbar-fixed-top">
<div class="container">
<div class="navbar-header">
<!-- .btn-navbar is used as the toggle for collapsed navbar content -->
<button type="button" class="navbar-toggle" data-toggle="collapse" data-target=".nav-collapse">
<span class="icon-bar"></span>
<span class="icon-bar"></span>
<span class="icon-bar"></span>
</button>
<a class="navbar-brand" href="index.html">
Home</a>
<span class="navbar-text navbar-version pull-left"><b></b></span>
</div>
<div class="collapse navbar-collapse nav-collapse">
<ul class="nav navbar-nav">
<li><a href="syllabus.html">Syllabus</a></li>
<li><a href="schedule.html">Schedule</a></li>
<li><a href="projects.html">Projects</a></li>
<li><a href="#">Notes</a></li>
<li class="dropdown globaltoc-container">
<a role="button"
id="dLabelGlobalToc"
data-toggle="dropdown"
data-target="#"
href="index.html"> <b class="caret"></b></a>
<ul class="dropdown-menu globaltoc"
role="menu"
aria-labelledby="dLabelGlobalToc"></ul>
</li>
</ul>
<form class="navbar-form navbar-right" action="search.html" method="get">
<div class="form-group">
<input type="text" name="q" class="form-control" placeholder="Search" />
</div>
<input type="hidden" name="check_keywords" value="yes" />
<input type="hidden" name="area" value="default" />
</form>
</div>
</div>
</div>
<div class="container">
<div class="row">
<div class="col-md-12 content">
<section id="notes">
<span id="id1"></span><h1>Notes<a class="headerlink" href="#notes" title="Link to this heading">¶</a></h1>
<h3>CIS 706/801: Translator Design I & II, Fall 2023</h3><hr class="docutils" />
<section id="cis-account">
<h2>CIS Account<a class="headerlink" href="#cis-account" title="Link to this heading">¶</a></h2>
<p>If you do not have a CIS account, here is how to get one:</p>
<ul class="simple">
<li><p>Get a <a class="reference external" href="https://eid.k-state.edu/">K-State eID</a> if you don’t already have one.</p></li>
<li><p><a class="reference external" href="https://selfserv.cs.ksu.edu/">Sign up</a> online for a CIS account
(which requires an active eID first!).</p></li>
<li><p>The account manager will approve your account and you will receive a password
by email to by your eID account.</p></li>
</ul>
</section>
<section id="github-account">
<h2>GitHub Account<a class="headerlink" href="#github-account" title="Link to this heading">¶</a></h2>
<p>Coursework submissions will be done via <a class="reference external" href="https://github.com">GitHub</a>.
In the beginning of the course, each student will be given a private GitHub
repository; thus, you need to have a <a class="reference external" href="https://github.com/join">GitHub account</a>.</p>
</section>
<section id="course-software-infrastructure">
<span id="sireum"></span><h2>Course Software Infrastructure<a class="headerlink" href="#course-software-infrastructure" title="Link to this heading">¶</a></h2>
<p>It is required that you use <a class="reference external" href="https://sireum.org/getting-started/">Sireum IVE</a> which provides all the required tools
for the course in a single bundle.</p>
</section>
<section id="git-workflow">
<span id="gitw"></span><h2>Git Workflow<a class="headerlink" href="#git-workflow" title="Link to this heading">¶</a></h2>
<p>To merge updates from <a class="reference external" href="https://github.com/ksu-cis-706/f23-706-project">https://github.com/ksu-cis-706/f23-706-project</a> (replace <code class="docutils literal notranslate"><span class="pre"><eid></span></code> with your K-State e-id):</p>
<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">git</span> <span class="n">clone</span> <span class="n">git</span><span class="nd">@github</span><span class="o">.</span><span class="n">com</span><span class="p">:</span><span class="n">ksu</span><span class="o">-</span><span class="n">cis</span><span class="o">-</span><span class="mi">706</span><span class="o">/</span><span class="n">f23</span><span class="o">-</span><span class="mi">706</span><span class="o">-<</span><span class="n">eid</span><span class="o">>.</span><span class="n">git</span>
<span class="n">cd</span> <span class="n">f23</span><span class="o">-</span><span class="mi">706</span><span class="o">-<</span><span class="n">eid</span><span class="o">></span>
<span class="n">git</span> <span class="n">remote</span> <span class="n">add</span> <span class="n">upstream</span> <span class="n">git</span><span class="nd">@github</span><span class="o">.</span><span class="n">com</span><span class="p">:</span><span class="n">ksu</span><span class="o">-</span><span class="n">cis</span><span class="o">-</span><span class="mi">706</span><span class="o">/</span><span class="n">f23</span><span class="o">-</span><span class="mi">706</span><span class="o">-</span><span class="n">project</span><span class="o">.</span><span class="n">git</span>
<span class="n">git</span> <span class="n">fetch</span> <span class="n">upstream</span>
<span class="n">git</span> <span class="n">merge</span> <span class="n">upstream</span><span class="o">/</span><span class="n">master</span>
</pre></div>
</div>
<p>Resolve any git merge issues, then:</p>
<div class="highlight-default notranslate"><div class="highlight"><pre><span></span><span class="n">git</span> <span class="n">push</span>
<span class="n">sireum</span> <span class="n">proyek</span> <span class="n">ive</span> <span class="o">.</span>
</pre></div>
</div>
</section>
<section id="staticjava-compiler-examples-and-slides">
<h2>StaticJava Compiler, Examples, and Slides<a class="headerlink" href="#staticjava-compiler-examples-and-slides" title="Link to this heading">¶</a></h2>
<p>The course example projects (e.g., StaticJava Compiler) are stored in a Git
repository accessible at: <a class="reference external" href="https://github.com/ksu-cis-706/f23-706-project">https://github.com/ksu-cis-706/f23-706-project</a></p>
<p>Slides can be accessed in the course’s K-State Canvas Files section.</p>
<p>Note that the slides might be updated during the course so do not print them
until we have discussed the topics.</p>
</section>
</section>
</div>
</div>
</div>
</body>
</html>