[acl2/acl2] 9ea50e: Enable 32-bit use of PUSH/POP g.p.r. in top-level ...
1 view
Skip to first unread message
GitHub
Jan 11, 2018, 1:42:02 AM1/11/18
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 9ea50ee312522a4d25b8ec51d09a0aea1f305dc7
https://github.com/acl2/acl2/commit/9ea50ee312522a4d25b8ec51d09a0aea1f305dc7
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-01-10 (Wed, 10 Jan 2018)
Changed paths:
M books/projects/x86isa/machine/x86.lisp
Log Message:
-----------
Enable 32-bit use of PUSH/POP g.p.r. in top-level dispatch.
Besides extending the semantic functions, the top-level dispatch must be also
modified to no longer stop with an 'unimplementated instruction' error in 32-bit
mode.
Home: https://github.com/acl2/acl2
Commit: 9ea50ee312522a4d25b8ec51d09a0aea1f305dc7
https://github.com/acl2/acl2/commit/9ea50ee312522a4d25b8ec51d09a0aea1f305dc7
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-01-10 (Wed, 10 Jan 2018)
Changed paths:
M books/projects/x86isa/machine/x86.lisp
Log Message:
-----------
Enable 32-bit use of PUSH/POP g.p.r. in top-level dispatch.
Besides extending the semantic functions, the top-level dispatch must be also
modified to no longer stop with an 'unimplementated instruction' error in 32-bit
mode.
GitHub
Jan 11, 2018, 2:24:59 AM1/11/18
to acl2-...@googlegroups.com
Branch: refs/heads/master
Reply all
Reply to author
Forward
0 new messages