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

Rasmus Tollund

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