|  Thomas Knoll | aa18f672bd | fixed guard overwrite | 2 years ago | 
				
					
						|  Thomas Knoll | c27ad7f45e | changed example for module overwrite | 2 years ago | 
				
					
						|  Thomas Knoll | f2a909dd05 | exampleconfig | 2 years ago | 
				
					
						|  Thomas Knoll | 7ac8c7e798 | more overwrites | 2 years ago | 
				
					
						|  Thomas Knoll | d9679da353 | basic overwrite guard and update | 2 years ago | 
				
					
						|  sp | 5d373c5cb8 | remove debug printout to std::cout | 2 years ago | 
				
					
						|  sp | 8c5ff31ad3 | NOFAULT is 3 instead of -1 | 2 years ago | 
				
					
						|  sp | 11658eb01f | fixed multiple column row issues | 2 years ago | 
				
					
						|  sp | 370740349c | fixed turn guards regarding IsOnSlippery | 2 years ago | 
				
					
						|  sp | fd2cc9e07f | set defaults for probIntended and faultyProb | 2 years ago | 
				
					
						|  sp | eda22afaa9 | removed some ws | 2 years ago | 
				
					
						|  sp | 12b08ab068 | set modelType based on the amount of agents | 2 years ago | 
				
					
						|  sp | aa6fd9219e | removed GridOptions | 2 years ago | 
				
					
						|  sp | e65a46e99a | fixed indentation | 2 years ago | 
				
					
						|  Stefan Pranger | a57420a4ab | Merge pull request 'Remove Unnecessary Guards and Formulas' (#13) from remove_unnecessary_guards into main Reviewed-on: #13 | 2 years ago | 
				
					
						|  sp | 46b4d5f9f3 | adapted call to PrismModulesPrinter | 2 years ago | 
				
					
						|  sp | 76d4295f73 | removed printing of unnecessary formulas | 2 years ago | 
				
					
						|  sp | 92d7d11daa | switched most tabs to two whitespaces in output | 2 years ago | 
				
					
						|  sp | 34a399972d | print certain movement guards only when necessary | 2 years ago | 
				
					
						|  Stefan Pranger | c485844e1d | Merge pull request 'Update of Yaml Config and Config Parsing' (#10) from yaml_config_changes into main Reviewed-on: #10 | 2 years ago | 
				
					
						|  Thomas Knoll | acd1a17082 | renamed index | 2 years ago | 
				
					
						|  Thomas Knoll | 4141e9f104 | fixed config print of labels | 2 years ago | 
				
					
						|  Thomas Knoll | 78c42f034e | overwrite indices as vector | 2 years ago | 
				
					
						|  Thomas Knoll | 5a94f004fb | added exampleconfig | 2 years ago | 
				
					
						|  Thomas Knoll | 91dcfb400e | renamed action to command | 2 years ago | 
				
					
						|  Thomas Knoll | aad118cf62 | config parsing for probabilities | 2 years ago | 
				
					
						|  Thomas Knoll | 74645d95b3 | basic support for probabiliteis in config | 2 years ago | 
				
					
						|  sp | edcab9c0a3 | removed unused options from cli option parsing Note: Some of these functionalities might return in the future | 2 years ago | 
				
					
						|  Stefan Pranger | ba13faa3ae | Merge pull request 'Switched to colAgent and rowAgent' (#9) from small_fixes into main Reviewed-on: #9 | 2 years ago | 
				
					
						|  sp | bac91e7b5d | fixed bug in west slippery updates | 2 years ago | 
				
					
						|  sp | 0a1f5ac405 | switched to col and row instead of x and y | 2 years ago | 
				
					
						|  sp | b50355deb9 | x and y start at 1 | 2 years ago | 
				
					
						|  sp | 7e932200ca | fixed additional semicolon in CannotSlip Formulas | 2 years ago | 
				
					
						|  sp | d8c7e73a32 | fixed some issues with formulas and semicolons | 2 years ago | 
				
					
						|  sp | 7e5c86ba41 | include algorithm in cell.cpp | 2 years ago | 
				
					
						|  Stefan Pranger | 4299598465 | Merge pull request 'Include vscode in gitignore' (#6) from add_vscode_to_gitignore into main Reviewed-on: #6 | 2 years ago | 
				
					
						|  sp | 27470e63dd | include vscode in gitignore | 2 years ago | 
				
					
						|  Stefan Pranger | 7a2ea4b8bb | Merge pull request 'Overhaul' (#3) from tempestpyadaption into main Reviewed-on: #3 | 2 years ago | 
				
					
						|  Stefan Pranger | 4abe0eaa86 | Merge pull request 'Refactoring of Prism Output' (#1) from adversaries_and_refactoring into tempestpyadaption Reviewed-on: #1 | 2 years ago | 
				
					
						|  sp | 54af53e039 | print player structs | 2 years ago | 
				
					
						|  sp | 2ae37d0bc9 | removed unused function | 2 years ago | 
				
					
						|  sp | 8d33f43c7e | refactored arbiter for smgs | 2 years ago | 
				
					
						|  sp | 6cfa9a619b | include agent stuck action for faultyBehaviour | 2 years ago | 
				
					
						|  sp | cdd9611f8b | removed viewVariable | 2 years ago | 
				
					
						|  sp | 6de02b7ab8 | moved PrismModulesPrinter methods to private | 2 years ago | 
				
					
						|  sp | 48dcee2a59 | small cleanup | 2 years ago | 
				
					
						|  sp | aca9ee719c | removed unused code | 2 years ago | 
				
					
						|  sp | ff0369cfb1 | added move module as arbiter | 2 years ago | 
				
					
						|  sp | 9be03f2701 | summary commit This adds:
 - slippery turn actions
 - agent name to set of actions map
 - modules for faultyBehaviour | 2 years ago | 
				
					
						|  sp | a8ac3098a7 | default formulas to false This will be changed to remove the unnecessary guards instead | 2 years ago |