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

Branch merges

Propose for merging

No branches dependent on this one.

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

Jiri Srba: Approve on 2016-08-29

Diff: 101 lines (+41/-5)

4 files modified

CTL/OnTheFlyDG.cpp (+13/-0)
CTLParser/CTLParser_v2.cpp (+13/-3)
CTLParser/EvaluateableProposition.cpp (+14/-1)
CTLParser/EvaluateableProposition.h (+1/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

95. By Søren Moss Nielsen <email address hidden> on 2016-08-29

Added the deadlock support to a new branch. Tested the branch. Confirmed working.

94. By Jiri Srba <email address hidden> on 2016-08-07

merged in branch verifypn/arbitrary_query_count_support fixing when less than 16 queries are in the query file and no -x option is specified

93. By Jiri Srba <email address hidden> on 2016-08-07

merged in branch verifypn/true_false_and_equal_support fixing the support for true and false propositions in CTL queries

92. By Jiri Srba <email address hidden> on 2016-08-07

merged in branch verifypn/escapeKey_issue_fix fixing the parsing
of escape characters in CTL queries

91. By Jiri Srba <email address hidden> on 2016-05-25

updated on the make files (removing -march=native flag)

90. By Jiri Srba on 2016-05-20

merge in branch ParserRefactoring_The_Correct_One (new parser for CTL queries

89. By Jiri Srba <email address hidden> on 2016-04-15

one fix in the script in upper bounds

88. By Jiri Srba <email address hidden> on 2016-04-14

changed in the CTL strategy in script

87. By Jiri Srba <email address hidden> on 2016-04-14

merged in branch ctl-cache-single-succ

86. By Jiri Srba <email address hidden> on 2016-04-14

updated the competition script