Skip to content

Commit fabb95d

Browse files
github-actions[bot]github-actions[bot]
committed
Update timing plots [skip ci]
1 parent 321f480 commit fabb95d

15 files changed

+2349
-0
lines changed

‎alarm.png‎

22 KB
Loading

‎bench_test1.png‎

23.5 KB
Loading

‎bench_test2.png‎

25.7 KB
Loading

‎murder-mystery.png‎

23.5 KB
Loading

‎summary/alarm.png‎

22 KB
Loading

‎summary/bench_test1.png‎

23.5 KB
Loading

‎summary/bench_test2.png‎

25.7 KB
Loading

‎summary/index.html‎

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
2+
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=0.8"/><title>Benchmarking results summary</title><link rel="stylesheet" type="text/css" href="scribble.css" title="default"/><link rel="stylesheet" type="text/css" href="manual-style.css" title="default"/><link rel="stylesheet" type="text/css" href="manual-racket.css" title="default"/><script type="text/javascript" src="scribble-common.js"></script><script type="text/javascript" src="manual-racket.js"></script><!--[if IE 6]><style type="text/css">.SIEHidden { overflow: hidden; }</style><![endif]--></head><body id="scribble-racket-lang-org"><div class="tocset"><div class="tocview"><div class="tocviewlist tocviewlisttopspace"><div class="tocviewtitle"><table cellspacing="0" cellpadding="0"><tr><td style="width: 1em;">&bull;</td><td></td><td><a href="" class="tocviewselflink" data-pltdoc="x">Benchmarking results summary</a></td></tr></table></div></div></div><div class="tocsub"><div class="tocsubtitle">On this page:</div><table class="tocsublist" cellspacing="0"><tr><td><span class="tocsublinknumber"></span><a href="#%28part._.Benchmarking_results_summary%29" class="tocsubseclink" data-pltdoc="x">Benchmarking results summary</a></td></tr></table></div></div><div class="maincolumn"><div class="main"><div class="versionbox"><span class="version">8.17</span></div><div class="navsettop"><span class="navleft"><div class="nosearchform"></div>&nbsp;&nbsp;<span class="tocsettoggle">&nbsp;&nbsp;<a href="javascript:void(0);" title="show/hide table of contents" onclick="TocsetToggle();">contents</a></span></span>&nbsp;</div><h2 class="heading"><a name="(part._.Benchmarking_results_summary)"></a>Benchmarking results summary<span class="button-group"><a href="#(part._.Benchmarking_results_summary)" class="heading-anchor" title="Link to here">🔗</a><span style="visibility: hidden"> </span></span></h2><ul><li><p><span style="font-weight: bold">alarm</span>
3+
<br/>
4+
<img src="alarm.png" alt="" width="640" height="480"/></p></li><li><p><span style="font-weight: bold">bench_test1</span>
5+
<br/>
6+
<img src="bench_test1.png" alt="" width="640" height="480"/></p></li><li><p><span style="font-weight: bold">bench_test2</span>
7+
<br/>
8+
<img src="bench_test2.png" alt="" width="640" height="480"/></p></li><li><p><span style="font-weight: bold">murder-mystery</span>
9+
<br/>
10+
<img src="murder-mystery.png" alt="" width="640" height="480"/></p></li></ul><div class="navsetbottom"><span class="navleft"><div class="nosearchform"></div>&nbsp;&nbsp;<span class="tocsettoggle">&nbsp;&nbsp;<a href="javascript:void(0);" title="show/hide table of contents" onclick="TocsetToggle();">contents</a></span></span>&nbsp;</div></div></div><div id="contextindicator">&nbsp;</div></body></html>

‎summary/manual-fonts.css‎

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

‎summary/manual-racket.css‎

