- 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 | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||
AntiChain.h |
213.1.129 | 4 years ago | Peter G. Jensen | using sets instead of vectors | 2.5 KB |
|
|
|
ContainsVisitor.h |
230.1.15 | 3 years ago | Peter G. Jensen | purging >= and > | 6.4 KB |
|
|
|
PlaceUseVisitor.h |
230.1.15 | 3 years ago | Peter G. Jensen | purging >= and > | 2.2 KB |
|
|
|
range.h |
227.3.42 | 3 years ago | tpede16 at aau | Merge with color-fixpoint | 13.6 KB |
|
|
|
RangeContext.h |
230.1.15 | 3 years ago | Peter G. Jensen | purging >= and > | 2.3 KB |
|
|
|
RangeEvalContext.h |
230.1.15 | 3 years ago | Peter G. Jensen | purging >= and > | 2.2 KB |
|
|
|
Solver.h |
230.2.1 | 3 years ago | Nikolaj Jensen Ulrik | Refactor stubborn set implementation out of Reduci | 1.6 KB |
|
|
|
TARAutomata.h |
213.1.136 | 4 years ago | Peter G. Jensen | maximizing in trace | 9.9 KB |
|
|
|
TARReachability.h |
213.1.136 | 4 years ago | Peter G. Jensen | maximizing in trace | 3.1 KB |
|
|
|
TraceSet.h |
213.1.129 | 4 years ago | Peter G. Jensen | using sets instead of vectors | 1.5 KB |
|
|