src/trywhy3/trywhy3.html

   1 <!DOCTYPE html>
   2 <html lang="en">
   3   <head>
   4     <title>Try Why3</title>
   5     <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
   6     <link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.0.13/css/solid.css" integrity="sha384-Rw5qeepMFvJVEZdSo1nDQD5B6wX0m7c5Z/pLNvjkB14W6Yki1hKbSEQaX9ffUbWe" crossorigin="anonymous">
   7     <link rel="stylesheet" href="https://use.fontawesome.com/releases/v5.0.13/css/fontawesome.css" integrity="sha384-GVa9GOgVQgOk+TNYXu7S/InPTfSDTtBalSgkgqQ7sCik56N9ztlkoTr2f/T44oKV" crossorigin="anonymous">
   8     <link rel="stylesheet" type="text/css" href="trywhy3.css" />
   9     <link rel="stylesheet" type="text/css" href="trywhy3_custom.css"/>
  10
  11     <script defer="defer" src="ace-builds/src-min-noconflict/ace.js"></script>
  12
  13     <script type="text/javascript">
  14       var editor_theme = "ace/theme/chrome";
  15       var task_viewer_mode = "ace/mode/why3";
  16     </script>
  17     <script defer="defer" src="trywhy3.js"></script>
  18   </head>
  19   <body id="body">
  20     <div id="why3-main-container" class="why3-container">
  21       <div id="why3-top-button-bar" class="why3-widget why3-button-bar">
  22
  23         <div class="why3-separator" style="width:0.1em;"></div>
  24         <div class="why3-button-group">
  25           <button id="why3-button-open"  class="why3-button"
  26                   title="Open file (ctrl-o)">
  27             <span class="fas fa-folder-open"></span>
  28           </button>
  29           <button id="why3-button-save"  class="why3-button"
  30                   title="Save file (ctrl-s)">
  31             <span class="fas fa-save"></span>
  32           </button>
  33           <button id="why3-button-export" class="why3-button"
  34                   title="Copy URL to clipboard">
  35             <span class="fas fa-clipboard"></span>
  36           </button>
  37         </div>
  38
  39         <div class="why3-separator" style="width:2em;"></div>
  40         <div class="why3-button-group">
  41           <button id="why3-button-undo"  class="why3-button"
  42                   title="Undo edit (ctrl-Z)">
  43             <span class="fas fa-undo"></span>
  44           </button>
  45           <button id="why3-button-redo"  class="why3-button"
  46                   title="Repeat edit (ctrl-shift-Z)">
  47             <span class="fas fa-redo"></span>
  48           </button>
  49         </div>
  50
  51         <div class="why3-separator" style="width:2em;"></div>
  52
  53         <div class="why3-button-group">
  54           <span id="why3-format-label" class="fas fa-spin fa-spinner why3-icon"></span>
  55           <select  id="why3-select-format"
  56                    title="Choose an input format">
  57           </select>
  58         </div>
  59
  60         <div class="why3-separator" style="width:2em;"></div>
  61
  62         <div class="why3-button-group">
  63           <span id="why3-example-label" class="fas fa-spin fa-spinner why3-icon"></span>
  64           <select  id="why3-select-example"
  65                    title="Choose a predefined example">
  66           </select>
  67         </div>
  68
  69         <div class="why3-separator" style="width:2em;"></div>
  70
  71         <div class="why3-button-group">
  72           <button id="why3-button-compile" class="why3-button" title="Verify (alt-R)">
  73             <span class="fas fa-magic"></span>
  74           </button>
  75           <button id="why3-button-execute" class="why3-button" title="Execute (alt-E)">
  76             <span class="fas fa-play"></span>
  77           </button>
  78           <button id="why3-button-stop" class="why3-button" title="Interrupt (alt-I)">
  79             <span class="fas fa-times-circle"></span>
  80           </button>
  81         </div>
  82
  83         <div class="why3-button-group why3-flushright">
  84           <button id="why3-button-settings" class="why3-button"
  85                   title="Settings…">
  86             <span class="fas fa-wrench"></span>
  87           </button>
  88           <button id="why3-button-help" class="why3-button"
  89                   title="Help">
  90             <span class="fas fa-question-circle"></span>
  91           </button>
  92           <button id="why3-button-about" class="why3-button"
  93                   title="About">
  94             <span class="fas fa-info-circle"></span>
  95           </button>
  96         </div>
  97
  98
  99       </div>
 100
 101       <div id="why3-main-panel" class="why3-wide-view">
 102         <div id="why3-editor-container" class="why3-container">
 103           <div id="why3-editor-bg" class="why3-widget"> </div>
 104           <div id="why3-editor" tabindex="-1" ></div>
 105         </div>
 106         <div id="why3-resize-bar" class="why3-widget" ></div>
 107         <div id="why3-tab-container" class="why3-container">
 108           <div id="why3-tab-panel" class="why3-tab-group">
 109             <span id="why3-task-list-tab" class="why3-tab-label why3-widget" >Task list</span>
 110             <div class="why3-widget why3-tab">
 111               <div id="why3-task-list" class="why3-widget"></div>
 112             </div>
 113             <span id="why3-task-view-tab" class="why3-tab-label why3-widget why3-inactive" >Task view</span>
 114             <div class="why3-widget why3-tab"><div  id="why3-task-viewer"></div></div>
 115           </div>
 116         </div>
 117
 118       </div>
 119     </div>
 120     <!-- open and save -->
 121     <a id="why3-save-as" href="" class="why3-hidden"></a>
 122     <input id="why3-open" type="file" class="why3-hidden" />
 123     <textarea id="why3-clipboard" class="why3-hidden"></textarea>
 124     <!-- context menu -->
 125     <div class="why3-contextmenu why3-widget" id="why3-task-menu">
 126       <ul>
 127         <li id="why3-split-menu-entry"><span class="fas fa-project-diagram
 128                                                     why3-icon"></span> Split (alt-space)</li>
 129         <li id="why3-prove-menu-entry"><span class="fas fa-magic
 130                                                     why3-icon"></span>
 131                                                     Prove (default) </li>
 132         <li id="why3-prove1-menu-entry"><span class="fas fa-magic
 133                                                     why3-icon"></span>
 134                                                     Prove (100
 135           steps) </li>
 136         <li id="why3-prove2-menu-entry"><span class="fas fa-magic
 137                                                         why3-icon"></span>
 138           Prove (1000 steps) </li>
 139         <li id="why3-prove3-menu-entry"><span class="fas fa-magic
 140                                                         why3-icon"></span>
 141           Prove (5000 steps) </li>
 142         <li id="why3-clean-menu-entry"><span class="fas fa-unlink why3-icon"></span>
 143           Clean </li>
 144       </ul>
 145     </div>
 146     <!-- dialogs -->
 147     <div id="why3-dialog-panel" class="why3-container" >
 148       <div id="why3-dialog-bg" class="why3-widget"> </div>
 149       <div class="why3-widget why3-dialog">
 150         <div id="why3-setting-dialog" class="why3-widget" >
 151           <span>Preferences</span>
 152           <ul>
 153             <li>
 154               <input id="why3-radio-wide" type="radio" name="why3-view"
 155                      checked="checked" value="wide" />
 156               <label for="why3-radio-wide">Split Vertically</label>
 157             </li>
 158             <li>
 159               <input id="why3-radio-column" type="radio"
 160                      name="why3-view" value="column" />
 161               <label for="why3-radio-column">Split Horizontally</label>
 162             </li>
 163             <li>
 164               <input id="why3-input-num-threads" type="number" min="1" max="8" value="4" />
 165               <label for="why3-input-num-threads">Number of threads for Alt-Ergo</label>
 166             </li>
 167             <li>
 168               <input id="why3-input-min-steps" type="number" min="0" max="10000" value="10" />
 169               <label for="why3-input-min-steps">First-attempt step limit</label>
 170             </li>
 171             <li>
 172               <input id="why3-input-num-steps" type="number" min="1" max="10000" value="100" />
 173               <label for="why3-input-num-steps">Default step limit</label>
 174             </li>
 175             <li>
 176               <input id="why3-input-context-steps1" type="number" min="1" max="10000" value="100" />
 177               <label for="why3-input-context-steps1">Right-click menu step limit 1</label>
 178             </li>
 179             <li>
 180               <input id="why3-input-context-steps2" type="number" min="1" max="10000" value="1000" />
 181               <label for="why3-input-context-steps2">Right-click menu step limit 2</label>
 182             </li>
 183             <li>
 184               <input id="why3-input-context-steps3" type="number" min="1" max="10000" value="5000" />
 185               <label for="why3-input-context-steps3">Right-click menu step limit 3</label>
 186             </li>
 187
 188           </ul>
 189         </div>
 190         <div id="why3-about-dialog" class="why3-widget">
 191           <span>About TryWhy3</span>
 192           <p>TryWhy3 is a Javascript based version of
 193             the <a href="http://why3.lri.fr/" target="_blank">Why3
 194             Verification Platform</a></p>
 195           <p>© 2010-2022, Inria - CNRS - Paris-Saclay University<br/>
 196             This software is distributed under the terms of the GNU Lesser
 197             General Public License version 2.1, with the special exception
 198             on linking described in the
 199             file <a href="https://gitlab.inria.fr/why3/why3/raw/master/LICENSE"
 200                     target="_blank">LICENSE</a>.
 201           </p>
 202           <p>TryWhy3 relies on the following excellent open source
 203             software and resources:
 204           </p>
 205           <ul>
 206             <li>A Javascript version of
 207             the <a href="https://alt-ergo.ocamlpro.com/"  target="_blank">Alt-Ergo SMT
 208                 Solver</a>.</li>
 209             <li>The <a href="http://ocsigen.org/js_of_ocaml/"  target="_blank">js_of_ocaml</a>
 210               OCaml to Javascript compiler, part of
 211             the <a href="http://ocsigen.org/"  target="_blank">Ocsigen</a>
 212               project.</li>
 213
 214             <li>The <a href="https://fontawesome.com/"
 215                  target="_blank">Font
 216                 Awesome</a> font and CSS toolkit.</li>
 217             <li>The <a href="https://ace.c9.io/"  target="_blank">ACE</a> Web editor.</li>
 218           </ul>
 219     Designed by <a href="https://www.lri.fr/~kn/">Nguyễn Kim</a>, Patault Paul and Serré Gaëtan
 220         </div>
 221   <p style="text-align: center;">
 222     <button id="why3-close-dialog-button"
 223                 class="why3-button"
 224                 title="Close">Close</button>
 225   </p>
 226
 227       </div>
 228     </div>
 229   </body>
 230
 231 </html>