[acl2/acl2] 61461c: Improve introductory documentation of X86ISA.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 61461c04f21e7ca3c9ab4377679ad68ba866a45e
https://github.com/acl2/acl2/commit/61461c04f21e7ca3c9ab4377679ad68ba866a45e
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-01-08 (Mon, 08 Jan 2018)

Changed paths:
M books/projects/x86isa/doc.lisp

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

As discussed with Shilpi Goel.


Commit: 9c76e3ab59184368b7a5e17a7a2481e293ad22cd
https://github.com/acl2/acl2/commit/9c76e3ab59184368b7a5e17a7a2481e293ad22cd
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-01-08 (Mon, 08 Jan 2018)

Changed paths:
M books/projects/x86isa/machine/physical-memory.lisp

Log Message:
-----------
Fix documentation.

Now that the top-level memory functions have changed, due to the addition of
segmentation.


Commit: 294b50ec28ead3dc2ae69c4e6247ae0c7b22ba72
https://github.com/acl2/acl2/commit/294b50ec28ead3dc2ae69c4e6247ae0c7b22ba72
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-01-08 (Mon, 08 Jan 2018)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
Start X86ISA release notes.


Commit: fefb6f860a293c04af69e81e503d59e0c6ee612c
https://github.com/acl2/acl2/commit/fefb6f860a293c04af69e81e503d59e0c6ee612c
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-01-08 (Mon, 08 Jan 2018)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
Add a link to the books release notes.


Commit: 8081b834cac311050994e9f645b4afa242e3f44c
https://github.com/acl2/acl2/commit/8081b834cac311050994e9f645b4afa242e3f44c
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-01-08 (Mon, 08 Jan 2018)

Changed paths:
M books/projects/x86isa/machine/instructions/push-and-pop.lisp

Log Message:
-----------
Remove some stray text from X86ISA documentation of PUSH.


Commit: 3823a468ad76cbe6d29c371d34a728258fc3cad7
https://github.com/acl2/acl2/commit/3823a468ad76cbe6d29c371d34a728258fc3cad7
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-01-08 (Mon, 08 Jan 2018)

Changed paths:
M books/projects/x86isa/acl2-customization.lsp
M books/projects/x86isa/machine/acl2-customization.lsp
M books/projects/x86isa/machine/instructions/acl2-customization.lsp
M books/projects/x86isa/machine/instructions/fp/acl2-customization.lsp
M books/projects/x86isa/portcullis/acl2-customization.lsp
M books/projects/x86isa/proofs/acl2-customization.lsp
M books/projects/x86isa/proofs/codewalker-examples/acl2-customization.lsp
M books/projects/x86isa/proofs/dataCopy/acl2-customization.lsp
M books/projects/x86isa/proofs/dissertation-examples/acl2-customization.lsp
M books/projects/x86isa/proofs/factorial/acl2-customization.lsp
M books/projects/x86isa/proofs/popcount/acl2-customization.lsp
M books/projects/x86isa/proofs/powOfTwo/acl2-customization.lsp
M books/projects/x86isa/proofs/utilities/acl2-customization.lsp
M books/projects/x86isa/proofs/utilities/programmer-level-mode/acl2-customization.lsp
M books/projects/x86isa/proofs/utilities/system-level-mode/acl2-customization.lsp
M books/projects/x86isa/proofs/utilities/system-level-mode/paging/acl2-customization.lsp
M books/projects/x86isa/proofs/wordCount/acl2-customization.lsp
M books/projects/x86isa/proofs/zeroCopy/marking-mode/acl2-customization.lsp
M books/projects/x86isa/proofs/zeroCopy/non-marking-mode/acl2-customization.lsp
M books/projects/x86isa/tools/execution/acl2-customization.lsp
M books/projects/x86isa/tools/execution/examples/acl2-customization.lsp
M books/projects/x86isa/tools/execution/examples/dataCopy/acl2-customization.lsp
M books/projects/x86isa/tools/execution/examples/documenting-edge-cases/acl2-customization.lsp
M books/projects/x86isa/tools/execution/examples/micro-sat/acl2-customization.lsp
M books/projects/x86isa/tools/execution/examples/nop-sequence/acl2-customization.lsp
M books/projects/x86isa/tools/execution/examples/wc/acl2-customization.lsp
M books/projects/x86isa/tools/execution/examples/zeroCopy/acl2-customization.lsp
M books/projects/x86isa/tools/execution/exec-loaders/acl2-customization.lsp
M books/projects/x86isa/tools/execution/exec-loaders/elf/acl2-customization.lsp
M books/projects/x86isa/tools/execution/exec-loaders/mach-o/acl2-customization.lsp
M books/projects/x86isa/tools/execution/instrument/acl2-customization.lsp
M books/projects/x86isa/utils/acl2-customization.lsp

Log Message:
-----------
Improve X86ISA ACL2 customization files.

Add (RESET-PREHISTORY) at the end of each, so that :UBT 1 does not "undo" the
customization (e.g. current package).


Compare: https://github.com/acl2/acl2/compare/3e08678d2b92...3823a468ad76

[GitHub]

Branch: refs/heads/master