lp:~verifypn-stub/verifypn/trace-search

Branch merges

Propose for merging

No branches dependent on this one.

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Related blueprints

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