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

Created by Søren Moss Nielsen on 2016-09-06 and last modified on 2016-09-06
Get this branch:
bzr branch lp:~tapaal-dist-ctl/verifypn/logicaloperator_change
Members of Distributed Czero Team can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Distributed Czero Team
Project:
verifypn
Status:
Merged

Recent revisions

98. By Søren Moss Nielsen <email address hidden> on 2016-09-06

Added support for the not equal operator in the xml syntax

97. By Søren Moss Nielsen <email address hidden> on 2016-09-06

Changed the xml syntax for the logical operators greather-than and less-than to gt and lt

96. By Jiri Srba <email address hidden> on 2016-08-30

merged in branch verifypn/warning_fix fixing a compilation warning

95. By Jiri Srba <email address hidden> on 2016-08-29

Merged in branch verifypn/new_deadlocksupport adding deadlock support.

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

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
This branch contains Public information 
Everyone can see this information.