Lines changed: 326 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,326 @@
1+
/* See the beginning of "manual.css". */
2+
3+
/* Monospace: */
4+
5+
.RktIn, .RktRdr, .RktPn, .RktMeta,
6+
.RktMod, .RktKw, .RktVar, .RktSym,
7+
.RktRes, .RktOut, .RktCmt, .RktVal,
8+
.RktBlk, .RktErr {
9+
font-family: 'Fira-Mono', monospace;
10+
white-space: inherit;
11+
font-size: 1rem;
12+
line-height: 1.5;
13+
14+
}
15+
16+
/* this selctor grabs the first linked Racket symbol
17+
in a definition box (i.e., the symbol being defined) */
18+
a.RktValDef, a.RktStxDef, a.RktSymDef,
19+
span.RktValDef, span.RktStxDef, span.RktSymDef
20+
{
21+
font-size: 1.1rem;
22+
color: black;
23+
font-weight: 500;
24+
}
25+
26+
27+
.inheritedlbl {
28+
font-family: 'Fira', sans-serif;
29+
}
30+
31+
.RBackgroundLabelInner {
32+
font-family: inherit;
33+
}
34+
35+
/* ---------------------------------------- */
36+
/* Inherited methods, left margin */
37+
38+
.inherited {
39+
width: 95%;
40+
margin-top: 0.5em;
41+
text-align: left;
42+
background-color: inherit;
43+
}
44+
45+
.inherited td {
46+
font-size: 82%;
47+
padding-left: 0.5rem;
48+
line-height: 1.3;
49+
text-indent: 0;
50+
padding-right: 0;
51+
}
52+
53+
.inheritedlbl {
54+
font-style: normal;
55+
}
56+
57+
/* ---------------------------------------- */
58+
/* Racket text styles */
59+
60+
.RktIn {
61+
color: #cc6633;
62+
background-color: #eee;
63+
white-space: pre;
64+
}
65+
66+
.RktInBG {
67+
background-color: #eee;
68+
}
69+
70+
71+
.refcolumn .RktInBG {
72+
background-color: white;
73+
}
74+
75+
.RktRdr {
76+
}
77+
78+
.RktPn {
79+
color: #843c24;
80+
}
81+
82+
.RktMeta {
83+
color: black;
84+
}
85+
86+
.RktMod {
87+
color: inherit;
88+
}
89+
90+
.RktOpt {
91+
color: black;
92+
font-style: italic;
93+
}
94+
95+
.RktKw {
96+
color: black;
97+
}
98+
99+
.RktErr {
100+
color: red;
101+
font-style: italic;
102+
font-weight: 400;
103+
}
104+
105+
.RktVar {
106+
position: relative;
107+
left: -1px; font-style: italic;
108+
color: #444;
109+
}
110+
111+
.SVInsetFlow .RktVar {
112+
font-weight: 400;
113+
color: #444;
114+
}
115+
116+
117+
.RktSym {
118+
color: inherit;
119+
}
120+
121+
122+
123+
.RktValLink, .RktStxLink, .RktModLink {
124+
text-decoration: none;
125+
color: #07A;
126+
font-size: 1rem;
127+
}
128+
129+
/* for syntax links within headings */
130+
h2 a.RktStxLink, h3 a.RktStxLink, h4 a.RktStxLink, h5 a.RktStxLink,
131+
h2 a.RktValLink, h3 a.RktValLink, h4 a.RktValLink, h5 a.RktValLink,
132+
h2 .RktSym, h3 .RktSym, h4 .RktSym, h5 .RktSym,
133+
h2 .RktMod, h3 .RktMod, h4 .RktMod, h5 .RktMod,
134+
h2 .RktVal, h3 .RktVal, h4 .RktVal, h5 .RktVal,
135+
h2 .RktPn, h3 .RktPn, h4 .RktPn, h5 .RktPn {
136+
color: #333;
137+
font-size: 1.50rem;
138+
font-weight: 400;
139+
}
140+
141+
.toptoclink .RktStxLink, .toclink .RktStxLink,
142+
.toptoclink .RktValLink, .toclink .RktValLink,
143+
.toptoclink .RktModLink, .toclink .RktModLink {
144+
color: inherit;
145+
}
146+
147+
.tocset .RktValLink, .tocset .RktStxLink, .tocset .RktModLink, .tocset .RktSym {
148+
color: black;
149+
font-weight: 400;
150+
font-size: 0.9rem;
151+
}
152+
153+
.tocset td a.tocviewselflink .RktValLink,
154+
.tocset td a.tocviewselflink .RktStxLink,
155+
.tocset td a.tocviewselflink .RktMod,
156+
.tocset td a.tocviewselflink .RktSym {
157+
font-weight: lighter;
158+
color: white;
159+
}
160+
161+
162+
.RktRes {
163+
color: #0000af;
164+
}
165+
166+
.RktOut {
167+
color: #960096;
168+
}
169+
170+
.RktCmt {
171+
color: #c2741f;
172+
}
173+
174+
.RktVal {
175+
color: #228b22;
176+
}
177+
178+
/* ---------------------------------------- */
179+
/* Some inline styles */
180+
181+
.together { /* for definitions grouped together in one box */
182+
width: 100%;
183+
border-top: 2px solid white;
184+
}
185+
186+
tbody > tr:first-child > td > .together {
187+
border-top: 0px; /* erase border on first instance of together */
188+
}
189+
190+
.RktBlk {
191+
white-space: pre;
192+
text-align: left;
193+
}
194+
195+
.highlighted {
196+
font-size: 1rem;
197+
background-color: #fee;
198+
}
199+
200+
.defmodule {
201+
font-family: 'Fira-Mono', monospace;
202+
padding: 0.25rem 0.75rem 0.25rem 0.5rem;
203+
margin-bottom: 1rem;
204+
width: 100%;
205+
background-color: #ebf0f4;
206+
}
207+
208+
.defmodule a {
209+
color: #444;
210+
}
211+
212+
213+
.defmodule td span.hspace:first-child {
214+
position: absolute;
215+
width: 0;
216+
display: inline-block;
217+
}
218+
219+
.defmodule .RpackageSpec .Smaller,
220+
.defmodule .RpackageSpec .stt {
221+
font-size: 1rem;
222+
}
223+
224+
/* make parens ordinary color in defmodule */
225+
.defmodule .RktPn {
226+
color: inherit;
227+
}
228+
229+
.specgrammar {
230+
float: none;
231+
padding-left: 1em;
232+
}
233+
234+
235+
.RBibliography td {
236+
vertical-align: text-top;
237+
padding-top: 1em;
238+
}
239+
240+
.leftindent {
241+
margin-left: 2rem;
242+
margin-right: 0em;
243+
}
244+
245+
.insetpara {
246+
margin-left: 1em;
247+
margin-right: 1em;
248+
}
249+
250+
.SCodeFlow .Rfilebox {
251+
margin-left: -1em; /* see 17.2 of guide, module languages */
252+
}
253+
254+
.Rfiletitle {
255+
text-align: right;
256+
background-color: #eee;
257+
}
258+
259+
.SCodeFlow .Rfiletitle {
260+
border-top: 1px dotted gray;
261+
border-right: 1px dotted gray;
262+
}
263+
264+
265+
.Rfilename {
266+
border-top: 0;
267+
border-right: 0;
268+
padding-left: 0.5em;
269+
padding-right: 0.5em;
270+
background-color: inherit;
271+
}
272+
273+
.Rfilecontent {
274+
margin: 0.5em;
275+
}
276+
277+
.RpackageSpec {
278+
padding-right: 0;
279+
}
280+
281+
/* ---------------------------------------- */
282+
/* For background labels */
283+
284+
.RBackgroundLabel {
285+
float: right;
286+
width: 0px;
287+
height: 0px;
288+
}
289+
290+
.RBackgroundLabelInner {
291+
position: relative;
292+
width: 25em;
293+
left: -25.5em;
294+
top: 0.20rem; /* sensitive to monospaced font choice */
295+
text-align: right;
296+
z-index: 0;
297+
font-weight: 300;
298+
font-family: 'Fira-Mono', monospace;
299+
font-size: 0.9rem;
300+
color: gray;
301+
}
302+
303+
304+
.RpackageSpec .Smaller {
305+
font-weight: 300;
306+
font-family: 'Fira-Mono', monospace;
307+
font-size: 0.9rem;
308+
}
309+
310+
.RForeground {
311+
position: relative;
312+
left: 0px;
313+
top: 0px;
314+
z-index: 1;
315+
}
316+
317+
/* ---------------------------------------- */
318+
/* For section source modules & tags */
319+
320+
.RPartExplain {
321+
background: #eee;
322+
font-size: 0.9rem;
323+
margin-top: 0.2rem;
324+
padding: 0.2rem;
325+
text-align: left;
326+
}

0 commit comments

Comments
 (0)