[acl2/acl2] ff1967: Improve X86ISA documentation.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: ff196746f9cd74d9a44e83bad03bfcf2820ee7c1
https://github.com/acl2/acl2/commit/ff196746f9cd74d9a44e83bad03bfcf2820ee7c1
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-08-17 (Thu, 17 Aug 2017)

Changed paths:
M books/projects/x86isa/machine/instructions/x86-push-and-pop-instructions.lisp
M books/projects/x86isa/portcullis/sharp-dot-constants.lisp
M books/projects/x86isa/utils/constants.lisp
M books/projects/x86isa/utils/decoding-utilities.lisp

Log Message:
-----------
Improve X86ISA documentation.

Mainly, add or improve references to suitable parts of Intel and AMD manual, to
ease inspection and validation.


Commit: e62efa3a0de88fdc0a255f7eacb30c6c273e847f
https://github.com/acl2/acl2/commit/e62efa3a0de88fdc0a255f7eacb30c6c273e847f
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-08-17 (Thu, 17 Aug 2017)

Changed paths:
M books/system/doc/acl2-doc.lisp

Log Message:
-----------
Merge branch 'master'.


Compare: https://github.com/acl2/acl2/compare/44c9a249ec2f...e62efa3a0de8

[GitHub]

Branch: refs/heads/master