- Committer: Nikolaj Jensen Ulrik
- Date: 2021-02-11 08:00:53 UTC
- Revision ID: nikolaj@njulrik.dk-20210211080053-exnvj2rleqczj1la
Misc tweaks/debugging
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
CTL
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
LTL
|
228.1.1 | 3 years ago | Simon Virenfeldt | Implementation of NDFS with some requirements stub |
|
||
|
PetriEngine
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
PetriParse
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
CMakeLists.txt |
236.1.3 | 3 years ago | Nikolaj Jensen Ulrik | Integrating LTL engine into verifypn - code is ugl | 799 bytes |
|
|
|
LTLMain.cpp |
236.1.5 | 3 years ago | Nikolaj Jensen Ulrik | Cleanup and some bugfixing | 36.6 KB |
|
|
|
VerifyPN.cpp |
247 | 3 years ago | Nikolaj Jensen Ulrik | Misc tweaks/debugging | 54.7 KB |
|
|