Minigrid2PRISM

Commit Graph

Author	SHA1	Message	Date
sp	8cc2b0c4da	portable objects are now traversable This is also changes keys to not be dropable anymore.	10 months ago
sp	43aebc463c	add nonmovement action to modules This is needed to correctly shield when staying at a certain place should not be allowed	10 months ago
sp	7d7649bd06	include all action with indices	10 months ago
sp	92d7d11daa	switched most tabs to two whitespaces in output	11 months ago
sp	d8c7e73a32	fixed some issues with formulas and semicolons	11 months ago
sp	54af53e039	print player structs	11 months ago
sp	cdd9611f8b	removed viewVariable	11 months ago
sp	6de02b7ab8	moved PrismModulesPrinter methods to private	11 months ago
sp	ff0369cfb1	added move module as arbiter	11 months ago
sp	9be03f2701	summary commit This adds: - slippery turn actions - agent name to set of actions map - modules for faultyBehaviour	11 months ago
sp	c6f7bb27be	added slippery turn actions	11 months ago
sp	ea9d61ddd5	added slippery movement updates This also: - adds direction update helpers - adds probIntended to PrismModulesPrinter - removes dead code	11 months ago
sp	3999e778fe	added turn actions for robots also removed some old methods	11 months ago
sp	4d548f9502	first steps towards robots modules This includes: - PrismFormulaPrinter.print takes agentName as argument - added formulas for goals, isnextto, portableobjects - added movement helper for deterministic movement - removed enforceOneWays (for now)	11 months ago
sp	ca70595b58	WIP major rework of PrismModulesPrinter will probably get squashed, otw summary in later commit	11 months ago
Thomas Knoll	c6cb060448	m2p sticky behavior	11 months ago
Thomas Knoll	401b23fedd	parsing fault prob	11 months ago
Thomas Knoll	7cdbff0970	added const to config + const prop handling	12 months ago
Thomas Knoll	707d4051f0	changed slippery position, added index in config	1 year ago
Thomas Knoll	33b738a420	minor changes to init struct handling and adversary handling	1 year ago
Thomas Knoll	e4cddbe9de	init struct handling changs	1 year ago
Thomas Knoll	351a2d3663	added dore handling	1 year ago
Thomas Knoll	b16e348acb	continued key support	1 year ago
Thomas Knoll	d42c62e713	changed key handling	1 year ago
Thomas Knoll	0d8b5bc0c2	added module config added overwrite some fixes	1 year ago
Thomas Knoll	42d0f4d6d9	changed to yaml config	1 year ago
Thomas Knoll	0a0d836968	added config print	1 year ago
Thomas Knoll	83e68bbad3	added keys and doors to walkable tiles changed key init value handling	1 year ago
sp	85d0cbc81f	initial commit after modifications for Importance Driven Testing	1 year ago

29 Commits (main)