verifypn

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

Created by Lasse S. Jensen on 2016-03-07 and last modified on 2017-01-27

Members of Distributed Czero Team can upload to this branch. Log in for directions.

No branches dependent on this one.

330. By Søren Moss Nielsen <email address hidden> on 2017-01-27: added new parse files
329. By Søren Moss Nielsen on 2016-10-18: Merge
328. By Søren Moss Nielsen on 2016-10-18: Some message
327. By Søren Moss Nielsen on 2016-10-11: Appear to have fixed error
326. By Tobias Jepsen <email address hidden> on 2016-10-11: Testing scripts
325. By Søren Moss Nielsen on 2016-06-24: Added expname parameter
324. By Søren Moss Nielsen on 2016-06-24: Dist not run exclusively
323. By Søren Moss Nielsen on 2016-06-24: Excluded compile step
322. By Tobias Jepsen <email address hidden> on 2016-06-24: Added more sleeping
321. By Tobias Jepsen <email address hidden> on 2016-06-24: Added more sleeping

This branch contains Public information

Everyone can see this information.