<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, have <b style="font:monospace" id="mineGui_razors">0</b> razors) </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>S</b>)have, (<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>