lp:~ragusaen/verifypn/verifypn

Created by Rasmus Tollund and last modified
Get this branch:
bzr branch lp:~ragusaen/verifypn/verifypn
Only Rasmus Tollund can upload to this branch. If you are Rasmus Tollund please log in for upload directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Rasmus Tollund
Project:
verifypn
Status:
Merged

Recent revisions

257. By Rasmus Tollund

Fixed bug with until condition

256. By Rasmus Tollund

Removed .h file from add_libraries

255. By Rasmus Tollund

Removed toBinary and toXML from expressions.[h/cpp]. Also added a couple of _accept for functions that were defined in the .h file.

254. By Rasmus Tollund

Added a binary printer with visitor pattern. I changed the Visitor class to support overriding base class _accepts. This way the classes will default to the base class's _accept definition.

253. By Rasmus Tollund

Added options for tab size and printing new lines

252. By Rasmus Tollund

Converted query XML printing to visitor pattern

251. By Jiri Srba <email address hidden>

merged in lp:~yrke/verifypn/fixed-required-bison-version updateing cmake scripts for bison

250. By Jiri Srba

merged in lp:~tapaal-ltl/verifypn/kbound-fix-ltl fixing problem with k-bound and A true in LTL engine

249. By Jiri Srba <email address hidden>

merged in lp:~tapaal-contributor/verifypn/Fix-partition-id-clash-1939939 fixing id clashes under unfolding

248. By Jiri Srba

merged in lp:~tapaal-ltl/verifypn/fireable-empty-preset-fix fixing fireability predicate for transitions with empty preset

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.

Subscribers