Created by Frederik Bønneland on 2017-03-02 and last modified on 2017-03-07
Get this branch:
bzr branch lp:~verifypn-stub/verifypn/trace-search
Members of verifypn-stub can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information


Recent revisions

155. By Frederik Bønneland on 2017-03-07

added help text line for trace search

154. By Frederik Bønneland on 2017-03-06

added better flag options for trace search and console messages

153. By Frederik Bønneland on 2017-03-02

Trace search branch

152. By Jiri Srba <email address hidden> on 2016-12-16

changed version number to 2.1

151. By Jiri Srba on 2016-12-15

added documentation for rules A, B, C, D, E

150. By Jiri Srba on 2016-12-15

changed version number and updated copyright until 2017

149. By Peter Gjøl Jensen on 2016-12-14

fixed statistics formatting for GUI

148. By Peter Gjøl Jensen on 2016-12-13

added check for pnml-tag in root of xml document

147. By Peter Gjøl Jensen on 2016-12-13

now rejects nets not exported as PNML

146. By Peter Gjøl Jensen on 2016-12-13

added missing override

Branch metadata

Branch format:
Branch format 7
Repository format:
Bazaar repository format 2a (needs bzr 1.16 or later)
This branch contains Public information 
Everyone can see this information.