Created by Lasse S. Jensen on 2017-08-06 and last modified on 2017-08-06
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

Distributed Czero Team

Recent revisions

185. By Lasse S. Jensen on 2017-08-06

added the remaining failes

184. By Lasse S. Jensen on 2017-08-06

Switched sequential CTL engine out with a parallel one

183. By Jiri Srba on 2017-06-22

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

182. By Jiri Srba on 2017-06-02

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

181. By Jiri Srba <email address hidden> on 2017-05-17

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

180. By Jiri Srba on 2017-05-15

fixed help menu in the main file

179. By Jiri Srba on 2017-05-13

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

178. By Jiri Srba on 2017-05-08

one more fix for sequential processing

177. By Jiri Srba on 2017-05-08

updated the timeouts and trapping signals

176. By Jiri Srba <email address hidden> on 2017-05-08

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:
This branch contains Public information 
Everyone can see this information.