Tree: bb2bef9b04

main

modeltype

overwrites

remove_unnecessary_guards

yaml_config_changes

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'bb2bef9b04'

${ noResults }

Commit Graph

46 Commits (bb2bef9b04acc1f5f420ab54777b9c6bf1f97164)

Author	SHA1	Message	Date
sp	bb2bef9b04	updates is a vector of update	12 months ago
sp	389963a7c4	added formulas to check where a robot can slip to	12 months ago
sp	48a90f0739	added walls to PrismFormulaPrinter also renamed methods for surrounding cells to adjacent	12 months ago
sp	47f14bdc23	removed debug output	12 months ago
sp	5bea12f780	create formulas with relative offset for portable objects	12 months ago
sp	14e6375877	faultyProbability is float	12 months ago
sp	13974739d9	commit to (col, row)	12 months ago
sp	3999e778fe	added turn actions for robots also removed some old methods	12 months ago
sp	7faa8d1efb	added actionId and update typedefs	12 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)	12 months ago
sp	26a7808eeb	fix carrying variable	12 months ago
sp	ca70595b58	WIP major rework of PrismModulesPrinter will probably get squashed, otw summary in later commit	12 months ago
sp	5955bb9791	isNextTo formulas for doors	12 months ago
sp	6f541c1bc2	moved capitalize util to PrismPrinter	12 months ago
sp	8766110068	getType method for cell	12 months ago
sp	1729ba7c56	summary commit added cells for balls more formulas in PrismFormulaPrinter	12 months ago
sp	d07807de61	added PrismFormulaPrinter to CMakeLists	12 months ago
sp	b0b9dd61dc	add agent and adv to floor cells	12 months ago
sp	9ea5c0194d	add slip and lava formulas this also adds a disjunction over all conditional checks	12 months ago
sp	7f8e195412	added methods for formulas with conditions	12 months ago
sp	9f03a14347	init PrismFormulaPrinter first attempt to enforce DRY for formulas in PrismModulesPrinter	12 months ago
Thomas Knoll	c6cb060448	m2p sticky behavior	12 months ago
Thomas Knoll	401b23fedd	parsing fault prob	12 months ago
Thomas Knoll	aa01214097	added turn propabilty	12 months ago
Thomas Knoll	dfb882edb3	changed propbabilty handling	12 months ago
Thomas Knoll	e0c1807c71	probability changes	1 year ago
Thomas Knoll	55c14a3c23	added view adaptions	1 year ago
Thomas Knoll	0e16bb8e44	some renames	1 year ago
Thomas Knoll	7cdbff0970	added const to config + const prop handling	1 year 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	4dd5e07d02	added model type inference	1 year ago
Thomas Knoll	e4cddbe9de	init struct handling changs	1 year ago
Thomas Knoll	13f7910dd7	some error handling for config yaml parsing	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	6cec9a910b	added direction to slippery tile turns	1 year ago
Thomas Knoll	b5a470ee0c	changed configuration comment handling	1 year ago
Thomas Knoll	ca8e8d6281	removed configuration debug prints	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	56e569890e	added basic config parser added unlocked door handling	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