- 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 | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
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.72 | 4 years ago | Peter G. Jensen | refactored implementation into meaningfull compone |
|
||
CMakeLists.txt |
230.2.24 | 3 years ago | Nikolaj Jensen Ulrik | Merge ltl-stubborn-set@276 minus stubborn things ( | 489 bytes |
|
|
|
PetriNet.cpp |
227.1.32 | 3 years ago | tpede16 at aau | Merge with LTL branch | 9 KB |
|
|
|
PetriNetBuilder.cpp |
235.1.30 | 3 years ago | tpede16 at aau | Fix parsing error and petri net reordering | 19 KB |
|
|
|
Reducer.cpp |
233.1.46 | 2 years ago | Peter G. Jensen | removing funky static, fixing types, more const | 66.9 KB |
|
|
|
ReducingSuccessorGenerator.cpp |
226.24.23 | 3 years ago | Nikolaj Jensen Ulrik | merge ltl-trunk@252 | 1.5 KB |
|
|
|
STSolver.cpp |
213.1.144 | 3 years ago | Peter G. Jensen | removing unused glpk import from STSolver | 10 KB |
|
|
|
SuccessorGenerator.cpp |
226.24.19 | 3 years ago | Nikolaj Jensen Ulrik | Functioning spooling successor generator | 5.4 KB |
|
|