lp:~tapaal-dist-ctl/verifypn/arithmeticExpressions

Created by Søren Moss Nielsen on 2017-06-12 and last modified on 2017-06-22
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

Owner:
Distributed Czero Team
Project:
verifypn
Status:
Merged

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