← Back to branch summary

~tapaal-dist-ctl/verifypn/Master_printer_merge

~tapaal-dist-ctl/verifypn/Master_printer_merge

Viewing all changes in revision 258.

Committer: Samuel Pastva
Date: 2016-05-13 09:49:52 UTC
mfrom: (253.1.5 framework)
Revision ID: daemontus@gmail.com-20160513094952-sfrp84wg9y2hl5sl

merge main file changes

files added:
makefile.local

verifypnCTL.cpp

verifypnCTL.h

files renamed:
CTL/DependencyGraph/BaiscDependencyGraph.h => CTL/DependencyGraph/BasicDependencyGraph.h

files modified:
CTL/Algorithm/CertainZeroFPA.cpp

CTL/Algorithm/DistCZeroFPA.cpp

CTL/Algorithm/DistCZeroFPA.h

CTL/Algorithm/FixedPointAlgorithm.h

CTL/PetriNets/OnTheFlyDG.cpp

CTL/PetriNets/OnTheFlyDG.h

CTL/SearchStrategy/DFSSearch.cpp

CTL/SearchStrategy/UniversalSearchStrategy.h

VerifyPN.cpp

Show diffs side-by-side

added added

removed removed

CTL/Algorithm/CertainZeroFPA.cpp

CTL/Algorithm/DistCZeroFPA.cpp

CTL/Algorithm/DistCZeroFPA.h

CTL/Algorithm/FixedPointAlgorithm.h

CTL/PetriNets/OnTheFlyDG.cpp

CTL/PetriNets/OnTheFlyDG.h

CTL/SearchStrategy/DFSSearch.cpp

CTL/SearchStrategy/UniversalSearchStrategy.h

verifypnCTL.cpp

Older »