sp
							
						 | 
						
							
							
							
								
							
								c11e85e191
								
							
								
							
						 | 
						
							
							
								
								adversaries are allowed to move on goal
							
							
							
							
								
							
							
						 | 
						1 year ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								3a34e0d065
								
							
								
							
						 | 
						
							
							
								
								properly calculate probabilites for new slippery
							
							
							
							
							
							
								
							
							
							tiles 
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								122ba1c5f0
								
							
								
							
						 | 
						
							
							
								
								do not model idle states
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								44caa12fe0
								
							
								
							
						 | 
						
							
							
								
								added logic for new slippery tiles
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								2e51e51320
								
							
								
							
						 | 
						
							
							
								
								introduced new slippery tiles
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								a459232e59
								
							
								
							
						 | 
						
							
							
								
								temporarily made all states init
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								83560bfc73
								
							
								
							
						 | 
						
							
							
								
								fixed conditional movement w.r.t doors
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								801dc5b210
								
							
								
							
						 | 
						
							
							
								
								only print goal related actions if there is one
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								3949611e83
								
							
								
							
						 | 
						
							
							
								
								change door interaction labels to '_toggle_'
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								0ef98bf005
								
							
								
							
						 | 
						
							
							
								
								guard for IsCarrying formulae
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								
								 Thomas Knoll
							
						 | 
						
							
							
							
								
							
								acf32fbb98
								
							
								
							
						 | 
						
							
							
								
								added example for module
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								
								 Thomas Knoll
							
						 | 
						
							
							
							
								
							
								073e1b28e5
								
							
								
							
						 | 
						
							
							
								
								fixed guard overwrite
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								
								 Thomas Knoll
							
						 | 
						
							
							
							
								
							
								88f5e2e4fd
								
							
								
							
						 | 
						
							
							
								
								more overwrites
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								
								 Thomas Knoll
							
						 | 
						
							
							
							
								
							
								df00224661
								
							
								
							
						 | 
						
							
							
								
								basic overwrite guard and update
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								82849e5f67
								
							
								
							
						 | 
						
							
							
								
								changed NOFAULT constant
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								8cc2b0c4da
								
							
								
							
						 | 
						
							
							
								
								portable objects are now traversable
							
							
							
							
							
							
								
							
							
							This is also changes keys to not be dropable anymore. 
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								43aebc463c
								
							
								
							
						 | 
						
							
							
								
								add nonmovement action to modules
							
							
							
							
							
							
								
							
							
							This is needed to correctly shield when staying at a certain place
should not be allowed 
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								7d7649bd06
								
							
								
							
						 | 
						
							
							
								
								include all action with indices
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								bd8bf2eca5
								
							
								
							
						 | 
						
							
							
								
								print collision formula when other agents present
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								cfb0d5da6f
								
							
								
							
						 | 
						
							
							
								
								add done actions for smg models
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								af2ee862e6
								
							
								
							
						 | 
						
							
							
								
								objects are initially not picked up
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								a1ac41b01b
								
							
								
							
						 | 
						
							
							
								
								fix bug with conditional movement formulas
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								ec5480f670
								
							
								
							
						 | 
						
							
							
								
								use init struct
							
							
							
							
							
							
								
							
							
							We do not know the view direction of all of the agents, hence we
iterate over all possible combinations as initial states 
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								4b8444f6aa
								
							
								
							
						 | 
						
							
							
								
								the agent cannot turn in lava
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								ba348a95f2
								
							
								
							
						 | 
						
							
							
								
								fixed bugs in slippery updates
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								969dd87ada
								
							
								
							
						 | 
						
							
							
								
								changed behaviour of slippery tiles
							
							
							
							
								
							
							
						 | 
						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
							
						 | 
						
							
							
							
								
							
								12b08ab068
								
							
								
							
						 | 
						
							
							
								
								set modelType based on the amount of agents
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								 
								sp
							
						 | 
						
							
							
							
								
							
								aa6fd9219e
								
							
								
							
						 | 
						
							
							
								
								removed GridOptions
							
							
							
							
								
							
							
						 | 
						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 | 
					
				
					
						
							
							
								
								 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
							
						 | 
						
							
							
							
								
							
								91dcfb400e
								
							
								
							
						 | 
						
							
							
								
								renamed action to command
							
							
							
							
								
							
							
						 | 
						2 years ago | 
					
				
					
						
							
							
								
								 Thomas Knoll
							
						 | 
						
							
							
							
								
							
								74645d95b3
								
							
								
							
						 | 
						
							
							
								
								basic support for probabiliteis in config
							
							
							
							
								
							
							
						 | 
						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 | 
					
				
					
						
							
							
								 
								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 |