Include version information in output to aid in debugging (#25)

* Add version information to output for debugging
* Fix up wasm support for playground

ibis/Cargo.toml

@@ -5,6 +5,7 @@ edition = "2021"
 description = "Ibis - a knowledge engine for type checking asynchronously communicating modules"
 repository = "https://github.com/project-oak/arcsjs-provable"
 license = "See LICENSE"
+build = "build.rs"
 
 [lib]
 name = "ibis"
@@ -20,6 +21,7 @@ dot = [] # Support the generation of dot graphs (for debugging)
 wasm = [ "wasm-bindgen", "console_error_panic_hook" ] # Support wasm-bindgen API
 
 [dependencies]
+shadow-rs = { version = "0.9", default-features = false }
 nom = "7.1.0"
 paste = "1.0.6"
 crepe = "0.1.6"
@@ -34,6 +36,9 @@ console_error_panic_hook = { version = "0.1.7", optional = true }
 pretty_assertions = "1.0.0"
 criterion = { version = "0.3", features = ["html_reports"] }
 
+[build-dependencies]
+shadow-rs = "0.9"
+
 [profile.release]
 opt-level = "z"
 lto = "fat"

ibis/build.rs

@@ -0,0 +1,3 @@
+fn main() -> shadow_rs::SdResult<()> {
+    shadow_rs::new()
+}

ibis/playground/index.html

@@ -13,5 +13,6 @@ <h1>Ibis - Playground</h1>
       <textarea class="flex-child" id="input"></textarea>
       <textarea class="flex-child" id="output"></textarea>
     </div>
+    <div id="version_info"></div>
   </body>
 </html>

ibis/playground/playground.js

@@ -1,11 +1,13 @@
-import {default as ibis, best_solutions_to_json} from '../pkg/ibis.js';
+import {default as ibis, version_info, best_solutions_to_json} from '../pkg/ibis.js';
 
 async function loadIbis() {
     const feedback = document.getElementById('feedback');
+    const version_info_display = document.getElementById('version_info');
     feedback.innerText = 'Loading ibis...';
     // Set up ibis
     await ibis('../pkg/ibis_bg.wasm');
     feedback.innerText = 'Loaded';
+    version_info_display.innerText = version_info();
 }
 
 async function getDemoContent() {

ibis/src/bin/main.rs

@@ -10,6 +10,7 @@ use ibis::IbisError;
 use std::io::Read;
 
 fn main() -> Result<(), IbisError> {
+    eprintln!("{}", ibis::version_info());
     let mut data = String::new();
     std::io::stdin()
         .read_to_string(&mut data)