Reposiroty clean up

Author: 0xGeorgii

Cargo.toml

@@ -5,8 +5,6 @@ resolver = "2"
 members = [
     "ast",
     "cli",
-    "wasm-v-translator",
-    "wat-codegen",
     "wasm-codegen",
     "inference",
     "tests",
@@ -25,8 +23,6 @@ repository = "https://github.com/Inferara/inference"
 inference = { path = "./inference", version = "0.0.1" }
 inference-ast = { path = "./ast", version = "0.0.1" }
 inference-cli = { path = "./cli", version = "0.0.1" }
-inference-wasm-v-translator = { path = "./wasm-v-translator", version = "0.0.1" }
-inference-wat-codegen = { path = "./wat-codegen", version = "0.0.1" }
 inference-wasm-codegen = { path = "./wasm-codegen", version = "0.0.1" }
 inference-tests = { path = "./tests", version = "0.0.1" }
 inference-playground-server = { path = "./playground-server", version = "0.0.1" }

cli/src/main.rs

@@ -29,7 +29,7 @@
 
 mod parser;
 use clap::Parser;
-use inference::{analyze, codegen, parse, wasm_to_v};
+use inference::{analyze, codegen, parse};
 use parser::Cli;
 use std::{
     fs,
@@ -117,26 +117,26 @@ fn main() {
             }
             println!("WASM generated at: {}", wasm_file_path.to_string_lossy());
         }
-        if args.generate_v_output {
-            match wasm_to_v(source_fname, &wasm) {
-                Ok(v_output) => {
-                    let v_file_path = output_path.join(format!("{source_fname}.v"));
-                    if let Err(e) = fs::create_dir_all(&output_path) {
-                        eprintln!("Failed to create output directory: {e}");
-                        process::exit(1);
-                    }
-                    if let Err(e) = fs::write(&v_file_path, v_output) {
-                        eprintln!("Failed to write V file: {e}");
-                        process::exit(1);
-                    }
-                    println!("V generated at: {}", v_file_path.to_string_lossy());
-                }
-                Err(e) => {
-                    eprintln!("WASM->V translation failed: {e}");
-                    process::exit(1);
-                }
-            }
-        }
+        // if args.generate_v_output {
+        //     match wasm_to_v(source_fname, &wasm) {
+        //         Ok(v_output) => {
+        //             let v_file_path = output_path.join(format!("{source_fname}.v"));
+        //             if let Err(e) = fs::create_dir_all(&output_path) {
+        //                 eprintln!("Failed to create output directory: {e}");
+        //                 process::exit(1);
+        //             }
+        //             if let Err(e) = fs::write(&v_file_path, v_output) {
+        //                 eprintln!("Failed to write V file: {e}");
+        //                 process::exit(1);
+        //             }
+        //             println!("V generated at: {}", v_file_path.to_string_lossy());
+        //         }
+        //         Err(e) => {
+        //             eprintln!("WASM->V translation failed: {e}");
+        //             process::exit(1);
+        //         }
+        //     }
+        // }
     }
     process::exit(0);
 }

inference/Cargo.toml

@@ -13,4 +13,3 @@ tree-sitter.workspace = true
 tree-sitter-inference.workspace = true
 inference-ast.workspace = true
 inference-wasm-codegen.workspace = true
-inference-wasm-v-translator.workspace = true

inference/src/lib.rs

@@ -63,18 +63,3 @@ pub fn wat_to_wasm(wat: &str) -> anyhow::Result<Vec<u8>> {
     let wasm = module.encode()?;
     Ok(wasm)
 }
-
-/// Translates WebAssembly binary format (WASM) to Coq format.
-///
-/// # Errors
-///
-/// This function will return an error if the translation process fails.
-pub fn wasm_to_v(mod_name: &str, wasm: &Vec<u8>) -> anyhow::Result<String> {
-    if let Ok(v) =
-        inference_wasm_v_translator::wasm_parser::translate_bytes(mod_name, wasm.as_slice())
-    {
-        Ok(v)
-    } else {
-        Err(anyhow::anyhow!("Error translating WebAssembly to V"))
-    }
-}