- Committer: Jiri Srba
- Date: 2018-06-26 11:19:33 UTC
- mfrom: (209.1.12 unfold-improve)
- Revision ID: srba.jiri@gmail.com-20180626111933-hc310n3enno75xru
merged in branch lp:~verifypn-cpn/verifypn/unfold-improve
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
Algorithm
|
152.1.1 | 7 years ago | Lasse S. J. | Sequential CTL Engine Added |
|
||
|
DependencyGraph
|
152.1.1 | 7 years ago | Lasse S. J. | Sequential CTL Engine Added |
|
||
|
PetriNets
|
152.1.1 | 7 years ago | Lasse S. J. | Sequential CTL Engine Added |
|
||
|
SearchStrategy
|
152.1.1 | 7 years ago | Lasse S. J. | Sequential CTL Engine Added |
|
||
CTLEngine.cpp |
197.3.70 | 6 years ago | Peter G. Jensen | query specific output | 4.7 KB |
|
|
|
CTLEngine.h |
197.3.70 | 6 years ago | Peter G. Jensen | query specific output | 875 bytes |
|
|
|
CTLResult.h |
181.4.1 | 6 years ago | Peter G. Jensen | first exstract from expparctl, merged with negatio | 794 bytes |
|
|
|
Stopwatch.h |
152.1.1 | 7 years ago | Lasse S. J. | Sequential CTL Engine Added | 799 bytes |
|
|