admin/yugr-Implib
1
0
Fork 0
mirror of https://github.com/yugr/Implib.so synced 2026-06-08 18:33:41 +00:00
Code Issues Packages Projects Releases Wiki Activity

Added todo.

Browse Source
This commit is contained in:
Yury Gribov
2025-01-25 09:47:54 +03:00
parent adb60eafb7
commit 4f6a055f72
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
specs/README.md
+3 -1
View File
@@ -30,4 +30,6 @@ Errors can be examined via
$ spin -p -t Init.pml
```
TODO: try other langs (Alloy, NuSMV/NuXmv, B)
TODO:
- try other langs (Alloy, SMV, B)
- integrate TLA model with Apalache