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

Related bugs

Related blueprints

Branch information

Owner:
tapaal-dist
Project:
verifypn
Status:
Development

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