~tapaal-dist-ctl/verifypn/verifypnTestFramework : changes

~tapaal-dist-ctl/verifypn/verifypnTestFramework » Changes from revision 290

From Revision 290 to 271

Rev	Summary	Authors	Date
290	Fixed cancel-SLURM-jobs Fixed cancel-SLURM-jobs	tobiasj1991 at gmail	8 years ago
289	Fixed, hopefully Fixed, hopefully	tobiasj1991 at gmail	8 years ago
288	Cleaning up Cleaning up	tobiasj1991 at gmail	8 years ago
287	merge merge	MCC-Computer	8 years ago
286	slurm files slurm files	MCC-Computer	8 years ago
285	Script for HouseConstruction-PT-002-CTLCardinality-6 inconsi... Script for HouseConstruction-PT-002-CTLCardinality-6 inconsistency bug	tobiasj1991 at gmail	8 years ago
284	Merge Merge	tobiasj1991 at gmail	8 years ago
283	Python consistency check and added build map structure Python consistency check and added build map structure	tobiasj1991 at gmail	8 years ago
282	Fixed wrong folder move Fixed wrong folder move	tobiasj1991 at gmail	8 years ago
281	Fixed wrong folder move Fixed wrong folder move	tobiasj1991 at gmail	8 years ago
280	Fixed input error. Fixed input error.	tobiasj1991 at gmail	8 years ago
279	Fixed input error. Fixed input error.	tobiasj1991 at gmail	8 years ago
278	Added confirmation. Added confirmation.	tobiasj1991 at gmail	8 years ago
277	Minor framework update Minor framework update	MCC-Computer	8 years ago
276	Minor fix Minor fix	Søren Moss Nielsen	8 years ago
275	Minor fix Minor fix	MCC-Computer	8 years ago
274	Minor fix Minor fix	Søren Moss Nielsen	8 years ago
273	Minor fix Minor fix	Søren Moss Nielsen	8 years ago
272	Added onthefly support Added onthefly support	Søren Moss Nielsen	8 years ago
271	Added onthefly template Added onthefly template	Søren Moss Nielsen	8 years ago

Older »