- Committer: srba.jiri at gmail
- Date: 2021-07-07 12:02:50 UTC
- mfrom: (233.1.63 update-parser)
- Revision ID: srba.jiri@gmail.com-20210707120250-f86fv0m9ycbge3qs
merged in lp:~tapaal-contributor/verifypn/update-parser improving CPN unfodling and refactoring the code, fixing parser
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
CTL
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
LTL
|
226.5.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 |
230.2.29 | 3 years ago | Simon Virenfeldt | Code cleanup for merge. | 724 bytes |
|
|
|
VerifyPN.cpp |
233.1.63 | 2 years ago | Peter G. Jensen | updated text in help | 67.9 KB |
|
|