[acl2/acl2] 4c1bf8: Improve documentation of implementation of APT tra...

[GitHub]

Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: 4c1bf81fa607dbc3116d32ca830844bf5f8a6d59
https://github.com/acl2/acl2/commit/4c1bf81fa607dbc3116d32ca830844bf5f8a6d59
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-11 (Wed, 11 Apr 2018)

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

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

"Factor" the documentation of function parameters.


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

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

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

Organize the XDOC topics into input processing and event generation.


Commit: 78f7dcff643361f18d4219219b64a14ec687577b
https://github.com/acl2/acl2/commit/78f7dcff643361f18d4219219b64a14ec687577b
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-11 (Wed, 11 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 formal parameters.


Commit: 3357e325fb4b3e3165d4c06245afbff59dabc879
https://github.com/acl2/acl2/commit/3357e325fb4b3e3165d4c06245afbff59dabc879
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-11 (Wed, 11 Apr 2018)

Changed paths:
M books/kestrel/utilities/error-checking-tests.lisp

Log Message:
-----------
Add tests for some error-checking functions.

These are for error-checking functions that were added relatively recently.


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

Changed paths:
M books/kestrel/utilities/error-checking-tests.lisp
M books/kestrel/utilities/error-checking.lisp

Log Message:
-----------
Add an error-checking function.


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

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

Log Message:
-----------
Fix XDOC link.


Commit: 7937982e11aa5fc04a0cadc851b493faa2721452
https://github.com/acl2/acl2/commit/7937982e11aa5fc04a0cadc851b493faa2721452
Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-12 (Thu, 12 Apr 2018)

Changed paths:
M books/centaur/bitops/sparseint.lisp
M books/centaur/vl/loader/parser/top.lisp
M books/centaur/vl/simpconfig.lisp
M books/centaur/vl/transforms/unparam/lineup.lisp
M books/centaur/vl/transforms/unparam/top.lisp
M books/centaur/vl/util/defs.lisp
M books/centaur/vl2014/loader/top.lisp
M books/centaur/vl2014/util/defs.lisp
M books/doc/relnotes.lisp
M books/doc/top.lisp
M books/std/util/define.lisp
M books/std/util/defines.lisp
M books/std/util/returnspecs.lisp
A books/xdoc/archive.lisp
M books/xdoc/display.lisp
M books/xdoc/preprocess.lisp
A books/xdoc/tests/archtest-top.lisp
A books/xdoc/tests/archtest.lisp
A books/xdoc/tests/archtest2.lisp

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


Compare: https://github.com/acl2/acl2/compare/37844644370b...7937982e11aa

[GitHub]

Branch: refs/heads/master

Commit: 9f2a810b416d220bdc503de857c14421e50c453a
https://github.com/acl2/acl2/commit/9f2a810b416d220bdc503de857c14421e50c453a

Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-12 (Thu, 12 Apr 2018)

Changed paths:

M books/projects/x86isa/machine/instructions/move.lisp
M books/projects/x86isa/machine/x86.lisp

Log Message:
-----------
Extend LEA instruction to 32-bit mode.


Commit: fe6fa11ad734d78c10d7b6877efc7e60a2da27d0
https://github.com/acl2/acl2/commit/fe6fa11ad734d78c10d7b6877efc7e60a2da27d0

Author: Alessandro Coglio <cog...@kestrel.edu>
Date: 2018-04-12 (Thu, 12 Apr 2018)

Changed paths:

M basis-a.lisp
M bin/purity.sh
M books/system/doc/acl2-doc.lisp
M doc.lisp
M interface-raw.lisp

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

Compare: https://github.com/acl2/acl2/compare/54e67ff3dfc1...fe6fa11ad734