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

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

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

Fixed issue with escape keys in query file

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

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

updated script

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

updated tapaal.sh script

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

fix in a 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.