lp:~verifydtapn-contributers/verifydtapn/ArithmeticQueries

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:verifydtapn at revision 297

Mathias Grund Sørensen: Approve (code) on 2014-03-20

Jakob Taankvist: Approve on 2014-03-20

Jiri Srba: Approve on 2014-03-20

Diff: 2202 lines (+915/-361)

19 files modified

src/Core/QueryParser/AST.cpp (+66/-16)
src/Core/QueryParser/AST.hpp (+202/-37)
src/Core/QueryParser/Generated/lexer.cpp (+116/-99)
src/Core/QueryParser/Generated/parser.cpp (+214/-118)
src/Core/QueryParser/Generated/parser.hpp (+10/-6)
src/Core/QueryParser/NormalizationVisitor.cpp (+21/-11)
src/Core/QueryParser/NormalizationVisitor.hpp (+6/-1)
src/Core/QueryParser/Visitor.hpp (+15/-2)
src/Core/QueryParser/flex.ll (+6/-2)
src/Core/QueryParser/grammar.yy (+49/-30)
src/DiscreteVerification/DeadlockVisitor.cpp (+24/-4)
src/DiscreteVerification/DeadlockVisitor.hpp (+6/-1)
src/DiscreteVerification/PlaceVisitor.cpp (+18/-7)
src/DiscreteVerification/PlaceVisitor.hpp (+7/-1)
src/DiscreteVerification/QueryVisitor.hpp (+57/-10)
src/DiscreteVerification/SearchStrategies/LivenessWeightQueryVisitor.cpp (+43/-7)
src/DiscreteVerification/SearchStrategies/LivenessWeightQueryVisitor.hpp (+6/-1)
src/DiscreteVerification/SearchStrategies/WeightQueryVisitor.cpp (+43/-7)
src/DiscreteVerification/SearchStrategies/WeightQueryVisitor.hpp (+6/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

297. By Jiri Srba on 2014-02-20

merged with trunk

296. By Peter Gjøl Jensen on 2014-02-16

fixed obvious bug with query verification

295. By Peter Gjøl Jensen on 2014-02-16

compiles, needs testing

294. By Peter Gjøl Jensen on 2014-02-16

implemented visitors

293. By Peter Gjøl Jensen on 2014-02-16

new cfg - not implemented

292. By Jiri Srba on 2014-01-25

merged in branch fixing loop problem for EG queries

291. By Jiri Srba on 2013-12-05

merged in branch implementing the GCD of constants in the model

290. By Jiri Srba on 2013-10-29

merged in a branch that changes the inheritance model and refactors the code

289. By Jiri Srba on 2013-10-28

merged in branch for workflow analysis

288. By Jiri Srba on 2013-09-02

merged in branch fixing segfault by removing deletes in destructors