https://github.com/jurajmajor/ltl3tela
Tip revision: 02092adca492678407bd74b5d3bbe103d8c2b400 authored by Juraj Major on 26 February 2022, 10:38:43 UTC
compile with Spot 2.10
compile with Spot 2.10
Tip revision: 02092ad
| File | Mode | Size |
|---|---|---|
| Experiments | ||
| .gitignore | -rw-r--r-- | 78 bytes |
| ATVA19.md | -rw-r--r-- | 2.6 KB |
| ChangeLog.md | -rw-r--r-- | 2.4 KB |
| LICENSE | -rw-r--r-- | 34.3 KB |
| Makefile | -rw-r--r-- | 915 bytes |
| README.md | -rw-r--r-- | 2.1 KB |
| alternating.cpp | -rw-r--r-- | 17.8 KB |
| alternating.hpp | -rw-r--r-- | 1.4 KB |
| automaton.cpp | -rw-r--r-- | 33.7 KB |
| automaton.hpp | -rw-r--r-- | 7.7 KB |
| main.cpp | -rw-r--r-- | 6.9 KB |
| nondeterministic.cpp | -rw-r--r-- | 16.3 KB |
| nondeterministic.hpp | -rw-r--r-- | 2.0 KB |
| spotela.cpp | -rw-r--r-- | 10.0 KB |
| spotela.hpp | -rw-r--r-- | 2.9 KB |
| utils.cpp | -rw-r--r-- | 7.2 KB |
| utils.hpp | -rw-r--r-- | 3.0 KB |
