 sp
|
e65a46e99a
|
fixed indentation
|
10 months ago |
 Stefan Pranger
|
a57420a4ab
|
Merge pull request 'Remove Unnecessary Guards and Formulas' (#13) from remove_unnecessary_guards into main
Reviewed-on: #13
|
11 months ago |
|
sp
|
46b4d5f9f3
|
adapted call to PrismModulesPrinter
|
11 months ago |
|
sp
|
76d4295f73
|
removed printing of unnecessary formulas
|
11 months ago |
|
sp
|
92d7d11daa
|
switched most tabs to two whitespaces in output
|
11 months ago |
|
sp
|
34a399972d
|
print certain movement guards only when necessary
|
11 months ago |
|
Stefan Pranger
|
c485844e1d
|
Merge pull request 'Update of Yaml Config and Config Parsing' (#10) from yaml_config_changes into main
Reviewed-on: #10
|
11 months ago |
 Thomas Knoll
|
acd1a17082
|
renamed index
|
11 months ago |
|
Thomas Knoll
|
4141e9f104
|
fixed config print of labels
|
11 months ago |
|
Thomas Knoll
|
78c42f034e
|
overwrite indices as vector
|
11 months ago |
|
Thomas Knoll
|
5a94f004fb
|
added exampleconfig
|
11 months ago |
|
Thomas Knoll
|
91dcfb400e
|
renamed action to command
|
11 months ago |
|
Thomas Knoll
|
aad118cf62
|
config parsing for probabilities
|
11 months ago |
|
Thomas Knoll
|
74645d95b3
|
basic support for probabiliteis in config
|
11 months ago |
|
sp
|
edcab9c0a3
|
removed unused options from cli option parsing
Note: Some of these functionalities might return in the future
|
11 months ago |
|
Stefan Pranger
|
ba13faa3ae
|
Merge pull request 'Switched to colAgent and rowAgent' (#9) from small_fixes into main
Reviewed-on: #9
|
11 months ago |
|
sp
|
bac91e7b5d
|
fixed bug in west slippery updates
|
11 months ago |
|
sp
|
0a1f5ac405
|
switched to col and row instead of x and y
|
11 months ago |
|
sp
|
b50355deb9
|
x and y start at 1
|
11 months ago |
|
sp
|
7e932200ca
|
fixed additional semicolon in CannotSlip Formulas
|
11 months ago |
|
sp
|
d8c7e73a32
|
fixed some issues with formulas and semicolons
|
11 months ago |
|
sp
|
7e5c86ba41
|
include algorithm in cell.cpp
|
11 months ago |
|
Stefan Pranger
|
4299598465
|
Merge pull request 'Include vscode in gitignore' (#6) from add_vscode_to_gitignore into main
Reviewed-on: #6
|
11 months ago |
|
sp
|
27470e63dd
|
include vscode in gitignore
|
11 months ago |
|
Stefan Pranger
|
7a2ea4b8bb
|
Merge pull request 'Overhaul' (#3) from tempestpyadaption into main
Reviewed-on: #3
|
11 months ago |
|
Stefan Pranger
|
4abe0eaa86
|
Merge pull request 'Refactoring of Prism Output' (#1) from adversaries_and_refactoring into tempestpyadaption
Reviewed-on: #1
|
11 months ago |
|
sp
|
54af53e039
|
print player structs
|
11 months ago |
|
sp
|
2ae37d0bc9
|
removed unused function
|
11 months ago |
|
sp
|
8d33f43c7e
|
refactored arbiter for smgs
|
11 months ago |
|
sp
|
6cfa9a619b
|
include agent stuck action for faultyBehaviour
|
11 months ago |
|
sp
|
cdd9611f8b
|
removed viewVariable
|
11 months ago |
|
sp
|
6de02b7ab8
|
moved PrismModulesPrinter methods to private
|
11 months ago |
|
sp
|
48dcee2a59
|
small cleanup
|
11 months ago |
|
sp
|
aca9ee719c
|
removed unused code
|
11 months ago |
|
sp
|
ff0369cfb1
|
added move module as arbiter
|
11 months ago |
|
sp
|
9be03f2701
|
summary commit
This adds:
- slippery turn actions
- agent name to set of actions map
- modules for faultyBehaviour
|
11 months ago |
|
sp
|
a8ac3098a7
|
default formulas to false
This will be changed to remove the unnecessary guards instead
|
11 months ago |
|
sp
|
2b7d5bc9a9
|
removed dead code
|
11 months ago |
|
sp
|
c6f7bb27be
|
added slippery turn actions
|
11 months ago |
|
sp
|
8cf91e700c
|
WIP: changed probabilities in main for testing
|
11 months ago |
|
sp
|
ea9d61ddd5
|
added slippery movement updates
This also:
- adds direction update helpers
- adds probIntended to PrismModulesPrinter
- removes dead code
|
11 months ago |
|
sp
|
8c6a2bf327
|
moved probIntended to Grid members
|
11 months ago |
|
sp
|
bb2bef9b04
|
updates is a vector of update
|
11 months ago |
|
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
|
47f14bdc23
|
removed debug output
|
11 months ago |
|
sp
|
5bea12f780
|
create formulas with relative offset for portable objects
|
11 months ago |
|
sp
|
14e6375877
|
faultyProbability is float
|
11 months ago |
|
sp
|
13974739d9
|
commit to (col, row)
|
11 months ago |
|
sp
|
3999e778fe
|
added turn actions for robots
also removed some old methods
|
11 months ago |
