[acl2/acl2] 54c712: Extend JMP-near/short-relative to 32-bit mode.

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 54c7129179cdf99fe64a5ed2e73ab3b98dbb7b3a
https://github.com/acl2/acl2/commit/54c7129179cdf99fe64a5ed2e73ab3b98dbb7b3a
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-13 (Fri, 13 Apr 2018)

Changed paths:
M books/projects/x86isa/machine/instructions/jump-and-loop.lisp
M books/projects/x86isa/machine/x86.lisp

Log Message:
-----------
Extend JMP-near/short-relative to 32-bit mode.


Commit: 0abb401e3adf5a82befa33a20eb56a46a757a9ca
https://github.com/acl2/acl2/commit/0abb401e3adf5a82befa33a20eb56a46a757a9ca
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-13 (Fri, 13 Apr 2018)

Changed paths:
M books/projects/x86isa/machine/instructions/move.lisp

Log Message:
-----------
Improve fault handling in LEA.

Throw #UD when the effective address computation results in a register instead
of a memory address.


Commit: 6e2dd898f3c1bb5aa385952dcc248bf1153f47cb
https://github.com/acl2/acl2/commit/6e2dd898f3c1bb5aa385952dcc248bf1153f47cb
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-13 (Fri, 13 Apr 2018)

Changed paths:
M books/kestrel/apt/restrict.lisp
M books/kestrel/apt/tailrec.lisp

Log Message:
-----------
Improve implementation of APT transformations.

Rename some functions.

Re-organize the documentation of the implementation a bit.


Commit: e6880686bf19d04c49f874e3b58ec3fd3f16251b
https://github.com/acl2/acl2/commit/e6880686bf19d04c49f874e3b58ec3fd3f16251b
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-13 (Fri, 13 Apr 2018)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
Update release notes.


Commit: 950f0ef8f2e849c9e8dc0f1f0867edbf9eb6b252
https://github.com/acl2/acl2/commit/950f0ef8f2e849c9e8dc0f1f0867edbf9eb6b252
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-13 (Fri, 13 Apr 2018)

Changed paths:
M books/kestrel/utilities/bytes.lisp

Log Message:
-----------
Add a few more fixtypes for unsigned and signed bytes.


Compare: https://github.com/acl2/acl2/compare/617694e62483...950f0ef8f2e8

[GitHub]

Branch: refs/heads/master