verifypn

lp:verifypn/u2.0

Created by Jiri Srba on 2016-09-10 and last modified on 2016-09-18

Only Jiri Srba can upload to this branch. If you are Jiri Srba please log in for upload directions.

No branches dependent on this one.

98. By Jiri Srba on 2016-09-18: released version 2.0.0
97. By Jiri Srba on 2016-09-08: 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> 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

This branch contains Public information

Everyone can see this information.