~tapaal-ltl/verifypn/fireable-empty-preset-fix

• Changes
• Files

~tapaal-ltl/verifypn/fireable-empty-preset-fix » Changes to src/PetriEngine/Colored/EquivalenceClass.cpp from revision 248

From Revision 248

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
243		merged in lp:~tapaal-contributor/verifypn/update-parser impr... merged in lp:~tapaal-contributor/verifypn/update-parser improving CPN unfodling and refactoring the code, fixing parser	srba.jiri at gmail	2 years ago
232		merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heur... merged in lp:~tapaal-ltl/verifypn/random-fix adding LTL heuristic, fixing random search and adding partitioning to CPN unfodling	srba.jiri at gmail	3 years ago

Loggerhead is a web-based interface for Breezy
Version: 2.0.1