Labels Milestones

New Pull Request

Remove Unnecessary Guards and Formulas #13

Merged

sp merged 4 commits from remove_unnecessary_guards into main 10 months ago

Conversation 0 Commits 4 Files Changed 4

sp commented 11 months ago

Owner

This removes some formulas that would default to = false; and the according guards.

This removes some formulas that would default to ` = false;` and the according guards.

sp added 3 commits 11 months ago

d7a3914a94 print certain movement guards only when necessary

f23459c4ce switched most tabs to two whitespaces in output

ef1a133c2d removed printing of unnecessary formulas

sp added 1 commit 11 months ago

9190869fc6 adapted call to PrismModulesPrinter

sp force-pushed remove_unnecessary_guards from 9190869fc6 to 46b4d5f9f3 10 months ago

sp merged commit a57420a4ab into main 10 months ago

sp referenced this issue from a commit 10 months ago

Merge pull request 'Remove Unnecessary Guards and Formulas' (#13) from remove_unnecessary_guards into main

The pull request has been merged as a57420a4ab.

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

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

Write Preview

Loading…

Cancel

Save

There is no content yet.