Branch: refs/heads/testing
Home:
https://github.com/acl2/acl2
Commit: f12cf1ae39e855675108480735edcf9d39956335
https://github.com/acl2/acl2/commit/f12cf1ae39e855675108480735edcf9d39956335
Author: Sol Swords <
ssw...@centtech.com>
Date: 2018-04-16 (Mon, 16 Apr 2018)
Changed paths:
M books/centaur/acre/types.lisp
A books/centaur/aig/top-doc.lisp
M books/centaur/aignet/aignet-absstobj.lisp
A books/centaur/aignet/top-doc.lisp
M books/centaur/aignet/top.lisp
A books/centaur/esim/top-doc.lisp
A books/centaur/gl/top-doc.acl2
A books/centaur/gl/top-doc.lisp
A books/centaur/sv/top-doc.lisp
A books/centaur/vl/top-doc.lisp
A books/centaur/vl2014/top-doc.lisp
A books/doc/top-fast.lisp
A books/kestrel/top-doc.acl2
A books/kestrel/top-doc.lisp
A books/projects/include-doc.acl2
A books/projects/include-doc.lisp
A books/projects/top-doc.acl2
A books/projects/top-doc.lisp
A books/rtl/rel11/lib/top-doc.acl2
A books/rtl/rel11/lib/top-doc.lisp
M books/std/strings/hexify.lisp
A books/xdoc/archive-matching-topics.lisp
M books/xdoc/archive.lisp
M books/xdoc/base.lisp
M books/xdoc/prepare-topic.lisp
Log Message:
-----------
Add a tool to save a filtered set of xdoc topics from local events.
Add doc/top-fast, a new version of doc/top that uses the above tool to
speed up the manual build.
Note for library maintainers: If this commit creates a "top-doc.lisp"
file in your library directory, it is for inclusion in doc/top-fast, but
you should feel free to take ownership of it and change what
documentation it collects, if you like.
The make targets for building the manual have not yet been changed.
Commit: c9a721f40eb7c118d93441ed427009dcaffaf471
https://github.com/acl2/acl2/commit/c9a721f40eb7c118d93441ed427009dcaffaf471
Author: Sol Swords <
ssw...@centtech.com>
Date: 2018-04-16 (Mon, 16 Apr 2018)
Changed paths:
M basis-a.lisp
M bin/purity.sh
M books/doc/relnotes.lisp
M books/kestrel/apt/restrict.lisp
M books/kestrel/apt/tailrec.lisp
M books/kestrel/utilities/bytes.lisp
M books/kestrel/utilities/error-checking-tests.lisp
M books/kestrel/utilities/error-checking.lisp
M books/projects/async/adders/add-sub.lisp
M books/projects/async/adders/adder.lisp
M books/projects/async/assoc-eq-value.lisp
M books/projects/async/branch.lisp
M books/projects/async/comparators/fast-zero.lisp
M books/projects/async/comparators/t-or-nor.lisp
M books/projects/async/de.lisp
M books/projects/async/f-functions.lisp
M books/projects/async/fifo/alt-branch.lisp
M books/projects/async/fifo/alt-merge.lisp
M books/projects/async/fifo/comp-v-or.lisp
M books/projects/async/fifo/queue10-as-link.lisp
M books/projects/async/fifo/queue2.lisp
M books/projects/async/fifo/queue3.lisp
M books/projects/async/fifo/queue4-as-link.lisp
M books/projects/async/fifo/queue5-as-link.lisp
M books/projects/async/fifo/queue8-as-link.lisp
M books/projects/async/fifo/round-robin1.lisp
M books/projects/async/fifo/round-robin2.lisp
M books/projects/async/fifo/round-robin3.lisp
M books/projects/async/fifo/wig-wag.lisp
M books/projects/async/gcd/comp-gcd-cond.lisp
M books/projects/async/gcd/comp-gcd.lisp
A books/projects/async/gcd/gcd-body.lisp
M books/projects/async/gcd/gcd-cond.lisp
M books/projects/async/gcd/gcd.lisp
M books/projects/async/gcd/queue3-comp-gcd.lisp
M books/projects/async/gcd/queue3-gcd.lisp
M books/projects/async/hard-spec.lisp
M books/projects/async/link-joint.lisp
M books/projects/async/macros.lisp
M books/projects/async/merge.lisp
M books/projects/async/primp-database.lisp
M books/projects/async/serial-adder/async-serial-adder.lisp
A books/projects/filesystems/block-listp.lisp
M books/projects/filesystems/file-system-1.lisp
M books/projects/filesystems/file-system-2.lisp
M books/projects/filesystems/file-system-3.lisp
M books/projects/filesystems/file-system-4.lisp
M books/projects/filesystems/file-system-5.lisp
M books/projects/filesystems/file-system-6.lisp
M books/projects/filesystems/find-n-free-blocks.lisp
M books/projects/x86isa/machine/instructions/jump-and-loop.lisp
M books/projects/x86isa/machine/instructions/move.lisp
M books/projects/x86isa/machine/x86.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp
M interface-raw.lisp
Log Message:
-----------
Merge branch 'testing' of github.com:acl2/acl2
Compare:
https://github.com/acl2/acl2/compare/36d5fb4ecd2f...c9a721f40eb7