New Pull Request

Overhaul #3

Merged

sp merged 63 commits from tempestpyadaption into main 11 months ago

sp commented 11 months ago

Owner

There is no content yet.

sp added 63 commits 11 months ago

83e68bbad3 added keys and doors to walkable tiles

changed key init value handling

56e569890e added basic config parser

added unlocked door handling

0a0d836968 added config print

42d0f4d6d9 changed to yaml config

0d8b5bc0c2 added module config

added overwrite
some fixes

ca8e8d6281 removed configuration debug prints

b5a470ee0c changed configuration comment handling

6cec9a910b added direction to slippery tile turns

d42c62e713 changed key handling

b16e348acb continued key support

351a2d3663 added dore handling

13f7910dd7 some error handling for config yaml parsing

e4cddbe9de init struct handling changs

4dd5e07d02 added model type inference

33b738a420 minor changes to init struct handling

and adversary handling

707d4051f0 changed slippery position, added index in config

7cdbff0970 added const to config + const prop handling

0e16bb8e44 some renames

55c14a3c23 added view adaptions

e0c1807c71 probability changes

dfb882edb3 changed propbabilty handling

aa01214097 added turn propabilty

401b23fedd parsing fault prob

c6cb060448 m2p sticky behavior

1b81737ce7 add yaml-cpp as dependency

9f03a14347 init PrismFormulaPrinter

first attempt to enforce DRY for formulas in PrismModulesPrinter

7f8e195412 added methods for formulas with conditions

9ea5c0194d add slip and lava formulas

this also adds a disjunction over all conditional checks

b0b9dd61dc add agent and adv to floor cells

d07807de61 added PrismFormulaPrinter to CMakeLists

1729ba7c56 summary commit

added cells for balls
more formulas in PrismFormulaPrinter

8766110068 getType method for cell

6f541c1bc2 moved capitalize util to PrismPrinter

5955bb9791 isNextTo formulas for doors

ca70595b58 WIP major rework of PrismModulesPrinter

will probably get squashed, otw summary in later commit

26a7808eeb fix carrying variable

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)

7faa8d1efb added actionId and update typedefs

3999e778fe added turn actions for robots

also removed some old methods

13974739d9 commit to (col, row)

14e6375877 faultyProbability is float

5bea12f780 create formulas with relative offset for portable objects

47f14bdc23 removed debug output

48a90f0739 added walls to PrismFormulaPrinter

also renamed methods for surrounding cells to adjacent

389963a7c4 added formulas to check where a robot can slip to

bb2bef9b04 updates is a vector of update

8c6a2bf327 moved probIntended to Grid members

ea9d61ddd5 added slippery movement updates

This also:
 - adds direction update helpers
 - adds probIntended to PrismModulesPrinter
 - removes dead code

8cf91e700c WIP: changed probabilities in main for testing

c6f7bb27be added slippery turn actions

2b7d5bc9a9 removed dead code

a8ac3098a7 default formulas to false

This will be changed to remove the unnecessary guards instead

9be03f2701 summary commit

This adds:
 - slippery turn actions
 - agent name to set of actions map
 - modules for faultyBehaviour

ff0369cfb1 added move module as arbiter

aca9ee719c removed unused code

48dcee2a59 small cleanup

6de02b7ab8 moved PrismModulesPrinter methods to private

cdd9611f8b removed viewVariable

6cfa9a619b include agent stuck action for faultyBehaviour

8d33f43c7e refactored arbiter for smgs

2ae37d0bc9 removed unused function

54af53e039 print player structs

4abe0eaa86 Merge pull request 'Refactoring of Prism Output' (#1 ) from adversaries_and_refactoring into tempestpyadaption

Reviewed-on: #1

sp merged commit 7a2ea4b8bb into main 11 months ago

sp referenced this issue from a commit 11 months ago

Merge pull request 'Overhaul' (#3) from tempestpyadaption into main

The pull request has been merged as 7a2ea4b8bb.

No reviewers

No Label

No Milestone

No project

No Assignees

1 Participants

Notifications

Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.