Labels Milestones

New Pull Request

Add Functionality to Change Generated Code #17

Open

tknoll wants to merge 22 commits from overwrites into modeltype

pull from: overwrites

merge into: sp:modeltype

sp:main

sp:modeltype

sp:remove_unnecessary_guards

sp:yaml_config_changes

Conversation 4 Commits 22 Files Changed 20

tknoll commented 2 years ago

Collaborator

There is no content yet.

tknoll added 3 commits 2 years ago

d9679da353 basic overwrite guard and update

7ac8c7e798 more overwrites

f2a909dd05 exampleconfig

tknoll commented 2 years ago

Poster

Collaborator

Added individual overwrite of guards and updates:
Config Entry Guard overwrite:

 - action: "[Agent_turn_left]"
        guard: "viewAgent=3"
        overwrite: True
        index: 1

Config Entry Update overwrite:

 - action: "[Agent_turn_left]"
        update: "(viewAgent'=3)"
        overwrite: True
        index: 3

Added overwrite of model type:

properties:
  - property: "modeltype"
    value: "smg"

Added overwrite of entire modules:
Config Entry:

modules:
  - module: "Agent"
    overwrite: True
    module_text: | 
      module newModule
      ...
      endmodule 

Replaces module with text in module text

Added individual overwrite of guards and updates: Config Entry Guard overwrite: ``` - action: "[Agent_turn_left]" guard: "viewAgent=3" overwrite: True index: 1 ``` Config Entry Update overwrite: ``` - action: "[Agent_turn_left]" update: "(viewAgent'=3)" overwrite: True index: 3 ``` Added overwrite of model type: ``` properties: - property: "modeltype" value: "smg" ``` Added overwrite of entire modules: Config Entry: ``` modules: - module: "Agent" overwrite: True module_text: | module newModule ... endmodule ``` Replaces module with text in module text

tknoll added 1 commit 2 years ago

c27ad7f45e changed example for module overwrite

tknoll added 1 commit 2 years ago

aa18f672bd fixed guard overwrite

tknoll added 1 commit 2 years ago

941c2d22a5 added example guards and formula

tknoll added 1 commit 2 years ago

9d8eeaf8ae added example probabilities

tknoll added 1 commit 2 years ago

0fe0887761 added example for module

sp force-pushed overwrites from 0fe0887761 to ceb3d93f40 2 years ago

sp force-pushed overwrites from ceb3d93f40 to acf32fbb98 2 years ago

sp changed title from overwrites to Add Functionality to Change Generated Code 2 years ago

sp commented 2 years ago

Owner

Rebased on top of #16 and force pushed...

Rebased on top of #16 and force pushed...

sp added 3 commits 2 years ago

0ef98bf005 guard for IsCarrying formulae

3949611e83 change door interaction labels to '_toggle_'

801dc5b210 only print goal related actions if there is one

sp referenced this pull request 2 years ago

Towards First Stable Version #16

sp commented 2 years ago

Owner

I think changing a module should also be annotated in the resulting PRISM file, just like formulas are annotated by a comment.

I think changing a module should also be annotated in the resulting PRISM file, just like formulas are annotated by a comment.

sp commented 2 years ago

Owner

Changing modules might lead to issues with the init struct, I think we need a similar features to change that too.

Changing modules might lead to issues with the init struct, I think we need a similar features to change that too.

sp added 2 commits 2 years ago

83560bfc73 fixed conditional movement w.r.t doors

a459232e59 temporarily made all states init

sp added 2 commits 2 years ago

2e51e51320 introduced new slippery tiles

44caa12fe0 added logic for new slippery tiles

sp added 1 commit 2 years ago

122ba1c5f0 do not model idle states

sp added 1 commit 2 years ago

3a34e0d065 properly calculate probabilites for new slippery

tiles

sp added 1 commit 1 year ago

c11e85e191 adversaries are allowed to move on goal

sp added 1 commit 1 year ago

b816a1badb changed CMake to assume yaml cpp is installed

sp added 3 commits 6 months ago

8c38856faf started to add non-directional slippery tiles

1d43c1d506 added slippery tiles and fixed faulty probability passing

a3413fe990 changed behaviour when moving against wall

This pull request has changes conflicting with the target branch.

util/PrismFormulaPrinter.cpp

util/PrismModulesPrinter.cpp

util/PrismModulesPrinter.h

util/cell.h

util/Grid.cpp

util/Grid.h

util/MinigridGrammar.h

Sign in to join this conversation.

Reviewers

Request review

No reviewers

Labels

Apply labels

Clear labels

bug
Something is not working duplicate
This issue or pull request already exists enhancement
New feature help wanted
Need some help invalid
Something is wrong question
More information is needed wontfix
This won't be fixed

No Label bug duplicate enhancement help wanted invalid question wontfix

Milestone

Set milestone

Clear milestone

No items

No Milestone

Projects

Clear projects

No project

Assignees

Assign users

Clear assignees

No Assignees

2 Participants

Notifications

Subscribe

Due Date

The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Write Preview

Loading…

Cancel

Save

There is no content yet.