19
19
top : 0.25em ;
20
20
left : -2em ;
21
21
}
22
+
23
+ # filters-toggle {
24
+ margin : 10px 0px ;
25
+ background : # add8e6 ;
26
+ width : 70px ;
27
+ padding : 5px ;
28
+ border-radius : 15px ;
29
+ font-weight : bold;
30
+ text-align : center;
31
+ }
32
+
33
+ # filters {
34
+ padding : 10px ;
35
+ border : 2px black;
36
+ border-style : solid;
37
+ }
22
38
</ style >
39
+ < script src ="https://cdn.jsdelivr.net/npm/vue@2/dist/vue.js "> </ script >
23
40
</ head >
24
41
25
42
< body class ="container " style ="max-width:800px ">
26
43
< div > > < a href ="index.html "> graphs</ a > , < a href ="compare.html "> compare</ a > ,
27
44
< a href ="dashboard.html "> dashboard</ a > , < a href ="bootstrap.html "> bootstrap</ a > ,
28
45
< a href ="status.html "> status</ a > , < a href ="help.html "> help</ a > .
29
46
</ div >
30
- < div >
31
- < p > Warning: although measurements known to have high variation are marked with
32
- '?'/'??', this does not mean that unmarked measurements are guaranteed to have
33
- low variation. Verify the measurement against the
34
- < a
35
- href ="compare.html?start=3158857297417566824631a85c4cb3c0615ec6c2&end=7e0241c63755ea28045d512b742f50b307874419&stat=instructions:u ">
36
- last "noise run"</ a > which shows the perf difference of a non-functional change.
37
- </ p >
38
- </ div >
39
- Filter benchmark builds: < input id ="filter " type ="text " /> < br >
40
- < div >
41
- < h3 > Cache states</ h3 >
42
- < p > Most benchmarks have at least 4 cache states for which we collect data:</ p >
43
- < ul style ="list-style:none; ">
44
- < li > < input type ="checkbox " id ="build-full " checked /> full: a
45
- non-incremental full build starting with empty cache</ li >
46
- < li > < input type ="checkbox " id ="build-incremental-full " checked /> incr-full: an incremental build starting
47
- with empty cache</ li >
48
- < li > < input type ="checkbox " id ="build-incremental-unchanged " checked /> incr-unchanged: an incremental build
49
- starting with complete
50
- cache, and unchanged source directory -- the "perfect" scenario for incremental.</ li >
51
- < li > < input type ="checkbox " id ="build-incremental-patched " checked /> incr-patched: an incremental build
52
- starting with complete cache, and an
53
- altered source directory. The typical variant of this is "println" which represents
54
- the addition of a `println!` macro somewhere in the source code.</ li >
55
- </ ul >
56
- </ div >
47
+ < br />
57
48
< form id ="settings " action ="">
58
49
< fieldset id ="commits ">
59
50
< legend > Commits</ legend >
@@ -67,6 +58,31 @@ <h3>Cache states</h3>
67
58
</ select > < br >
68
59
< input type ="submit " value ="Submit " onclick ="submit_settings(); return false; ">
69
60
</ form >
61
+ < div id ="filters-toggle "> Filters < span id ="filters-toggle-indicator "> </ span > </ div >
62
+ < div id ="filters ">
63
+ < div >
64
+ < p > Filter benchmark builds: < input id ="filter " type ="text " /> </ p >
65
+ </ div >
66
+ < div >
67
+ < h3 > Cache states</ h3 >
68
+ < p > Most benchmarks have at least 4 cache states for which we collect data:</ p >
69
+ < ul style ="list-style:none; ">
70
+ < li > < input type ="checkbox " id ="build-full " checked /> full: a
71
+ non-incremental full build starting with empty cache</ li >
72
+ < li > < input type ="checkbox " id ="build-incremental-full " checked /> incr-full: an incremental build
73
+ starting
74
+ with empty cache</ li >
75
+ < li > < input type ="checkbox " id ="build-incremental-unchanged " checked /> incr-unchanged: an incremental
76
+ build
77
+ starting with complete
78
+ cache, and unchanged source directory -- the "perfect" scenario for incremental.</ li >
79
+ < li > < input type ="checkbox " id ="build-incremental-patched " checked /> incr-patched: an incremental build
80
+ starting with complete cache, and an
81
+ altered source directory. The typical variant of this is "println" which represents
82
+ the addition of a `println!` macro somewhere in the source code.</ li >
83
+ </ ul >
84
+ </ div >
85
+ </ div >
70
86
< div id ="content " style ="display: none; margin-top: 15px "> </ div >
71
87
< br >
72
88
< div id ="as-of "> </ div >
@@ -79,6 +95,24 @@ <h3>Cache states</h3>
79
95
< script src ="https://cdnjs.cloudflare.com/ajax/libs/msgpack-lite/0.1.26/msgpack.min.js "> </ script >
80
96
< script src ="shared.js "> </ script >
81
97
< script >
98
+ function toggle_filters ( ) {
99
+ let styles = document . getElementById ( "filters" ) . style ;
100
+ let indicator = document . getElementById ( "filters-toggle-indicator" ) ;
101
+ if ( styles . display != "none" ) {
102
+ indicator . innerHTML = "⯈"
103
+ styles . display = "none" ;
104
+ } else {
105
+ indicator . innerHTML = "▼"
106
+ styles . display = "block" ;
107
+ }
108
+ }
109
+ toggle_filters ( ) ;
110
+
111
+ document . getElementById ( "filters-toggle" ) . onclick = ( e ) => {
112
+ toggle_filters ( ) ;
113
+ } ;
114
+
115
+
82
116
function print_date ( date ) {
83
117
function pad_str ( i ) {
84
118
return ( i < 10 ) ? "0" + i : "" + i ;
0 commit comments