Labels Milestones

New Pull Request

Refactoring of Prism Output #1

Merged

sp merged 38 commits from adversaries_and_refactoring into tempestpyadaption 1 year ago

Conversation 0 Commits 38 Files Changed 13

38 Commits

Author	SHA1	Message	Date
sp	54af53e039	print player structs	1 year ago
sp	2ae37d0bc9	removed unused function	1 year ago
sp	8d33f43c7e	refactored arbiter for smgs	1 year ago
sp	6cfa9a619b	include agent stuck action for faultyBehaviour	1 year ago
sp	cdd9611f8b	removed viewVariable	1 year ago
sp	6de02b7ab8	moved PrismModulesPrinter methods to private	1 year ago
sp	48dcee2a59	small cleanup	1 year ago
sp	aca9ee719c	removed unused code	1 year ago
sp	ff0369cfb1	added move module as arbiter	1 year ago
sp	9be03f2701	summary commit This adds: - slippery turn actions - agent name to set of actions map - modules for faultyBehaviour	1 year ago
sp	a8ac3098a7	default formulas to false This will be changed to remove the unnecessary guards instead	1 year ago
sp	2b7d5bc9a9	removed dead code	1 year ago
sp	c6f7bb27be	added slippery turn actions	1 year ago
sp	8cf91e700c	WIP: changed probabilities in main for testing	1 year ago
sp	ea9d61ddd5	added slippery movement updates This also: - adds direction update helpers - adds probIntended to PrismModulesPrinter - removes dead code	1 year ago
sp	8c6a2bf327	moved probIntended to Grid members	1 year ago
sp	bb2bef9b04	updates is a vector of update	1 year ago
sp	389963a7c4	added formulas to check where a robot can slip to	1 year ago
sp	48a90f0739	added walls to PrismFormulaPrinter also renamed methods for surrounding cells to adjacent	1 year ago
sp	47f14bdc23	removed debug output	1 year ago
sp	5bea12f780	create formulas with relative offset for portable objects	1 year ago
sp	14e6375877	faultyProbability is float	1 year ago
sp	13974739d9	commit to (col, row)	1 year ago
sp	3999e778fe	added turn actions for robots also removed some old methods	1 year ago
sp	7faa8d1efb	added actionId and update typedefs	1 year 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)	1 year ago
sp	26a7808eeb	fix carrying variable	1 year ago
sp	ca70595b58	WIP major rework of PrismModulesPrinter will probably get squashed, otw summary in later commit	1 year ago
sp	5955bb9791	isNextTo formulas for doors	1 year ago
sp	6f541c1bc2	moved capitalize util to PrismPrinter	1 year ago
sp	8766110068	getType method for cell	1 year ago
sp	1729ba7c56	summary commit added cells for balls more formulas in PrismFormulaPrinter	1 year ago
sp	d07807de61	added PrismFormulaPrinter to CMakeLists	1 year ago
sp	b0b9dd61dc	add agent and adv to floor cells	1 year ago
sp	9ea5c0194d	add slip and lava formulas this also adds a disjunction over all conditional checks	1 year ago
sp	7f8e195412	added methods for formulas with conditions	1 year ago
sp	9f03a14347	init PrismFormulaPrinter first attempt to enforce DRY for formulas in PrismModulesPrinter	1 year ago
sp	1b81737ce7	add yaml-cpp as dependency	1 year ago