[acl2/acl2] 18c2b2: Add some theorems to X86ISA.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 18c2b2b179dd38c01dfd62d53f77738a893c168a
https://github.com/acl2/acl2/commit/18c2b2b179dd38c01dfd62d53f77738a893c168a
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-10 (Tue, 10 Oct 2017)

Changed paths:
M books/projects/x86isa/machine/x86-paging.lisp

Log Message:
-----------
Add some theorems to X86ISA.

These say that 64-BIT-MODEP is preserved under certain state changing
operations.


Commit: 72df3528c1b0252b7ed06b5d8714ae0548aa025d
https://github.com/acl2/acl2/commit/72df3528c1b0252b7ed06b5d8714ae0548aa025d
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-12 (Thu, 12 Oct 2017)

Changed paths:
M axioms.lisp
M books/acl2s/cgen/top.lisp
M books/doc/relnotes.lisp
M books/system/doc/acl2-doc.lisp
M books/xdoc/top.lisp
M books/xdoc/topics.lisp
M defuns.lisp
M doc.lisp
M futures-raw.lisp
M history-management.lisp
M interface-raw.lisp
M ld.lisp
M translate.lisp

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


Commit: e5bcf986b4e0d6cc3c704a43098ecb6bfc418752
https://github.com/acl2/acl2/commit/e5bcf986b4e0d6cc3c704a43098ecb6bfc418752
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2017-10-12 (Thu, 12 Oct 2017)

Changed paths:
M books/build/jenkins/build-multi.sh
M books/centaur/defrstobj/defrstobj.lisp
M books/doc/relnotes.lisp

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


Compare: https://github.com/acl2/acl2/compare/e762b0cce894...e5bcf986b4e0

[GitHub]

Branch: refs/heads/master