- Committer: jespoke
- Date: 2021-09-28 11:04:10 UTC
- Revision ID: jespoke@hotmail.com-20210928110410-nd68d96nassqy266
Trying to commit to bzr
| 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 |
234.1.3 | 3 years ago | Simon Virenfeldt | Merge lp:~tapaal-ltl/verifypn/ltl-stubborn-set@291 | 724 bytes |
|
|
|
VerifyPN.cpp |
252 | 2 years ago | nicoesterby at gmail | Add reduction rule L removing dominated transition | 74.3 KB |
|
|