lp:verifypn/u2.1

Created by Jiri Srba on 2017-09-20 and last modified on 2017-10-05
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

Owner:
VerifyPN Maintainers
Project:
verifypn
Status:
Development

Recent revisions

187. By Jiri Srba on 2017-10-05

Released version of u2.1.0

186. By Jiri Srba <email address hidden> on 2017-09-21

fixed a bug in encoder of the engine

185. By Jiri Srba <email address hidden> on 2017-09-04

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

184. By Jiri Srba <email address hidden> on 2017-08-07

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 on 2017-06-22

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

182. By Jiri Srba on 2017-06-02

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

181. By Jiri Srba <email address hidden> on 2017-05-17

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

180. By Jiri Srba on 2017-05-15

fixed help menu in the main file

179. By Jiri Srba on 2017-05-13

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

178. By Jiri Srba on 2017-05-08

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