- Committer: srba.jiri at gmail
- Date: 2021-04-02 18:13:50 UTC
- mfrom: (230.1.28 mcc2021)
- Revision ID: srba.jiri@gmail.com-20210402181350-k71xtjut3r48l1o5
merged in lp:~tapaal-ltl/verifypn/mcc2021 adding LTL, colored fixed-point unfolding for CPN and other performance improvements
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
Algorithm
|
226.13.5 | 3 years ago | Nikolaj Jensen Ulrik | Cleanup and some bugfixing |
|
||
|
Simplification
|
226.10.3 | 3 years ago | Nikolaj Jensen Ulrik | Pass queries through spot simplifier before linear |
|
||
|
Structures
|
226.5.1 | 3 years ago | Simon Virenfeldt | Implementation of NDFS with some requirements stub |
|
||
AlgorithmTypes.h |
230.2.3 | 3 years ago | Peter G. Jensen | Merged stubborn-refactor and ltl engine | 1.3 KB |
|
|
|
BuchiSuccessorGenerator.h |
230.2.3 | 3 years ago | Peter G. Jensen | Merged stubborn-refactor and ltl engine | 2.8 KB |
|
|
|
LTL.h |
226.22.5 | 3 years ago | Nikolaj Jensen Ulrik | Add trace levels for internal usage | 1.1 KB |
|
|
|
LTLToBuchi.h |
230.1.18 | 3 years ago | Peter G. Jensen | Merged changes to author-list, update to spot and | 4.6 KB |
|
|
|
LTLValidator.h |
230.1.15 | 3 years ago | Peter G. Jensen | purging >= and > | 6.6 KB |
|
|
|
ProductSuccessorGenerator.h |
226.20.4 | 3 years ago | Simon Virenfeldt | Fixed bug in traceable NDFS where the initial mark | 5.5 KB |
|
|