index.html 3.32 KB
Newer Older
1 2
<html xmlns="http://www.w3.org/1999/xhtml"
      style="font-family:Verdana,Arial,Sans-Serif">
MARCHE Claude's avatar
MARCHE Claude committed
3 4 5
  <head>
    <title>Try Why3</title>
    <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
6 7 8 9 10 11 12 13 14 15 16
    <link rel="stylesheet" type="text/css" href="style.css" />
    <!-- color customisation -->
    <style>
      .stdout { color : #bbccff; }
      .stderr { color : #ffcccc ; }
      .error {
      position:absolute;
      background:rgba(200,100,100,0.5);
      z-index:40;
      }
    </style>
MARCHE Claude's avatar
MARCHE Claude committed
17 18
  </head>
  <body style="background-color:#ddd">
19 20 21 22 23 24 25 26 27 28 29 30
    <!--invisible elements for the open file dialog -->
    <input type="file"  id="file-selector" />
    <div id="background-shadow">
      <div id="confirm-dialog" >
	The content of the current buffer will be lost.<br/>
	<div style="width:70%; display:inline-block;">
	  <button class="btn"
		  onclick="confirmReplace();">Confirm</button>
	  <button class="btn"
		  onclick="cancelReplace();">Cancel</button>
	</div>
      </div>
MARCHE Claude's avatar
MARCHE Claude committed
31
    </div>
32 33 34 35
    <!-- the main page -->
    <h1 style="background-color:#356aa0;color:#fff">Try Why3</h1>
    <p>Type some  program in the text area below, then select
      'Prove all' in the Why3 menu to generate proof obligations.</p>
MARCHE Claude's avatar
MARCHE Claude committed
36 37 38 39 40 41 42
    <p>Related links
      <ul>
        <li>The <a href="http://why3.lri.fr/">Why3 home page</a>
        <li>The <a href="http://ocsigen.org/js_of_ocaml/">Js_of_ocaml</a>
          compiler used to produce this page
      </ul>
    </p>
43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98
    <div class="menu-bar">
      <ul>
	<li><a href="#">File</a>
	  <ul>
	    <li><a href="#" onclick="openFile();">Open file…</a></li>
	    <li><a href="#" onclick="saveFile();">Save file as…</a></li>
	  </ul>
	</li>
	<li><a href="#">Edit</a>
	  <ul>
	    <li><a href="#" onclick="editor.undo();">Undo</a></li>
	    <li><a href="#" onclick="editor.redo();">Redo</a></li>
	    <li><a href="#" onclick="clearBuffer();">Clear buffer</a></li>
	  </ul>
	</li>
	<li><a href="#">Examples</a>
	  <ul>
	    <li><a href="#" onclick="drinkers();">Drinker's paradox</a></li>
	    <li><a href="#" onclick="simplearith();">Simple Arithmetic</a></li>
	    <li><a href="#" onclick="isqrt();">Integral square root</a></li>
	  </ul>
	</li>
	<li><a href="#">Why3</a>
	  <ul>
	    <li><a href="#" id="run">Run main function</a></li>
	    <li><a href="#" id="prove">Prove all</a></li>
	  </ul>
	</li>
	<li><a href="#">Preferences</a>
	  <ul>
	    <li><a href="#"
		   onclick="document.getElementById('radio-std').click();"
		   >
		<input id="radio-std" type="radio" name="view" value="std"
		       checked="checked" onchange="standardView();"
		   />Split Horizontally</a></li>
	    <li><a href="#"
		   onclick="document.getElementById('radio-wide').click();"
		   >
		<input  id="radio-wide" type="radio" name="view"
		       value="wide" onchange="widescreenView();"
		   />Split Vertically</a>
	    </li>
	    <li></li>
	  </ul>
	</li>
	<li style="float:right;"><a href="#">Help</a></li>
      </ul>
    </div>
    <div id="editor-panel">
      <div id="editor" title="Editor" tabindex="-1" ></div>
      <div title="Console" id="console">
      </div>
    </div>
    <script defer="true" src="ace-builds/src-noconflict/ace.js" type="text/javascript" charset="utf-8"></script>
    <script defer="true" type="text/javascript" src="editor_helper.js" ></script>
MARCHE Claude's avatar
MARCHE Claude committed
99
    <script defer="true" type="text/javascript" src="trywhy3.js" ></script>
MARCHE Claude's avatar
MARCHE Claude committed
100
  </body>
101

MARCHE Claude's avatar
MARCHE Claude committed
102
</html>