Viewing all changes in revision 184.
- Committer: Jiri Srba
- Date: 2017-08-07 19:16:12 UTC
- mfrom: (152.32.44 inhib)
- Revision ID: srba.jiri@gmail.com-20170807191612-t1z6jtgvmvv1w5t0
merged in the branch lp:~verifypn-stub/verifypn/inhib adding support of stubborn sets
for inhibitor arcs and a number of other fixes and compiles now for windows as well
for inhibitor arcs and a number of other fixes and compiles now for windows as well
- files removed:
- PetriEngine/Simplification/Equation.h
- files modified:
- CTL/CTLParser/EvaluateableProposition.cpp
expand all
collapse all
added
removed
