lp:~tapaal-dist-ctl/verifypn/warning_fix
Created by
Søren Moss Nielsen
and last modified
- Get this branch:
- bzr branch lp:~tapaal-dist-ctl/verifypn/warning_fix
Members of
Distributed Czero Team
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
-
Diff: 11 lines (+1/-0)1 file modifiedCTLParser/CTLParser_v2.cpp (+1/-0)
Branch information
Recent revisions
- 96. By Søren Moss Nielsen <email address hidden>
-
Added the return statement to resolve the warning in line 496. This statement is unreachable.
- 95. By Jiri Srba <email address hidden>
-
Merged in branch verifypn/
new_deadlocksup port adding deadlock support. - 94. By Jiri Srba <email address hidden>
-
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>
-
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>
-
merged in branch verifypn/
escapeKey_ issue_fix fixing the parsing
of escape characters in CTL queries
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)
- Stacked on:
- lp:~verifypn-maintainers/verifypn/trunk