Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Jupiter: Code Formatting #49

Open
1 of 5 tasks
hengxin opened this issue Jan 2, 2019 · 0 comments
Open
1 of 5 tasks

Jupiter: Code Formatting #49

hengxin opened this issue Jan 2, 2019 · 0 comments
Assignees
@hengxin
Labels
formatting code formatting, including indentation, comments, and so priority:low with low priority refactor refactor code/file todo TODO

Comments

@hengxin
Copy link
Owner

hengxin commented Jan 2, 2019 •
edited
Loading

Jupiter: Code Formatting:

  • Indentation
    • IF THEN ELSE
    • LET IN (Left Aligned)
  • DoOp, ClientPerform, ServerPerform in the same logic group (Not required for all modules)
  • Do(c), Rev(c), SRev in the same logic group
@hengxin hengxin added refactor refactor code/file todo TODO priority:low with low priority formatting code formatting, including indentation, comments, and so labels Jan 2, 2019
@hengxin hengxin self-assigned this Jan 2, 2019
hengxin pushed a commit that referenced this issue Jan 3, 2019
Wei-jupiter-tla: code formatting, see Issue #49; TypeOK models fixed …
47a7bb8 
…for CONSTANT Msg
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@hengxin hengxin

Labels
formatting code formatting, including indentation, comments, and so priority:low with low priority refactor refactor code/file todo TODO
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@hengxin