Viewing all changes in revision 241.
- Committer: Jiri Srba
- Date: 2021-07-05 10:25:12 UTC
- mfrom: (240.1.1 rule-D-fix)
- Revision ID: srba@cs.aau.dk-20210705102512-ewe2c3adbq9mk3c9
merged in lp:~tapaal-ltl/verifypn/rule-D-fix fixing a problem in reduction rule D for CTL and LTL logic
- files modified:
- include/PetriEngine/Reducer.h
expand all
collapse all
added
removed
