branches with status:
Name Status Last Modified Last Commit
lp:~tapaal-dist-ctl/verifypn/par-ctl 1 Development 2017-08-06 17:10:51 UTC 2017-08-06
185. added the remaining failes

Author: Lasse S. Jensen
Revision Date: 2017-08-06 17:09:52 UTC

added the remaining failes

lp:~tapaal-dist-ctl/verifypn/modelDatabase 1 Development 2017-03-13 08:31:46 UTC 2017-03-13
299. Added a few new queries to the two te...

Author: Søren Moss Nielsen
Revision Date: 2017-03-13 08:31:46 UTC

Added a few new queries to the two test models

lp:~tapaal-dist-ctl/verifypn/master 1 Development 2017-01-27 04:56:34 UTC 2017-01-27
330. added new parse files

Author: Søren Moss Nielsen
Revision Date: 2017-01-27 04:56:34 UTC

added new parse files

lp:~tapaal-dist-ctl/verifypn/paper-dist 1 Development 2016-10-21 14:55:21 UTC 2016-10-21
330. Results from paper added

Author: <email address hidden>
Revision Date: 2016-10-21 14:55:21 UTC

Results from paper added

lp:~tapaal-dist-ctl/verifypn/framework_game 1 Development 2016-05-21 14:49:20 UTC 2016-05-21
278. Fixed choise for XML format or consol...

Author: Søren Moss Nielsen
Revision Date: 2016-05-21 14:49:20 UTC

Fixed choise for XML format or console in main

lp:~tapaal-dist-ctl/verifypn/verifypn-dist-ctl 1 Development 2016-05-20 08:02:05 UTC 2016-05-20
365. Fixes

Author: Søren Moss Nielsen
Revision Date: 2016-05-20 08:02:05 UTC

Fixes

lp:~tapaal-dist-ctl/verifypn/Master_printer_merge 1 Development 2016-05-15 19:35:21 UTC 2016-05-15
266. Peter added printers, but use of poin...

Author: Peter Fogh
Revision Date: 2016-05-15 19:35:21 UTC

Peter added printers, but use of pointer do not work jet

lp:~tapaal-dist-ctl/verifypn/CTLGame 1 Development 2016-05-12 15:34:58 UTC 2016-05-12
106. Added game interaction in XML format ...

Author: Søren Moss Nielsen
Revision Date: 2016-05-12 15:34:58 UTC

Added game interaction in XML format for player (config part only)

lp:~tapaal-dist-ctl/verifypn/CZeroExperiments 1 Development 2016-05-11 13:48:40 UTC 2016-05-11
112. Updated partition evaluation scripts

Author: <email address hidden>
Revision Date: 2016-05-11 13:48:40 UTC

Updated partition evaluation scripts

lp:~tapaal-dist-ctl/verifypn/SmolkaLocalExperiments 1 Development 2016-05-11 11:45:44 UTC 2016-05-11
109. Removed CZero assignment

Author: <email address hidden>
Revision Date: 2016-05-11 11:45:44 UTC

Removed CZero assignment

lp:~tapaal-dist-ctl/verifypn/verifypnTestFramework 1 Development 2016-05-04 12:15:14 UTC 2016-05-04
290. Fixed cancel-SLURM-jobs

Author: <email address hidden>
Revision Date: 2016-05-04 12:15:14 UTC

Fixed cancel-SLURM-jobs

lp:~tapaal-dist-ctl/verifypn/parallel-lockfree 1 Development 2016-04-20 12:34:44 UTC 2016-04-20
284. Disabled multi invokation of Upperbou...

Author: Søren Moss Nielsen
Revision Date: 2016-04-20 12:34:44 UTC

Disabled multi invokation of Upperbounds queries

lp:~tapaal-dist-ctl/verifypn/SeqCTLCompression 1 Development 2016-04-13 09:47:12 UTC 2016-04-13
258. merge optimisations from trunk

Author: Samuel Pastva
Revision Date: 2016-04-13 09:47:12 UTC

merge optimisations from trunk

113 of 13 results