@ -78,7 +78,7 @@
<div class="span6">
<form class="well form-inline">
<label>Compiler: <select class="compiler"></select></label>
<label>Compiler options: <input class="compiler_options" style="width: 30em;" type="text" value="-O2 -march=native"></label>
<label>Compiler options: <input class="compiler_options" style="width: 30em;" type="text" value="-O2"></label>
<table><tbody><tr><td>Filter: </td>
<td>
<div class="btn-group filter">