Labels Milestones

New Pull Request

Add Functionality to Change Generated Code #17

Open

tknoll wants to merge 19 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 19 Files Changed 19

tknoll commented 11 months ago

Collaborator

There is no content yet.

tknoll added 3 commits 11 months ago

d9679da353 basic overwrite guard and update

7ac8c7e798 more overwrites

f2a909dd05 exampleconfig

tknoll commented 11 months 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 11 months ago

c27ad7f45e changed example for module overwrite

tknoll added 1 commit 11 months ago

aa18f672bd fixed guard overwrite

tknoll added 1 commit 11 months ago

941c2d22a5 added example guards and formula

tknoll added 1 commit 11 months ago

9d8eeaf8ae added example probabilities

tknoll added 1 commit 11 months ago

0fe0887761 added example for module

sp force-pushed overwrites from 0fe0887761 to ceb3d93f40 11 months ago

sp force-pushed overwrites from ceb3d93f40 to acf32fbb98 11 months ago

sp changed title from overwrites to Add Functionality to Change Generated Code 11 months ago

sp commented 11 months ago

Owner

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

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

sp added 3 commits 11 months 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 11 months ago

Towards First Stable Version #16

sp commented 11 months 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 11 months 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 11 months ago

83560bfc73 fixed conditional movement w.r.t doors

a459232e59 temporarily made all states init

sp added 2 commits 11 months ago

2e51e51320 introduced new slippery tiles

44caa12fe0 added logic for new slippery tiles

sp added 1 commit 11 months ago

122ba1c5f0 do not model idle states

sp added 1 commit 11 months ago

3a34e0d065 properly calculate probabilites for new slippery

tiles

sp added 1 commit 5 months ago

c11e85e191 adversaries are allowed to move on goal

sp added 1 commit 4 months ago

b816a1badb changed CMake to assume yaml cpp is installed

This pull request has changes conflicting with the target branch.

util/PrismModulesPrinter.h

util/cell.h

util/Grid.cpp

util/Grid.h

util/MinigridGrammar.h

util/PrismFormulaPrinter.cpp

util/PrismModulesPrinter.cpp

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.