icfp15/js/index.html
2012-07-14 11:47:44 +02:00

51 lines
2.1 KiB
HTML

<html><head>
<script type="text/javascript" src="maps.js"></script>
<script type="text/javascript" src="mine.js"></script>
<script type="text/javascript" src="gui.js"></script>
<title>ICFP Contest 2012 Simulator</title>
</head><body>
<h2>ICFP Contest 2012 Simulator</h2>
Links: <a href="http://icfpcontest2012.wordpress.com/">contest page</a>.<br>
<i>This simulator may or may not perform according to specs, who knows...</i><br/>
<br/>
<div id="mineGui">
Select Map: <select id="mineGui_selectMap"></select>
<div style="white-space: pre">Moves: <input type="text" id="mineGui_moves" value="" style="width: 80%; font-weight: bold; border: 1px solid"></input></div>
<table align=top><tr><td style="padding-right: 50px;vertical-align:top">
<pre><span id="mineGui_mineMap" style="margin-bottom: 0px"></span>
<span id="mineGui_mineMapWater" style="margin-top: 0px; background: lightblue"></span>
</pre>
</td><td style="vertical-align:top">
<pre id="mineGui_meta"></pre>
</td></tr></table>
<div>Score: <b style="font:monospace" id="mineGui_score">0</b>
<span style="font-size:80%">
(<b style="font:monospace" id="mineGui_scoreMoves">0</b> moves,
found <b style="font:monospace" id="mineGui_scoreLambdas">0</b> Lambdas)
</span>
</div>
<div>Status: <b style="font:monospace" id="mineGui_state">0</b></div>
<div>For <b style="font:monospace" id="mineGui_belowWater">0</b> moves under water</div>
</div>
<br />
<pre>Help:
(<b>L</b>)eft/(<b>U</b>)p/(<b>R</b>)ight/(<b>D</b>)own work as expected (letter and arrow keys), (<b>A</b>)bort and (<b>W</b>)ait too.
Special keys: PageUp/PageDown for map select, Backspace for undo and (<b>C</b>)lear
Be careful: a reload looses all custom maps and saved moves.
Listed highscore can be outdated.
</pre>
Build custom map: <button id="mineGui_addData">Add Map</button><br>
<pre id="mineGui_addDataResult" style="color:red; font-weight: bold"></pre>
<textarea id="mineGui_data" rows=15 cols=80></textarea>
<div>&copy; 2012 Stefan B&uuml;hler. Please do not use my code in contest submissions :)</div>
<script type="text/javascript">
mineGui_start();
</script>
</body></html>