lp:~verifypn-maintainers/verifypn/placeBoundStatistics

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:~verifypn-maintainers/verifypn/trunk at revision 45

Jonas Finnemann Jensen: Approve on 2014-03-18

Jiri Srba: Approve on 2014-03-16

Diff: 540 lines (+95/-47)

16 files modified

PetriEngine/PetriNet.cpp (+25/-17)
PetriEngine/PetriNet.h (+4/-0)
PetriEngine/Reachability/BestFSCooling.cpp (+2/-1)
PetriEngine/Reachability/BestFirstReachabilitySearch.cpp (+4/-4)
PetriEngine/Reachability/BreadthFirstReachabilitySearch.cpp (+4/-4)
PetriEngine/Reachability/DepthFirstReachabilitySearch.cpp (+4/-4)
PetriEngine/Reachability/HashUnderApproximation.cpp (+2/-2)
PetriEngine/Reachability/HeuristicDFS.cpp (+2/-2)
PetriEngine/Reachability/MagicSearch.cpp (+3/-1)
PetriEngine/Reachability/RandomDFS.cpp (+4/-4)
PetriEngine/Reachability/ReachabilityResult.h (+5/-0)
PetriEngine/Reachability/StateSearch.cpp (+3/-3)
PetriEngine/Reachability/UltimateSearch.cpp (+4/-4)
PetriEngine/Reducer.cpp (+4/-0)
PetriEngine/Structures/StateSet.h (+15/-1)
VerifyPN.cpp (+10/-0)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

47. By Jiri Srba on 2014-03-16

Now prints correctly the place-bounds statistics

46. By Jiri Srba on 2014-03-16

prints the statistics now (removed places in reduction not implemented yet)

45. By Jiri Srba on 2014-03-16

implemented maxPlaceBound, it does not print yet

44. By Jiri Srba on 2014-03-12

merged in branch adding transition statistics to the output of the engine

43. By Jiri Srba on 2014-03-05

merged in a branch implementing -r switch
enabeling structural net reductions as preprocessing
for the verification

42. By Jiri Srba on 2014-02-18

changed version number to 1.0.0 and added copyright until 2014

41. By Jiri Srba on 2014-02-16

Fixed bug #1280894 (for weighted arcs multiple tokens are now printed in the error trace)

40. By Jiri Srba on 2013-10-21

corrected a typo in README file

39. By Jonas Finnemann Jensen <jonasfj@jonasfj-laptop> on 2013-10-20

Added win64 support

38. By Jiri Srba on 2013-10-20

updated makefiles for Mac OS X 10.6 compatibility (-mmacosx-version-min=10.6)