verifypn

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

No branches dependent on this one.

Related bugs

Link a bug report

Related blueprints

Branch information

Owner:: Distributed Czero Team

Project:: verifypn

Status:: Abandoned

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.

Subscribers

Distributed Czero...