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

Created by Tobias Skovgaard Jepsen on 2016-03-31 and last modified on 2016-04-13
Get this branch:
bzr branch lp:~tapaal-dist-ctl/verifypn/SeqCTLCompression
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:
Development

Recent revisions

258. By Samuel Pastva on 2016-04-13

merge optimisations from trunk

257. By Samuel Pastva on 2016-04-11

Always on compression

256. By Tobias Skovgaard Jepsen on 2016-04-04

Better memory management on insert and createMarking

255. By Tobias Skovgaard Jepsen on 2016-04-04

Implemented insert on StateSet and ported createMarking to method

254. By Tobias Skovgaard Jepsen on 2016-04-01

Implemented find on StateSet

253. By Tobias Skovgaard Jepsen on 2016-03-31

Comment

252. By Tobias Skovgaard Jepsen on 2016-03-31

Fixed namespace issue

251. By Tobias Skovgaard Jepsen on 2016-03-31

Ported Encoder methods

250. By Tobias Skovgaard Jepsen on 2016-03-31

Readability improvements to Encoder.h

249. By Tobias Skovgaard Jepsen on 2016-03-31

Few readability fixes

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
Stacked on:
lp:~verifypn-maintainers/verifypn/trunk
This branch contains Public information 
Everyone can see this information.