[acl2/acl2] e1bb8b: Updated purity script (seems that there was a harm...

[GitHub]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: e1bb8b840817996eebaffb9dc70eaf33f570e372
https://github.com/acl2/acl2/commit/e1bb8b840817996eebaffb9dc70eaf33f570e372
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2018-04-12 (Thu, 12 Apr 2018)

Changed paths:
M bin/purity.sh
M interface-raw.lisp

Log Message:
-----------
Updated purity script (seems that there was a harmless commit outside books by someone else; probably some odd github thing)


Commit: ad7017b80b7a95a9fad42c0967bfb294fabaaf38
https://github.com/acl2/acl2/commit/ad7017b80b7a95a9fad42c0967bfb294fabaaf38
Author: Matt Kaufmann <kauf...@cs.utexas.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 remote-tracking branch 'remotes/origin/master'


Commit: 54e67ff3dfc19c7b887aa4a7c2e0c441de792178
https://github.com/acl2/acl2/commit/54e67ff3dfc19c7b887aa4a7c2e0c441de792178
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2018-04-12 (Thu, 12 Apr 2018)

Changed paths:
M basis-a.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp

Log Message:
-----------
Eliminated some raw Lisp errors from cw, fmt, etc. Also (actually in preceding commit) added support for quiet load of ACL2 customization files.

Quoting :doc note-8-1:

Eliminated some raw Lisp errors that could occur from ill-formed
calls of [cw] and the family of [fmt] functions. Thanks to Jared
Davis for pointing out this problem in 2010 (!) with the example
(cw "Bad: ~&0.~%" 5), and for Eric Smith for prodding us much more
recently with the example (cw "~&0" 'x).

When the environment variable ACL2_CUSTOMIZATION_QUIET is set and not
"", there will generally be no output from ACL2 customization. A
special value of "all" for this variable will cause continued
minimal output after startup. See [ACL2-customization].

The first of these two will be improved upon (by eliminating more raw
Lisp errors), probably in a commit coming soon.

The latter of these two was actually implemented in my preceding
commit.


Compare: https://github.com/acl2/acl2/compare/37844644370b...54e67ff3dfc1

[GitHub]

Branch: refs/heads/testing

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/9f2a810b416d...fe6fa11ad734