Created by Jiri Srba and last modified
Get this branch:
bzr branch lp:verifypn/u2.1
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

187. By Jiri Srba

Released version of u2.1.0

186. By Jiri Srba <email address hidden>

fixed a bug in encoder of the engine

185. By Jiri Srba <email address hidden>

merged in branch lp:~verifypn-stub/verifypn/substraction-fix fixing n-ary subtractions

184. By Jiri Srba <email address hidden>

merged in the branch lp:~verifypn-stub/verifypn/inhib adding support of stubborn sets
for inhibitor arcs and a number of other fixes and compiles now for windows as well

183. By Jiri Srba

merged in branch lp:~tapaal-dist-ctl/verifypn/arithmeticExpressions
adding arithmetic expressions to CTL queries

182. By Jiri Srba

merged in branch lp:~verifypn-stub/verifypn/short-circut

181. By Jiri Srba <email address hidden>

merged in branch lp:~verifypn-stub/verifypn/ctl-flow

180. By Jiri Srba

fixed help menu in the main file

179. By Jiri Srba

added 2 seconds to each timeout to avoid calling our eengine with timeout 0

178. By Jiri Srba

one more fix for sequential processing

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.