Tree: 7faa8d1efb

main

modeltype

overwrites

remove_unnecessary_guards

yaml_config_changes

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '7faa8d1efb'

${ noResults }

Commit Graph

6 Commits (7faa8d1efb461153d051d86748bbfdde56cd9293)

Author	SHA1	Message	Date
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	5955bb9791	isNextTo formulas for doors	11 months ago
sp	6f541c1bc2	moved capitalize util to PrismPrinter	11 months ago
sp	9ea5c0194d	add slip and lava formulas this also adds a disjunction over all conditional checks	11 months ago
sp	7f8e195412	added methods for formulas with conditions	11 months ago
sp	9f03a14347	init PrismFormulaPrinter first attempt to enforce DRY for formulas in PrismModulesPrinter	11 months ago