@celox-sim/celox-napi 0.1.29 → 0.1.31

package/index.d.ts

@@ -107,6 +107,23 @@ export declare function clearJitCache(): void
  */
 export declare function genTs(projectPath: string): string
 
+/**
+ * Generate TypeScript type information from in-memory Veryl sources.
+ *
+ * Like `gen_ts()` but does not require a Veryl.toml or filesystem access.
+ * Works on both native and wasm32 targets.
+ */
+export declare function genTsFromSource(sources: Array<NapiSourceFile>): string
+
+/** Result of a single `$assert` evaluation in a native testbench. */
+export interface NapiAssertionResult {
+  passed: boolean
+  message?: string
+  file?: string
+  line?: number
+  column?: number
+}
+
 /** A false-loop declaration (combinational loop to ignore). */
 export interface NapiFalseLoop {
   from: NapiSignalPath
@@ -130,18 +147,29 @@ export interface NapiOptimizeOptions {
   inlineCommitForwarding?: boolean
   eliminateDeadWorkingStores?: boolean
   reschedule?: boolean
+  coalesceStores?: boolean
 }
 
 /** Options for creating a simulator/simulation handle. */
 export interface NapiOptions {
   fourState?: boolean
   vcd?: string
+  /**
+   * Optimization level preset: "O0", "O1", or "O2".
+   * Takes precedence over `optimize` and `optimize_options`.
+   */
+  optLevel?: string
+  /**
+   * Per-pass overrides applied on top of opt_level.
+   * Each entry: "+sir:<pass_name>" to enable, "-sir:<pass_name>" to disable.
+   */
+  passOverrides?: Array<string>
   /**
    * Shorthand to enable/disable all SIRT optimization passes.
-   * `true` = all on, `false` = all off. Overridden by `optimize_options` if both set.
+   * `true` = all on, `false` = all off. Overridden by `opt_level` or `optimize_options`.
    */
   optimize?: boolean
-  /** Per-pass optimizer flags. */
+  /** Per-pass optimizer flags (legacy). Overridden by `opt_level`/`pass_overrides`. */
   optimizeOptions?: NapiOptimizeOptions
   /** Cranelift backend optimization level: "none", "speed", or "speed_and_size". */
   craneliftOptLevel?: string
@@ -183,9 +211,31 @@ export interface NapiSourceFile {
   path: string
 }
 
+/** Detailed result of running a native testbench. */
+export interface NapiTestResult {
+  passed: boolean
+  assertions: Array<NapiAssertionResult>
+}
+
 /** A true-loop declaration with a convergence iteration limit. */
 export interface NapiTrueLoop {
   from: NapiSignalPath
   to: NapiSignalPath
   maxIter: number
 }
+
+/**
+ * Run a native testbench from Veryl source code.
+ *
+ * Compiles the given sources and runs the `#[test]` module specified by `top`,
+ * collecting all assertion results.
+ */
+export declare function runTest(sources: Array<NapiSourceFile>, top: string, options?: NapiOptions | undefined | null): NapiTestResult
+
+/**
+ * Run a native testbench from a Veryl project directory.
+ *
+ * Searches upward from `project_path` for `Veryl.toml`, gathers all
+ * `.veryl` source files, and runs the `#[test]` module specified by `top`.
+ */
+export declare function runTestFromProject(projectPath: string, top: string, options?: NapiOptions | undefined | null): NapiTestResult

package/index.js

@@ -580,3 +580,6 @@ module.exports.NativeSimulationHandle = nativeBinding.NativeSimulationHandle
 module.exports.NativeSimulatorHandle = nativeBinding.NativeSimulatorHandle
 module.exports.clearJitCache = nativeBinding.clearJitCache
 module.exports.genTs = nativeBinding.genTs
+module.exports.genTsFromSource = nativeBinding.genTsFromSource
+module.exports.runTest = nativeBinding.runTest
+module.exports.runTestFromProject = nativeBinding.runTestFromProject

package/package.json

@@ -1,11 +1,16 @@
 {
   "name": "@celox-sim/celox-napi",
-  "version": "0.1.29",
+  "version": "0.1.31",
   "description": "Celox simulator NAPI bindings",
   "main": "index.js",
   "types": "index.d.ts",
   "napi": {
     "binaryName": "celox",
+    "wasm": {
+      "browser": {
+        "fs": true
+      }
+    },
     "targets": [
       "x86_64-unknown-linux-gnu",
       "aarch64-unknown-linux-gnu",
@@ -44,12 +49,12 @@
   },
   "license": "MIT OR Apache-2.0",
   "optionalDependencies": {
-    "@celox-sim/celox-napi-linux-x64-gnu": "0.1.29",
-    "@celox-sim/celox-napi-linux-arm64-gnu": "0.1.29",
-    "@celox-sim/celox-napi-linux-x64-musl": "0.1.29",
-    "@celox-sim/celox-napi-linux-arm64-musl": "0.1.29",
-    "@celox-sim/celox-napi-darwin-x64": "0.1.29",
-    "@celox-sim/celox-napi-darwin-arm64": "0.1.29",
-    "@celox-sim/celox-napi-win32-x64-msvc": "0.1.29"
+    "@celox-sim/celox-napi-linux-x64-gnu": "0.1.31",
+    "@celox-sim/celox-napi-linux-arm64-gnu": "0.1.31",
+    "@celox-sim/celox-napi-linux-x64-musl": "0.1.31",
+    "@celox-sim/celox-napi-linux-arm64-musl": "0.1.31",
+    "@celox-sim/celox-napi-darwin-x64": "0.1.31",
+    "@celox-sim/celox-napi-darwin-arm64": "0.1.31",
+    "@celox-sim/celox-napi-win32-x64-msvc": "0.1.31"
   }
 }