timed-automata-analyzer 0.9.0 → 0.9.1
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 +4 -4
- package/package.json +2 -2
- package/timed_automata_analyzer_bg.wasm +0 -0
package/README.md
CHANGED
|
@@ -1,10 +1,10 @@
|
|
|
1
|
-
# Analyzer for Timed Automata
|
|
1
|
+
# ⏰ Analyzer for Timed Automata
|
|
2
2
|
|
|
3
3
|
This project provides an analyzer for Timed Automata.
|
|
4
4
|
The analyzer is written in Rust and compiled to WebAssembly to offer a fast and efficient tool to implement analyses for websites.
|
|
5
5
|
Currently, the analyzer offers functionality to find unreachable locations in a given TA.
|
|
6
6
|
|
|
7
|
-
## Getting Started
|
|
7
|
+
## 🚀 Getting Started
|
|
8
8
|
|
|
9
9
|
To use the tool in your JavaScript/TypeScript project, simply install the package `timed-automata-analyzer` with your favorite package manager.
|
|
10
10
|
Then map your Timed Automata into the TA model provided by the analyzer.
|
|
@@ -15,7 +15,7 @@ If all locations are reachable, the array is empty.
|
|
|
15
15
|
Note that the analyzer validates the input TA before starting the analysis.
|
|
16
16
|
In case of any validation issues (e.g., missing initial location), `findUnreachableLocations(ta)` throws an error.
|
|
17
17
|
|
|
18
|
-
## Developing the Tool
|
|
18
|
+
## 🦀 Developing the Tool
|
|
19
19
|
|
|
20
20
|
In case you want to contribute to the tool or fork the repository, only few steps are necessary:
|
|
21
21
|
- As a first step, you need to install Rust.
|
|
@@ -27,7 +27,7 @@ In case you want to contribute to the tool or fork the repository, only few step
|
|
|
27
27
|
To run the linters, execute `cargo check` and `cargo clippy`, respectively.
|
|
28
28
|
- For further information on compiling Rust to WebAssembly, see the [MDN Web Docs](https://developer.mozilla.org/en-US/docs/WebAssembly/Rust_to_Wasm).
|
|
29
29
|
|
|
30
|
-
## Additional Information
|
|
30
|
+
## 💡 Additional Information
|
|
31
31
|
|
|
32
32
|
- Most of the algorithms for checking reachability are based on the paper [Timed Automata: Semantics, Algorithms and Tools](https://doi.org/10.1007/978-3-540-27755-2_3).
|
|
33
33
|
- In case you want to see the analyzer in action, I built a React app for modeling and analyzing Timed Automata.
|
package/package.json
CHANGED
|
@@ -5,11 +5,11 @@
|
|
|
5
5
|
"luth1um"
|
|
6
6
|
],
|
|
7
7
|
"description": "An analyzer for Timed Automata written in Rust",
|
|
8
|
-
"version": "0.9.
|
|
8
|
+
"version": "0.9.1",
|
|
9
9
|
"license": "MIT",
|
|
10
10
|
"repository": {
|
|
11
11
|
"type": "git",
|
|
12
|
-
"url": "https://github.com/luth1um/
|
|
12
|
+
"url": "https://github.com/luth1um/timed-automata-analyzer"
|
|
13
13
|
},
|
|
14
14
|
"files": [
|
|
15
15
|
"timed_automata_analyzer_bg.wasm",
|
|
Binary file
|