verifypn

lp:~tapaal-dist/verifypn/verifypnLTSmin

Created by Jakob Dyhr on 2015-04-06 and last modified on 2016-04-27

Get this branch:: bzr branch lp:~tapaal-dist/verifypn/verifypnLTSmin

Members of tapaal-dist 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:: tapaal-dist

Project:: verifypn

Status:: Abandoned

Recent revisions

149. By Søren Moss Nielsen <email address hidden> on 2016-04-27: Fixed competition output
148. By Jakob Dyhr on 2016-03-31: Removed silly print
147. By Jakob Dyhr on 2016-03-31: Terminate the program when LTSmin hash table is declared full.
146. By Jakob Dyhr on 2015-06-25: Group count quick fix
145. By Mads Johannsen on 2015-05-27: Added article
144. By Mads Johannsen on 2015-05-27: Directory cleanup and readme
143. By Isabella Kaufmann on 2015-05-26: only correct data
142. By Isabella Kaufmann on 2015-05-26: added raw experimetns data
141. By Isabella Kaufmann on 2015-05-07: fix igen
140. By Isabella Kaufmann on 2015-05-07: new deadlock check models

»

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