switch liveview to sledgehammer

This commit is contained in:
Evan Almloff committed 2023-10-09 14:28:12 -05:00
1 parent 8b411b8c6d
commit f20b740abe
17 files changed
+791 -583

No files matched your search

+1 -7
View File
@@ -6,14 +6,8 @@ mod sledgehammer_bindings;
#[cfg(feature = "sledgehammer")]
pub use sledgehammer_bindings::*;
#[cfg(feature = "web")]
mod bindings;
#[cfg(feature = "web")]
pub use bindings::Interpreter;
// Common bindings for minimal usage.
#[cfg(feature = "minimal_bindings")]
#[cfg(all(feature = "minimal_bindings", feature = "web"))]
pub mod minimal_bindings {
use wasm_bindgen::{prelude::wasm_bindgen, JsValue};
#[wasm_bindgen(module = "/src/common.js")]