sp
/
Minigrid2PRISM
1
0
Fork 0
Code Issues 5 Pull Requests 1 Projects Releases Wiki Activity
87 Commits
5 Branches
0 Tags
992 KiB
Branch: remove_unnecessary_guards
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'remove_unnecessary_guards'
${ noResults }
Commit Graph

87 Commits (remove_unnecessary_guards)
 

Author SHA1 Message Date
sp 46b4d5f9f3 adapted call to PrismModulesPrinter
12 months ago
sp 76d4295f73 removed printing of unnecessary formulas
12 months ago
sp 92d7d11daa switched most tabs to two whitespaces in output
12 months ago
sp 34a399972d print certain movement guards only when necessary
12 months ago
Stefan Pranger c485844e1d Merge pull request 'Update of Yaml Config and Config Parsing' (#10) from yaml_config_changes into main
12 months ago
Thomas Knoll acd1a17082 renamed index
12 months ago
Thomas Knoll 4141e9f104 fixed config print of labels
12 months ago
Thomas Knoll 78c42f034e overwrite indices as vector
12 months ago
Thomas Knoll 5a94f004fb added exampleconfig
12 months ago
Thomas Knoll 91dcfb400e renamed action to command
12 months ago
Thomas Knoll aad118cf62 config parsing for probabilities
12 months ago
Thomas Knoll 74645d95b3 basic support for probabiliteis in config
12 months ago
sp edcab9c0a3 removed unused options from cli option parsing
12 months ago
Stefan Pranger ba13faa3ae Merge pull request 'Switched to colAgent and rowAgent' (#9) from small_fixes into main
12 months ago
sp bac91e7b5d fixed bug in west slippery updates
12 months ago
sp 0a1f5ac405 switched to col and row instead of x and y
12 months ago
sp b50355deb9 x and y start at 1
12 months ago
sp 7e932200ca fixed additional semicolon in CannotSlip Formulas
12 months ago
sp d8c7e73a32 fixed some issues with formulas and semicolons
12 months ago
sp 7e5c86ba41 include algorithm in cell.cpp
12 months ago
Stefan Pranger 4299598465 Merge pull request 'Include vscode in gitignore' (#6) from add_vscode_to_gitignore into main
12 months ago
sp 27470e63dd include vscode in gitignore
12 months ago
Stefan Pranger 7a2ea4b8bb Merge pull request 'Overhaul' (#3) from tempestpyadaption into main
12 months ago
Stefan Pranger 4abe0eaa86 Merge pull request 'Refactoring of Prism Output' (#1) from adversaries_and_refactoring into tempestpyadaption
12 months ago
sp 54af53e039 print player structs
12 months ago
sp 2ae37d0bc9 removed unused function
12 months ago
sp 8d33f43c7e refactored arbiter for smgs
12 months ago
sp 6cfa9a619b include agent stuck action for faultyBehaviour
12 months ago
sp cdd9611f8b removed viewVariable
12 months ago
sp 6de02b7ab8 moved PrismModulesPrinter methods to private
12 months ago
sp 48dcee2a59 small cleanup
12 months ago
sp aca9ee719c removed unused code
12 months ago
sp ff0369cfb1 added move module as arbiter
12 months ago
sp 9be03f2701 summary commit
12 months ago
sp a8ac3098a7 default formulas to false
12 months ago
sp 2b7d5bc9a9 removed dead code
12 months ago
sp c6f7bb27be added slippery turn actions
12 months ago
sp 8cf91e700c WIP: changed probabilities in main for testing
12 months ago
sp ea9d61ddd5 added slippery movement updates
12 months ago
sp 8c6a2bf327 moved probIntended to Grid members
12 months ago
sp bb2bef9b04 updates is a vector of update
12 months ago
sp 389963a7c4 added formulas to check where a robot can slip to
12 months ago
sp 48a90f0739 added walls to PrismFormulaPrinter
12 months ago
sp 47f14bdc23 removed debug output
12 months ago
sp 5bea12f780 create formulas with relative offset for portable objects
12 months ago
sp 14e6375877 faultyProbability is float
12 months ago
sp 13974739d9 commit to (col, row)
12 months ago
sp 3999e778fe added turn actions for robots
12 months ago
sp 7faa8d1efb added actionId and update typedefs
12 months ago
sp 4d548f9502 first steps towards robots modules
12 months ago