- 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 | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
Colored
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
PQL
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
Reachability
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
Simplification
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
Structures
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
|
Stubborn
|
230.2.1 | 3 years ago | Nikolaj Jensen Ulrik | Refactor stubborn set implementation out of Reduci |
|
||
|
TAR
|
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure |
|
||
AbstractPetriNetBuilder.h |
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure | 4.1 KB |
|
|
|
errorcodes.h |
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure | 345 bytes |
|
|
|
NetStructures.h |
213.1.31 | 4 years ago | Peter G. Jensen | adding rebuild structure | 2.3 KB |
|
|
|
options.h |
227.1.33 | 3 years ago | ptaankvist at gmail | Complete merge. Now compiles | 4.7 KB |
|
|
|
PetriNet.h |
230.2.1 | 3 years ago | Nikolaj Jensen Ulrik | Refactor stubborn set implementation out of Reduci | 4.1 KB |
|
|
|
PetriNetBuilder.h |
230.2.3 | 3 years ago | Peter G. Jensen | Merged stubborn-refactor and ltl engine | 5 KB |
|
|
|
Reducer.h |
226.19.2 | 3 years ago | Simon Virenfeldt | Updated the logic of rule K such that if the simpl | 6.4 KB |
|
|
|
ReducingSuccessorGenerator.h |
230.2.1 | 3 years ago | Nikolaj Jensen Ulrik | Refactor stubborn set implementation out of Reduci | 1.1 KB |
|
|
|
STSolver.h |
213.1.144 | 3 years ago | Peter G. Jensen | removing unused glpk import from STSolver | 1.7 KB |
|
|
|
SuccessorGenerator.h |
226.9.1 | 3 years ago | Nikolaj Jensen Ulrik | Enable trace generation in Tarjan (still buggy), f | 2.1 KB |
|
|