verifypn

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

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: VerifyPN Maintainers

Project:: verifypn

Status:: Abandoned

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.

Subscribers

VerifyPN Maintainers