Tree: 8cf91e700c

main

modeltype

overwrites

remove_unnecessary_guards

yaml_config_changes

Branches Tags

${ item.name }

Create tag ${ searchTerm }

Create branch ${ searchTerm }

from '8cf91e700c'

${ noResults }

Commit Graph

9 Commits (8cf91e700cd59c6bfa571e475041799ebf2312ec)

Author	SHA1	Message	Date
sp	389963a7c4	added formulas to check where a robot can slip to	11 months ago
sp	48a90f0739	added walls to PrismFormulaPrinter also renamed methods for surrounding cells to adjacent	11 months ago
sp	5bea12f780	create formulas with relative offset for portable objects	11 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)	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