[acl2/acl2] 4447bb: [bv] Add better syntaxp function.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 4447bb4ecf376c95b3d766404ca943ccb14addf5
https://github.com/acl2/acl2/commit/4447bb4ecf376c95b3d766404ca943ccb14addf5
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)

Changed paths:
M books/kestrel/bv/bv-syntax.lisp

Log Message:
-----------
[bv] Add better syntaxp function.


Commit: aee191f6a997e8e1bb7fed8cb1d333ba9f197b3c
https://github.com/acl2/acl2/commit/aee191f6a997e8e1bb7fed8cb1d333ba9f197b3c
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)

Changed paths:
M books/kestrel/bv/leftrotate-rules.lisp
M books/kestrel/bv/leftrotate32.lisp
M books/kestrel/bv/trim-intro-rules.lisp

Log Message:
-----------
[bv] Move and fix some trim rules.

Also use new syntaxp function more.


Commit: 4b49652fa60d117eb98710aa6b4c70eb5ce5245c
https://github.com/acl2/acl2/commit/4b49652fa60d117eb98710aa6b4c70eb5ce5245c
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)

Changed paths:
M books/kestrel/axe/trim-intro-rules-axe.lisp

Log Message:
-----------
[axe] Tweak includes.


Commit: 69ce21e176c90cdf0dd9aa19473599e2e32b44fc
https://github.com/acl2/acl2/commit/69ce21e176c90cdf0dd9aa19473599e2e32b44fc
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)

Changed paths:
M books/demos/floating-point-log.txt
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/types-to-tynames.lisp
M books/kestrel/c/syntax/validation-annotations.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/json-rpc/README.md
M books/kestrel/c/transformation/json-rpc/struct-type-split.lisp
M books/kestrel/c/transformation/json-rpc/tests/struct-type-split.lsp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
R books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/dynamic-semantics.lisp
M books/kestrel/remora/evaluation-rules.lisp
M books/kestrel/remora/evaluation.lisp
A books/kestrel/remora/expression-values-and-environments.lisp
A books/kestrel/remora/ispace-values-and-environments.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/type-value-equivalence.lisp
A books/kestrel/remora/type-values-and-environments.lisp
M books/kestrel/remora/value-printing.lisp
R books/kestrel/remora/values.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M ld.lisp

Log Message:
-----------
Merge.


Commit: 319c4998e8a39094345b725397cdb853a2115ff1
https://github.com/acl2/acl2/commit/319c4998e8a39094345b725397cdb853a2115ff1
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)

Changed paths:
M books/kestrel/remora/value-printing.lisp

Log Message:
-----------
[Remora] Exclude book from ACL2(r) builds.


Commit: bcf97e451180e2fe99302df8851c6a49085bde4a
https://github.com/acl2/acl2/commit/bcf97e451180e2fe99302df8851c6a49085bde4a
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)

Changed paths:
M books/kestrel/bv/trim-intro-rules.lisp

Log Message:
-----------
[bv] Reduce includes.


Commit: 5451e607479af68251b06b789d880bdedd79d41f
https://github.com/acl2/acl2/commit/5451e607479af68251b06b789d880bdedd79d41f
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)

Changed paths:
M books/kestrel/bv/trim-elim-rules-bv.lisp

Log Message:
-----------
[bv] Tweak doc.


Compare: https://github.com/acl2/acl2/compare/bc2a3f918ae4...5451e607479a

To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications

[Eric W. Smith]

Branch: refs/heads/master

[Eric W. Smith]

Branch: refs/heads/testing