Created by Søren Moss Nielsen and last modified
Get this branch:
bzr branch lp:~tapaal-dist-ctl/verifypn/arithmeticExpressions
Members of Distributed Czero Team can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Distributed Czero Team

Recent revisions

188. By Lasse S. Jensen on 2017-06-22

integer-sum and integer-product are now correctly parsed in verifypn

187. By Jiri Srba on 2017-06-19

fixed inhibitor arcs behaviour when removing preset in successor generator

186. By Lasse S. Jensen on 2017-06-18

fixed issue with printing the query

185. By Søren Moss Nielsen <email address hidden> on 2017-06-12

Fixed bug

184. By Søren Moss Nielsen <email address hidden> on 2017-06-12

1st attempt to set expression strings to structure

183. By Søren Moss Nielsen <email address hidden> on 2017-06-10

parsing arithmetic expressions to strings complete. Also added evaluatable data structure for the expressions

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

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.