lp:~verifytapn/verifytapn/query-normalization

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifytapn at revision 145

Jiri Srba: Approve on 2011-11-30

Diff: 449 lines (+285/-12)

13 files modified

src/Core/ArgsParser.hpp (+1/-1)
src/Core/QueryParser/BadPlaceVisitor.cpp (+44/-0)
src/Core/QueryParser/BadPlaceVisitor.hpp (+33/-0)
src/Core/QueryParser/ExpressionSatisfiedVisitor.cpp (+1/-0)
src/Core/QueryParser/NormalizationVisitor.cpp (+109/-0)
src/Core/QueryParser/NormalizationVisitor.hpp (+41/-0)
src/Core/QueryParser/ToStringVisitor.cpp (+1/-1)
src/Core/QueryParser/ToStringVisitor.hpp (+6/-1)
src/Core/SymbolicMarking/DiscreteInclusionMarkingFactory.hpp (+1/-1)
src/Core/TAPN/TimedArcPetriNet.hpp (+1/-0)
src/Core/VerificationOptions.cpp (+10/-6)
src/Core/VerificationOptions.hpp (+1/-0)
src/main.cpp (+36/-2)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

80. By Morten Jacobsen on 2011-11-26

merge

79. By Morten Jacobsen on 2011-11-25

Added support for arbitrary queries with discrete inclusion

78. By Morten Jacobsen on 2011-11-20

Added normalization visitor to project and test code

77. By Jiri Srba on 2011-10-08

shortened the message about removal of orphan transitions

76. By Morten Jacobsen on 2011-10-08

added warning message

75. By Jiri Srba on 2011-10-08

changed version number to 1.0.2

74. By Morten Jacobsen on 2011-10-08

removes orphan transitions to fix issues

73. By Morten Jacobsen on 2011-07-15

- Fixed bug #809860
- Changed version number to 1.0.1

72. By Jiri Srba on 2011-07-01

increased the version to 1.1.0 for the trunk version (next milestone)

71. By Jiri Srba on 2011-06-28

Change version number to 1.0.0