sp
/
Minigrid2PRISM
1
0
Fork 0
Code Issues 5 Pull Requests 1 Projects Releases Wiki Activity
Labels Milestones
New Pull Request

Add Functionality to Change Generated Code #17

Open
tknoll wants to merge 19 commits from overwrites into modeltype
Conversation 4 Commits 19 Files Changed 19
tknoll commented 10 months ago
Collaborator
There is no content yet.
tknoll added 3 commits 10 months ago
tknoll commented 10 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 10 months ago
tknoll added 1 commit 10 months ago
tknoll added 1 commit 10 months ago
tknoll added 1 commit 10 months ago
tknoll added 1 commit 10 months ago
sp force-pushed overwrites from 0fe0887761 to ceb3d93f40 10 months ago
sp force-pushed overwrites from ceb3d93f40 to acf32fbb98 10 months ago
sp changed title from overwrites to Add Functionality to Change Generated Code 10 months ago
sp commented 10 months ago
Owner

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

Rebased on top of #16 and force pushed...
sp added 3 commits 10 months ago
sp commented 10 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 10 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 10 months ago
sp added 2 commits 10 months ago
sp added 1 commit 10 months ago
sp added 1 commit 10 months ago
sp added 1 commit 4 months ago
sp added 1 commit 3 months ago
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
Due Date

No due date set.

Dependencies

This pull request currently doesn't have any dependencies.

Write Preview
Loading…
Cancel
Save
There is no content yet.
Delete Branch 'overwrites'

Deleting a branch is permanent. It CANNOT be undone. Continue?

No
Yes