lp:~tapaal-dist-ctl/verifypn/ParserRefactoring_The_Correct_One

Branch merges

Propose for merging

No branches dependent on this one.

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

Jiri Srba: Approve on 2016-05-20

Diff: 12960 lines (+12094/-450)

22 files modified

CTL/CertainZeroFPA.cpp (+3/-23)
CTL/CertainZeroFPA.h (+1/-1)
CTL/DependencyGraph.cpp (+1/-1)
CTL/DependencyGraph.h (+3/-2)
CTL/LocalFPA.h (+1/-1)
CTL/OnTheFlyDG.cpp (+352/-373)
CTL/OnTheFlyDG.h (+6/-3)
CTL/configuration.cpp (+5/-4)
CTL/configuration.h (+5/-3)
CTL/edge.cpp (+1/-1)
CTLParser/CTLOptimizer.cpp (+77/-0)
CTLParser/CTLOptimizer.h (+31/-0)
CTLParser/CTLParser.cpp (+0/-1)
CTLParser/CTLParser_v2.cpp (+508/-0)
CTLParser/CTLParser_v2.h (+56/-0)
CTLParser/CTLQuery.cpp (+159/-0)
CTLParser/CTLQuery.h (+66/-0)
CTLParser/EvaluateableProposition.cpp (+189/-0)
CTLParser/EvaluateableProposition.h (+53/-0)
Tests/unitTesting/catch.hpp (+10483/-0)
VerifyPN.cpp (+93/-36)
makefile.linux64 (+1/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

114. By Søren Moss Nielsen <email address hidden> on 2016-05-20

Fixed credits and the hashing has been modified for 32-bit

113. By Søren Moss Nielsen <email address hidden> on 2016-05-16

Fixed multi place parse error

112. By Søren Moss Nielsen <email address hidden> on 2016-05-16

Removed build folder

111. By Søren Moss Nielsen <email address hidden> on 2016-05-14

cleaned-up output after debugging

110. By Samuel Pastva on 2016-05-13

Compute depth

109. By Søren Moss Nielsen <email address hidden> on 2016-05-13

Added to query string format

108. By Samuel Pastva on 2016-05-12

merge

107. By Samuel Pastva on 2016-05-12

fix invalid condition

106. By Samuel Pastva on 2016-05-09

fix sscanf problems

105. By Peter Fogh <email address hidden> on 2016-05-09

merge