Viewing all changes in revision 252.
- Committer: srba.jiri at gmail
- Date: 2021-10-17 19:59:58 UTC
- mfrom: (247.5.37 reach-stub-new)
- Revision ID: srba.jiri@gmail.com-20211017195958-32x4jw9be25tkp8z
merged in lp:~tapaal-ltl/verifypn/reach-stub-new addig POR for LTL, improves NDFS performance and fixes trace generation
- files modified:
- CMakeLists.txt
expand all
collapse all
added
removed
