Created by Jiri Srba and last modified
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

VerifyPN Maintainers

Recent revisions

64. By Jiri Srba

removed competition scripts - moved to trunk

63. By Jiri Srba

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

62. By Jiri Srba

seems to be working correclty now

61. By Jiri Srba

almost working, missing to get the information about place bound

60. By Jiri Srba

working on evaluating expressions

59. By Jiri Srba


58. By Jiri Srba

parser working, needs to finish the evaluator now

57. By Jiri Srba

working on reachability bound

56. By Jiri Srba

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

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