lp:~verifypn-maintainers/verifypn/trunk
Created by
Jonas Finnemann Jensen
and last modified
- Get this branch:
- bzr branch lp:~verifypn-maintainers/verifypn/trunk
Members of
VerifyPN Maintainers
can upload to this branch. Log in for directions.
Branch merges
Propose for merging
No branches
dependent on this one.
Branch information
Recent revisions
- 97. By Jiri Srba
-
merged in branch verifypn/
logicaloperator _change that changes
the names of binary operators to competiton standard and adds
not-equal operator - 96. By Jiri Srba <email address hidden>
-
merged in branch verifypn/
warning_ fix fixing a compilation warning - 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)