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

Created by Søren Moss Nielsen on 2016-08-29 and last modified on 2016-08-29
Get this branch:
bzr branch lp:~tapaal-dist-ctl/verifypn/new_deadlocksupport
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

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

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.