verifypn

lp:~tapaal-dist-ctl/verifypn/par-ctl

Created by Lasse S. Jensen and last modified
Get this branch:
bzr branch lp:~tapaal-dist-ctl/verifypn/par-ctl
Members of Distributed Czero Team can upload to this branch. Log in for directions.

Branch merges

Related bugs

Related blueprints

Branch information

Owner:
Distributed Czero Team
Project:
verifypn
Status:
Abandoned

Recent revisions

185. By Lasse S. Jensen

added the remaining failes

184. By Lasse S. Jensen

Switched sequential CTL engine out with a parallel one

183. By Jiri Srba

merged in branch lp:~tapaal-dist-ctl/verifypn/arithmeticExpressions
adding arithmetic expressions to CTL queries

182. By Jiri Srba

merged in branch lp:~verifypn-stub/verifypn/short-circut

181. By Jiri Srba <email address hidden>

merged in branch lp:~verifypn-stub/verifypn/ctl-flow

180. By Jiri Srba

fixed help menu in the main file

179. By Jiri Srba

added 2 seconds to each timeout to avoid calling our eengine with timeout 0

178. By Jiri Srba

one more fix for sequential processing

177. By Jiri Srba

updated the timeouts and trapping signals

176. By Jiri Srba <email address hidden>

updated competition scripts to kill all processes when received termination signal

Branch metadata

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