Skip to content

Commit 4303f13

Browse files
committed
Deploy kvakil/venus to github.com/kvakil/venus.git:gh-pages
0 parents  commit 4303f13

File tree

544 files changed

+20609
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

544 files changed

+20609
-0
lines changed

css/venus.css

Lines changed: 1 addition & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

deployed at Mon Jul 31 03:11:02 UTC 2017 by Deployment Bot (from Travis CI)

Whitespace-only changes.

index.html

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
<!DOCTYPE html><html><head><meta charset="utf-8"><meta http-equiv="X-UA-Compatible" content="IE=edge"><meta name="viewport" content="width=device-width,initial-scale=1"><title>venus</title><link rel="stylesheet" type="text/css" href="css/venus.css"></head><body><div class="tabs is-boxed is-centered"><ul><li id="editor-tab" class="is-active"><a onclick="driver.openEditor()">Editor</a></li><li id="simulator-tab"><a onclick="codeMirror.save(); driver.openSimulator()">Simulator</a></li></ul></div><div class="container is-fluid"><section class="section" id="editor-tab-view"><div class="field"><div class="control"><textarea class="textarea is-primary is-medium" placeholder="type RISC-V assembly here" id="asm-editor"></textarea></div></div></section></div><section class="section" id="simulator-tab-view"><div class="tile is-ancestor"><div class="tile is-vertical is-8"><div class="tile"><div class="tile is-parent"><article class="tile is-child is-primary" id="simulator-controls-container"><div class="field is-grouped is-grouped-centered"><div class="control"><button id="simulator-run" class="button is-primary" onclick="driver.run()">Run</button></div><div class="control"><button id="simulator-step" class="button" onclick="driver.step()">Step</button></div><div class="control"><button id="simulator-undo" class="button" onclick="driver.undo()">Prev</button></div><div class="control"><button id="simulator-reset" class="button" onclick="driver.reset()">Reset</button></div></div></article></div></div><div class="tile"><div class="tile is-parent"><article class="tile is-child is-primary" id="program-listing-container"><table id="program-listing" class="table"><colgroup><col id="mc-column"><col id="oc-column"></colgroup><thead><tr><th>Machine Code</th><th>Original Code</th></tr></thead><tbody id="program-listing-body"></tbody></table></article></div></div><div class="tile is-parent"><article class="tile is-child"><textarea id="console-output" class="textarea" placeholder="console output" readonly></textarea></article></div></div><div class="tile is-parent"><article class="tile is-child" id="sidebar-listings-container"><nav class="panel"><p class="panel-tabs"><a id="register-tab" class="is-active" onclick="driver.openRegisterTab()">Registers</a> <a id="memory-tab" onclick="driver.openMemoryTab()">Memory</a></p><div id="register-tab-view"><div id="reg-0" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-0-val">zero</label></div><div class="field-body is-expanded"><input id="reg-0-val" class="input is-small" onblur="driver.saveRegister(this, 0)" spellcheck="false"></div></div></div><div id="reg-1" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-1-val">ra</label></div><div class="field-body is-expanded"><input id="reg-1-val" class="input is-small" onblur="driver.saveRegister(this, 1)" spellcheck="false"></div></div></div><div id="reg-2" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-2-val">sp</label></div><div class="field-body is-expanded"><input id="reg-2-val" class="input is-small" onblur="driver.saveRegister(this, 2)" spellcheck="false"></div></div></div><div id="reg-3" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-3-val">gp</label></div><div class="field-body is-expanded"><input id="reg-3-val" class="input is-small" onblur="driver.saveRegister(this, 3)" spellcheck="false"></div></div></div><div id="reg-4" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-4-val">tp</label></div><div class="field-body is-expanded"><input id="reg-4-val" class="input is-small" onblur="driver.saveRegister(this, 4)" spellcheck="false"></div></div></div><div id="reg-5" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-5-val">t0</label></div><div class="field-body is-expanded"><input id="reg-5-val" class="input is-small" onblur="driver.saveRegister(this, 5)" spellcheck="false"></div></div></div><div id="reg-6" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-6-val">t1</label></div><div class="field-body is-expanded"><input id="reg-6-val" class="input is-small" onblur="driver.saveRegister(this, 6)" spellcheck="false"></div></div></div><div id="reg-7" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-7-val">t2</label></div><div class="field-body is-expanded"><input id="reg-7-val" class="input is-small" onblur="driver.saveRegister(this, 7)" spellcheck="false"></div></div></div><div id="reg-8" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-8-val">s0</label></div><div class="field-body is-expanded"><input id="reg-8-val" class="input is-small" onblur="driver.saveRegister(this, 8)" spellcheck="false"></div></div></div><div id="reg-9" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-9-val">s1</label></div><div class="field-body is-expanded"><input id="reg-9-val" class="input is-small" onblur="driver.saveRegister(this, 9)" spellcheck="false"></div></div></div><div id="reg-10" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-10-val">a0</label></div><div class="field-body is-expanded"><input id="reg-10-val" class="input is-small" onblur="driver.saveRegister(this, 10)" spellcheck="false"></div></div></div><div id="reg-11" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-11-val">a1</label></div><div class="field-body is-expanded"><input id="reg-11-val" class="input is-small" onblur="driver.saveRegister(this, 11)" spellcheck="false"></div></div></div><div id="reg-12" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-12-val">a2</label></div><div class="field-body is-expanded"><input id="reg-12-val" class="input is-small" onblur="driver.saveRegister(this, 12)" spellcheck="false"></div></div></div><div id="reg-13" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-13-val">a3</label></div><div class="field-body is-expanded"><input id="reg-13-val" class="input is-small" onblur="driver.saveRegister(this, 13)" spellcheck="false"></div></div></div><div id="reg-14" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-14-val">a4</label></div><div class="field-body is-expanded"><input id="reg-14-val" class="input is-small" onblur="driver.saveRegister(this, 14)" spellcheck="false"></div></div></div><div id="reg-15" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-15-val">a5</label></div><div class="field-body is-expanded"><input id="reg-15-val" class="input is-small" onblur="driver.saveRegister(this, 15)" spellcheck="false"></div></div></div><div id="reg-16" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-16-val">a6</label></div><div class="field-body is-expanded"><input id="reg-16-val" class="input is-small" onblur="driver.saveRegister(this, 16)" spellcheck="false"></div></div></div><div id="reg-17" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-17-val">a7</label></div><div class="field-body is-expanded"><input id="reg-17-val" class="input is-small" onblur="driver.saveRegister(this, 17)" spellcheck="false"></div></div></div><div id="reg-18" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-18-val">s2</label></div><div class="field-body is-expanded"><input id="reg-18-val" class="input is-small" onblur="driver.saveRegister(this, 18)" spellcheck="false"></div></div></div><div id="reg-19" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-19-val">s3</label></div><div class="field-body is-expanded"><input id="reg-19-val" class="input is-small" onblur="driver.saveRegister(this, 19)" spellcheck="false"></div></div></div><div id="reg-20" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-20-val">s4</label></div><div class="field-body is-expanded"><input id="reg-20-val" class="input is-small" onblur="driver.saveRegister(this, 20)" spellcheck="false"></div></div></div><div id="reg-21" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-21-val">s5</label></div><div class="field-body is-expanded"><input id="reg-21-val" class="input is-small" onblur="driver.saveRegister(this, 21)" spellcheck="false"></div></div></div><div id="reg-22" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-22-val">s6</label></div><div class="field-body is-expanded"><input id="reg-22-val" class="input is-small" onblur="driver.saveRegister(this, 22)" spellcheck="false"></div></div></div><div id="reg-23" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-23-val">s7</label></div><div class="field-body is-expanded"><input id="reg-23-val" class="input is-small" onblur="driver.saveRegister(this, 23)" spellcheck="false"></div></div></div><div id="reg-24" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-24-val">s8</label></div><div class="field-body is-expanded"><input id="reg-24-val" class="input is-small" onblur="driver.saveRegister(this, 24)" spellcheck="false"></div></div></div><div id="reg-25" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-25-val">s9</label></div><div class="field-body is-expanded"><input id="reg-25-val" class="input is-small" onblur="driver.saveRegister(this, 25)" spellcheck="false"></div></div></div><div id="reg-26" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-26-val">s10</label></div><div class="field-body is-expanded"><input id="reg-26-val" class="input is-small" onblur="driver.saveRegister(this, 26)" spellcheck="false"></div></div></div><div id="reg-27" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-27-val">s11</label></div><div class="field-body is-expanded"><input id="reg-27-val" class="input is-small" onblur="driver.saveRegister(this, 27)" spellcheck="false"></div></div></div><div id="reg-28" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-28-val">t3</label></div><div class="field-body is-expanded"><input id="reg-28-val" class="input is-small" onblur="driver.saveRegister(this, 28)" spellcheck="false"></div></div></div><div id="reg-29" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-29-val">t4</label></div><div class="field-body is-expanded"><input id="reg-29-val" class="input is-small" onblur="driver.saveRegister(this, 29)" spellcheck="false"></div></div></div><div id="reg-30" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-30-val">t5</label></div><div class="field-body is-expanded"><input id="reg-30-val" class="input is-small" onblur="driver.saveRegister(this, 30)" spellcheck="false"></div></div></div><div id="reg-31" class="panel-block"><div class="field is-horizontal"><div class="field-label"><label class="label is-small" for="reg-31-val">t6</label></div><div class="field-body is-expanded"><input id="reg-31-val" class="input is-small" onblur="driver.saveRegister(this, 31)" spellcheck="false"></div></div></div></div><table id="memory-tab-view" class="table is-striped"><colgroup><col id="addr-column"><col id="byte0-column"><col id="byte1-column"><col id="byte2-column"><col id="byte3-column"></colgroup><thead><tr><th>Address</th><th>+0</th><th>+1</th><th>+2</th><th>+3</th></tr></thead><tr id="mem-row-6"><td>0x00000000</td><td>0</td><td>0</td><td>0</td><td>0</td></tr><tr id="mem-row-5"><td>0x00000000</td><td>0</td><td>0</td><td>0</td><td>0</td></tr><tr id="mem-row-4"><td>0x00000000</td><td>0</td><td>0</td><td>0</td><td>0</td></tr><tr id="mem-row-3"><td>0x00000000</td><td>0</td><td>0</td><td>0</td><td>0</td></tr><tr id="mem-row-2"><td>0x00000000</td><td>0</td><td>0</td><td>0</td><td>0</td></tr><tr id="mem-row-1"><td>0x00000000</td><td>0</td><td>0</td><td>0</td><td>0</td></tr><tr id="mem-row-0"><td>0x00000000</td><td>0</td><td>0</td><td>0</td><td>0</td></tr><tr id="mem-row--1"><td>0x00000000</td><td>0</td><td>0</td><td>0</td><td>0</td></tr><tr id="mem-row--2"><td>0x00000000</td><td>0</td><td>0</td><td>0</td><td>0</td></tr><tr id="mem-row--3"><td>0x00000000</td><td>0</td><td>0</td><td>0</td><td>0</td></tr><tr id="mem-row--4"><td>0x00000000</td><td>0</td><td>0</td><td>0</td><td>0</td></tr><tr id="mem-row--5"><td>0x00000000</td><td>0</td><td>0</td><td>0</td><td>0</td></tr><tr id="mem-row--6"><td>0x00000000</td><td>0</td><td>0</td><td>0</td><td>0</td></tr></table></nav></article></div></div></section><script type="text/javascript" src="js/codemirror.js"></script><script type="text/javascript" src="venus.js"></script><script type="text/javascript">var driver = venus_main.venus.glue.Driver;
2+
var editor = document.getElementById("asm-editor");
3+
var codeMirror = CodeMirror.fromTextArea(editor,
4+
{
5+
lineNumbers: true,
6+
mode: "riscv",
7+
indentUnit: 4,
8+
autofocus: true
9+
}
10+
);
11+
codeMirror.setSize("100%", "88vh");</script></body></html>

