Labels Milestones

New Issue

Allow Explicit Translation #5

Open

opened 12 months ago by sp · 0 comments

sp commented 12 months ago

Owner

We should allow the direct translation to .tra and .lab files.

Note that this would mean that we'd need to also produce a .stateval file when combining with (symbolic) shielding.

We should allow the direct translation to `.tra` and `.lab` files. Note that this would mean that we'd need to also produce a .stateval file when combining with (symbolic) shielding.

sp added the

enhancement

label 12 months ago

Sign in to join this conversation.

No Branch/Tag Specified

Branches Tags

main

modeltype

overwrites

remove_unnecessary_guards

yaml_config_changes

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

1 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 issue currently doesn't have any dependencies.

Write Preview

Loading…

Cancel

Save

There is no content yet.