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

AJupiter Family: AJupiter, AJupiterExtended, AJupiterImplXJupiter #44

Open
5 of 9 tasks
hengxin opened this issue Dec 30, 2018 · 0 comments
Open
5 of 9 tasks

AJupiter Family: AJupiter, AJupiterExtended, AJupiterImplXJupiter #44

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

Comments

@hengxin
Copy link
Owner

hengxin commented Dec 30, 2018 •
edited
Loading

AJupiter, AJupiterExtended, AJupiterImplXJupiter:

  • commXJ in which module: AJupiterExtended? or AJupiterImplXJupiter?
  • AJupiterExtended to extend AJupiter
  • Simplify DoEx in AJupiterExtended
  • Simplify DoImpl in AJupiterImplXJupiter
  • Using DoInt structure:
    • +DoOpImpl
    • +ClientPerformImpl
    • +ServerPerformImpl
  • Using xFormCopCopsShift for COTs
@hengxin hengxin added refactor refactor code/file model check to model check Rearrangement rearrangement of folder structures, including file rename todo TODO labels Dec 30, 2018
@hengxin hengxin self-assigned this Dec 30, 2018
@hengxin hengxin added priority:normal with normal priority priority:high with high priority and removed priority:normal with normal priority labels Dec 31, 2018
@hengxin hengxin pinned this issue Dec 31, 2018
@hengxin hengxin unpinned this issue Feb 1, 2019
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees

@hengxin hengxin

Labels
model check to model check priority:high with high 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