timed-automata-analyzer 0.9.1 → 1.0.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +1 -1
- package/package.json +1 -1
- package/timed_automata_analyzer_bg.wasm +0 -0
package/README.md
CHANGED
|
@@ -21,7 +21,7 @@ In case you want to contribute to the tool or fork the repository, only few step
|
|
|
21
21
|
- As a first step, you need to install Rust.
|
|
22
22
|
See the [Rust website](https://www.rust-lang.org/tools/install) for information on how to do this.
|
|
23
23
|
- Additionally, you need to install _wasm-pack_ with `cargo install wasm-pack` for WebAssembly outputs.
|
|
24
|
-
- The WebAssembly binary (including glue code for JavaScript/TypeScript and an
|
|
24
|
+
- The WebAssembly binary (including glue code for JavaScript/TypeScript and an npm package) is generated by running `wasm-pack build --target bundler` and published to the npm registry by running `wasm-pack publish`.
|
|
25
25
|
- This project includes an extensive test suite. Tests can be run with `cargo test`.
|
|
26
26
|
- For linting, this project uses the built-in linter of Rust as well as [Clippy](https://github.com/rust-lang/rust-clippy).
|
|
27
27
|
To run the linters, execute `cargo check` and `cargo clippy`, respectively.
|
package/package.json
CHANGED
|
Binary file
|