lp:~verifypn-maintainers/verifypn/competition2015reachabilityBounds

Created by Jiri Srba on 2015-04-28 and last modified on 2015-05-07
Get this branch:
bzr branch lp:~verifypn-maintainers/verifypn/competition2015reachabilityBounds
Members of VerifyPN Maintainers can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
VerifyPN Maintainers
Project:
verifypn
Status:
Development

Recent revisions

64. By Jiri Srba on 2015-05-07

removed competition scripts - moved to trunk

63. By Jiri Srba on 2015-04-28

fixed a problem with missing generation of queries that are not used

62. By Jiri Srba on 2015-04-28

seems to be working correclty now

61. By Jiri Srba on 2015-04-28

almost working, missing to get the information about place bound

60. By Jiri Srba on 2015-04-28

working on evaluating expressions

59. By Jiri Srba on 2015-04-28

working

58. By Jiri Srba on 2015-04-28

parser working, needs to finish the evaluator now

57. By Jiri Srba on 2015-04-28

working on reachability bound

56. By Jiri Srba on 2015-04-23

work on competition parsing, fix in paranthesis around conjunction/disjunction, deletion in object for lpsolve,
shell scripts for MCC2015, parsing now avoids using iterator
when not necessary (fixes issues with linux)

55. By Jiri Srba on 2014-07-09

changed XML parser so that it preservers the order of tags
some output formating changes too

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.