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: Specification #38

Open
13 tasks
hengxin opened this issue Dec 15, 2018 · 0 comments
Open
13 tasks

Jupiter: Specification #38

hengxin opened this issue Dec 15, 2018 · 0 comments
Assignees
@hengxin
Labels
model check to model check priority:low with low priority Rearrangement rearrangement of folder structures, including file rename refactor refactor code/file todo TODO

Comments

@hengxin
Copy link
Owner

hengxin commented Dec 15, 2018 •
edited
Loading

Jupiter: Specification

To extract common specs in separate modules:

  • EC

    • Maybe in JupiterInterface

  • QC

    • Maybe in JupiterInterface

  • WLSpec

    • Maybe in JupiterH

  • SLSpec

    • Write and test it first
    • Maybe in JupiterH

  • CSSync

  • For OT

    • CP1
    • CP2
@hengxin hengxin added refactor refactor code/file model check to model check Rearrangement rearrangement of folder structures, including file rename todo TODO labels Dec 15, 2018
@hengxin hengxin self-assigned this Dec 15, 2018
@hengxin hengxin added the priority:low with low priority label Dec 31, 2018
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@hengxin hengxin

Labels
model check to model check priority:low with low priority Rearrangement rearrangement of folder structures, including file rename refactor refactor code/file todo TODO
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@hengxin