~tapaal-contributor/tapaal/engine-option-matrix-dev : changes

~tapaal-contributor/tapaal/engine-option-matrix-dev » Changes from revision 1084

From Revision 1084 to 1065

Rev	Summary	Authors	Date
1084	Remove more debug lines Remove more debug lines	ptaankvist at gmail	3 years ago
1083	Remove debug lines Remove debug lines	ptaankvist at gmail	3 years ago
1082	Add EngineOption for EG or AF with net degree > 2 Add EngineOption for EG or AF with net degree > 2	ptaankvist at gmail	3 years ago
1081	Merge with trunk Merge with trunk	ptaankvist at gmail	3 years ago
1080	add game as option for the engines and merge with trunk add game as option for the engines and merge with trunk	ptaankvist at gmail	3 years ago
1079	Use max function when finding highest degree Use max function when finding highest degree	ptaankvist at gmail	3 years ago
1078	Clean up and making members final/static Clean up and making members final/static	ptaankvist at gmail	3 years ago
1077	merge with trunk merge with trunk	ptaankvist at gmail	3 years ago
1076	merge with trunk merge with trunk	ptaankvist at gmail	3 years ago
1075	merge with trunk merge with trunk	ptaankvist at gmail	3 years ago
1074	Add function for retrieving highest net degree and use this ... Add function for retrieving highest net degree and use this in queryDialog	ptaankvist at gmail	3 years ago
1073	Added option for deadlock with net degree greater than 2 Added option for deadlock with net degree greater than 2	ptaankvist at gmail	3 years ago
1072	comment out untimed engine for now comment out untimed engine for now	ptaankvist at gmail	3 years ago
1071	Adding EngineSupportOptions file Adding EngineSupportOptions file	ptaankvist at gmail	3 years ago
1070	Take into consideration whether the net is timed or not Take into consideration whether the net is timed or not	ptaankvist at gmail	3 years ago
1069	Make engine options class where the different options the en... Make engine options class where the different options the engines support are stored. Use this class in QueryDialog	ptaankvist at gmail	3 years ago
1068	Merged branch lp:~yrke/tapaal/fix-1887512-SharedPlaceWithTok... Merged branch lp:~yrke/tapaal/fix-1887512-SharedPlaceWithToken Fixes bug #1887512	Kenneth Yrke Jørgens...	3 years ago
1067	merged in lp:~yrke/tapaal/cleanup-PNO-namingAndInterface ref... merged in lp:~yrke/tapaal/cleanup-PNO-namingAndInterface refactoring animator and drawing and adding global net properties timed/game	Jiri Srba	3 years ago
1066	merged in lp:~yrke/tapaal/update-versioncheckurl fixing URL ... merged in lp:~yrke/tapaal/update-versioncheckurl fixing URL to version check	Jiri Srba	3 years ago
1065	merged in lp:~tapaal-contributor/tapaal/statistics-position- merged in lp:~tapaal-contributor/tapaal/statistics-position-resets-1884365 fixing position of statistics pannel after execution of removal of orphan transitions/places	Jiri Srba	3 years ago

Older »