Tree: 88f5e2e4fd

main

modeltype

overwrites

remove_unnecessary_guards

yaml_config_changes

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '88f5e2e4fd'

${ noResults }

Commit Graph

9 Commits (88f5e2e4fd9a05c08b48c74d5bcafcdc52b306ee)

Author	SHA1	Message	Date
sp	82849e5f67	changed NOFAULT constant	12 months ago
sp	7d7649bd06	include all action with indices	12 months 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	12 months ago
sp	bb2bef9b04	updates is a vector of update	1 year ago
sp	7faa8d1efb	added actionId and update typedefs	1 year ago
sp	6f541c1bc2	moved capitalize util to PrismPrinter	1 year ago
sp	7f8e195412	added methods for formulas with conditions	1 year ago
Thomas Knoll	e4cddbe9de	init struct handling changs	1 year ago
sp	85d0cbc81f	initial commit after modifications for Importance Driven Testing	1 year ago