52 lines
2.3 KiB
HTML
52 lines
2.3 KiB
HTML
<html><head>
|
|
<script type="text/javascript" src="maps.min.js"></script>
|
|
<script type="text/javascript" src="mine.min.js"></script>
|
|
<script type="text/javascript" src="gui.min.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/>
|
|
<noscript><h3 style="color:red">This page needs javascript</h3></noscript>
|
|
|
|
<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 id="mineGui_mineMap"><span id="mineGui_mineMapDry" style="margin-bottom: 0px"></span>
|
|
<span id="mineGui_mineMapWater" style="margin-top: 0px; background: lightblue"></span>
|
|
</pre><canvas id="mineGui_mineCanvas" width="0" height="0"></canvas>
|
|
</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, (<b>C</b>)lear and (<b>T</b>)oggle text mode
|
|
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>© 2012 Stefan Bühler. Please do not use my code in contest submissions :)</div>
|
|
|
|
<script type="text/javascript">
|
|
mineGui_start();
|
|
</script>
|
|
</body></html> |