Skip to content
New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in to your account

Jump to bottom

Add Documentation #6

Open
alxest opened this issue Dec 16, 2017 · 4 comments
Open

Add Documentation #6

alxest opened this issue Dec 16, 2017 · 4 comments

Comments

@alxest
Copy link

alxest commented Dec 16, 2017

  • Add documentation for "imm"
  • Add documentation for "cmem"
@jeehoonkang
Copy link
Contributor

jeehoonkang commented Dec 16, 2017 •
edited
Loading

Would you please elaborate the documentation bugs you are reporting?

@alxest
Copy link
Author

alxest commented Dec 16, 2017 •
edited
Loading

  • In Memory.v's future_imm, it would be better to clarify what "imm" means.
  • In Makefile, it would be better to clarify what "cmem" means.

(@jeehoonkang said "imm" is "immediate" and "cmem" might be "c memory model")

@alxest alxest changed the title Documentation things Add Documentation Dec 16, 2017
@alxest
Copy link
Author

alxest commented Dec 18, 2017 •
edited
Loading

  • In Thread.v's promise_step, it would be better to clarify what pf means.
    Is it something like promise-free? I can find the definition (PF: pf = andb (Memory.op_kind_is_lower kind) (negb released)) but I can't think of its motivation (spec).

@alxest
Copy link
Author

alxest commented Dec 24, 2017 •
edited
Loading

  • In respectful5.v, it would be better to clarify what clo, rclo and grespectful means.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@jeehoonkang @alxest