- 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.72 | 4 years ago | Peter G. Jensen | refactored implementation into meaningfull compone |
|
||
CMakeLists.txt |
230.1.13 | 3 years ago | Peter G. Jensen | Compiles | 489 bytes |
|
|
|
PetriNet.cpp |
227.1.32 | 3 years ago | tpede16 at aau | Merge with LTL branch | 9 KB |
|
|
|
PetriNetBuilder.cpp |
227.1.32 | 3 years ago | tpede16 at aau | Merge with LTL branch | 19 KB |
|
|
|
Reducer.cpp |
230.2.10 | 3 years ago | Simon Virenfeldt | Disable reduction rule K as correcness has not bee | 66.9 KB |
|
|
|
ReducingSuccessorGenerator.cpp |
230.2.2 | 3 years ago | Nikolaj Jensen Ulrik | Remove commented code, fix one indent | 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.16.1 | 3 years ago | Simon Virenfeldt | LTL Code cleanup. | 5 KB |
|
|