sp
/
Minigrid2PRISM
1
0
Fork 0
Code Issues 5 Pull Requests 1 Projects Releases Wiki Activity
105 Commits
5 Branches
0 Tags
1.0 MiB
Tree: 0fe0887761
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from '0fe0887761'
${ noResults }
Commit Graph

85 Commits (0fe0887761634f0f70ce1f22954f0f632bacce18)

Author SHA1 Message Date
Thomas Knoll 0fe0887761 added example for module
2 years ago
Thomas Knoll aa18f672bd fixed guard overwrite
2 years ago
Thomas Knoll 7ac8c7e798 more overwrites
2 years ago
Thomas Knoll d9679da353 basic overwrite guard and update
2 years ago
sp 8c5ff31ad3 NOFAULT is 3 instead of -1
2 years ago
sp 11658eb01f fixed multiple column row issues
2 years ago
sp 370740349c fixed turn guards regarding IsOnSlippery
2 years ago
sp 12b08ab068 set modelType based on the amount of agents
2 years ago
sp aa6fd9219e removed GridOptions
2 years ago
sp 46b4d5f9f3 adapted call to PrismModulesPrinter
2 years ago
sp 76d4295f73 removed printing of unnecessary formulas
2 years ago
sp 92d7d11daa switched most tabs to two whitespaces in output
2 years ago
sp 34a399972d print certain movement guards only when necessary
2 years ago
Thomas Knoll acd1a17082 renamed index
2 years ago
Thomas Knoll 4141e9f104 fixed config print of labels
2 years ago
Thomas Knoll 78c42f034e overwrite indices as vector
2 years ago
Thomas Knoll 91dcfb400e renamed action to command
2 years ago
Thomas Knoll 74645d95b3 basic support for probabiliteis in config
2 years ago
sp bac91e7b5d fixed bug in west slippery updates
2 years ago
sp 0a1f5ac405 switched to col and row instead of x and y
2 years ago
sp b50355deb9 x and y start at 1
2 years ago
sp 7e932200ca fixed additional semicolon in CannotSlip Formulas
2 years ago
sp d8c7e73a32 fixed some issues with formulas and semicolons
2 years ago
sp 7e5c86ba41 include algorithm in cell.cpp
2 years ago
sp 54af53e039 print player structs
2 years ago
sp 2ae37d0bc9 removed unused function
2 years ago
sp 8d33f43c7e refactored arbiter for smgs
2 years ago
sp 6cfa9a619b include agent stuck action for faultyBehaviour
2 years ago
sp cdd9611f8b removed viewVariable
2 years ago
sp 6de02b7ab8 moved PrismModulesPrinter methods to private
2 years ago
sp 48dcee2a59 small cleanup
2 years ago
sp aca9ee719c removed unused code
2 years ago
sp ff0369cfb1 added move module as arbiter
2 years ago
sp 9be03f2701 summary commit
2 years ago
sp a8ac3098a7 default formulas to false
2 years ago
sp 2b7d5bc9a9 removed dead code
2 years ago
sp c6f7bb27be added slippery turn actions
2 years ago
sp ea9d61ddd5 added slippery movement updates
2 years ago
sp 8c6a2bf327 moved probIntended to Grid members
2 years ago
sp bb2bef9b04 updates is a vector of update
2 years ago
sp 389963a7c4 added formulas to check where a robot can slip to
2 years ago
sp 48a90f0739 added walls to PrismFormulaPrinter
2 years ago
sp 47f14bdc23 removed debug output
2 years ago
sp 5bea12f780 create formulas with relative offset for portable objects
2 years ago
sp 14e6375877 faultyProbability is float
2 years ago
sp 13974739d9 commit to (col, row)
2 years ago
sp 3999e778fe added turn actions for robots
2 years ago
sp 7faa8d1efb added actionId and update typedefs
2 years ago
sp 4d548f9502 first steps towards robots modules
2 years ago
sp 26a7808eeb fix carrying variable
2 years ago