javadoc/style.css

Lines changed: 283 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,283 @@
1+
@import url(https://fonts.googleapis.com/css?family=Open+Sans:300i,400,700);
2+
3+
body, table {
4+
padding:50px;
5+
font:14px/1.5 'Open Sans', "Helvetica Neue", Helvetica, Arial, sans-serif;
6+
color:#555;
7+
font-weight:300;
8+
margin-left: auto;
9+
margin-right: auto;
10+
max-width: 1440px;
11+
}
12+
13+
.keyword {
14+
color:black;
15+
font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal;
16+
font-size:12px;
17+
}
18+
19+
.symbol {
20+
font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal;
21+
font-size:12px;
22+
}
23+
24+
.identifier {
25+
color: darkblue;
26+
font-size:12px;
27+
font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal;
28+
}
29+
30+
h1, h2, h3, h4, h5, h6 {
31+
color:#222;
32+
margin:0 0 20px;
33+
}
34+
35+
p, ul, ol, table, pre, dl {
36+
margin:0 0 20px;
37+
}
38+
39+
h1, h2, h3 {
40+
line-height:1.1;
41+
}
42+
43+
h1 {
44+
font-size:28px;
45+
}
46+
47+
h2 {
48+
color:#393939;
49+
}
50+
51+
h3, h4, h5, h6 {
52+
color:#494949;
53+
}
54+
55+
a {
56+
color:#258aaf;
57+
font-weight:400;
58+
text-decoration:none;
59+
}
60+
61+
a:hover {
62+
color: inherit;
63+
text-decoration:underline;
64+
}
65+
66+
a small {
67+
font-size:11px;
68+
color:#555;
69+
margin-top:-0.6em;
70+
display:block;
71+
}
72+
73+
.wrapper {
74+
width:860px;
75+
margin:0 auto;
76+
}
77+
78+
blockquote {
79+
border-left:1px solid #e5e5e5;
80+
margin:0;
81+
padding:0 0 0 20px;
82+
font-style:italic;
83+
}
84+
85+
code, pre {
86+
font-family:Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal;
87+
color:#333;
88+
font-size:12px;
89+
}
90+
91+
pre {
92+
display: block;
93+
/*
94+
padding:8px 8px;
95+
background: #f8f8f8;
96+
border-radius:5px;
97+
border:1px solid #e5e5e5;
98+
*/
99+
overflow-x: auto;
100+
}
101+
102+
table {
103+
width:100%;
104+
border-collapse:collapse;
105+
}
106+
107+
th, td {
108+
text-align:left;
109+
vertical-align: top;
110+
padding:5px 10px;
111+
}
112+
113+
dt {
114+
color:#444;
115+
font-weight:700;
116+
}
117+
118+
th {
119+
color:#444;
120+
}
121+
122+
img {
123+
max-width:100%;
124+
}
125+
126+
header {
127+
width:270px;
128+
float:left;
129+
position:fixed;
130+
}
131+
132+
header ul {
133+
list-style:none;
134+
height:40px;
135+
136+
padding:0;
137+
138+
background: #eee;
139+
background: -moz-linear-gradient(top, #f8f8f8 0%, #dddddd 100%);
140+
background: -webkit-gradient(linear, left top, left bottom, color-stop(0%,#f8f8f8), color-stop(100%,#dddddd));
141+
background: -webkit-linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
142+
background: -o-linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
143+
background: -ms-linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
144+
background: linear-gradient(top, #f8f8f8 0%,#dddddd 100%);
145+
146+
border-radius:5px;
147+
border:1px solid #d2d2d2;
148+
box-shadow:inset #fff 0 1px 0, inset rgba(0,0,0,0.03) 0 -1px 0;
149+
width:270px;
150+
}
151+
152+
header li {
153+
width:89px;
154+
float:left;
155+
border-right:1px solid #d2d2d2;
156+
height:40px;
157+
}
158+
159+
header ul a {
160+
line-height:1;
161+
font-size:11px;
162+
color:#999;
163+
display:block;
164+
text-align:center;
165+
padding-top:6px;
166+
height:40px;
167+
}
168+
169+
strong {
170+
color:#222;
171+
font-weight:700;
172+
}
173+
174+
header ul li + li {
175+
width:88px;
176+
border-left:1px solid #fff;
177+
}
178+
179+
header ul li + li + li {
180+
border-right:none;
181+
width:89px;
182+
}
183+
184+
header ul a strong {
185+
font-size:14px;
186+
display:block;
187+
color:#222;
188+
}
189+
190+
section {
191+
width:500px;
192+
float:right;
193+
padding-bottom:50px;
194+
}
195+
196+
small {
197+
font-size:11px;
198+
}
199+
200+
hr {
201+
border:0;
202+
background:#e5e5e5;
203+
height:1px;
204+
margin:0 0 20px;
205+
}
206+
207+
footer {
208+
width:270px;
209+
float:left;
210+
position:fixed;
211+
bottom:50px;
212+
}
213+
214+
@media print, screen and (max-width: 960px) {
215+
216+
div.wrapper {
217+
width:auto;
218+
margin:0;
219+
}
220+
221+
header, section, footer {
222+
float:none;
223+
position:static;
224+
width:auto;
225+
}
226+
227+
header {
228+
padding-right:320px;
229+
}
230+
231+
section {
232+
border:1px solid #e5e5e5;
233+
border-width:1px 0;
234+
padding:20px 0;
235+
margin:0 0 20px;
236+
}
237+
238+
header a small {
239+
display:inline;
240+
}
241+
242+
header ul {
243+
position:absolute;
244+
right:50px;
245+
top:52px;
246+
}
247+
}
248+
249+
@media print, screen and (max-width: 720px) {
250+
body {
251+
word-wrap:break-word;
252+
}
253+
254+
header {
255+
padding:0;
256+
}
257+
258+
header ul, header p.view {
259+
position:static;
260+
}
261+
262+
pre, code {
263+
word-wrap:normal;
264+
}
265+
}
266+
267+
@media print, screen and (max-width: 480px) {
268+
body {
269+
padding:15px;
270+
}
271+
272+
header ul {
273+
display:none;
274+
}
275+
}
276+
277+
@media print {
278+
body {
279+
padding:0.4in;
280+
font-size:12pt;
281+
color:#444;
282+
}
283+
}

0 commit comments

Comments
 (0)