Tree: c27ad7f45e

main

modeltype

overwrites

remove_unnecessary_guards

yaml_config_changes

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from 'c27ad7f45e'

${ noResults }

Commit Graph

10 Commits (c27ad7f45e877cd6bca11fa2b6963deeb20ac668)

Author	SHA1	Message	Date
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	5bea12f780	create formulas with relative offset for portable objects	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	5955bb9791	isNextTo formulas for doors	12 months ago
sp	6f541c1bc2	moved capitalize util to PrismPrinter	12 months ago
sp	1729ba7c56	summary commit added cells for balls more formulas in PrismFormulaPrinter	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