verifypn

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

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

Owner:
Distributed Czero Team
Project:
verifypn
Status:
Merged

Recent revisions

188. By Lasse S. Jensen

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

187. By Jiri Srba

fixed inhibitor arcs behaviour when removing preset in successor generator

186. By Lasse S. Jensen

fixed issue with printing the query

185. By Søren Moss Nielsen <email address hidden>

Fixed bug

184. By Søren Moss Nielsen <email address hidden>

1st attempt to set expression strings to structure

183. By Søren Moss Nielsen <email address hidden>

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

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

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.