[acl2/acl2] 01b666: [axe/x86] Improve packages.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 01b666a932f09b539d4585404ee98eb16bcf866e
https://github.com/acl2/acl2/commit/01b666a932f09b539d4585404ee98eb16bcf866e
Author: Eric Smith <ews...@gmail.com>
Date: 2025-09-18 (Thu, 18 Sep 2025)

Changed paths:
M books/kestrel/axe/risc-v/package.lsp
M books/kestrel/x86/package.lsp

Log Message:
-----------
[axe/x86] Improve packages.


Commit: ed800093942dd52210c670a5732b878c7caba1a4
https://github.com/acl2/acl2/commit/ed800093942dd52210c670a5732b878c7caba1a4
Author: Eric Smith <ews...@gmail.com>
Date: 2025-09-18 (Thu, 18 Sep 2025)

Changed paths:
A books/kestrel/c/syntax/compilation-db.lisp
A books/kestrel/c/syntax/tests/compilation-db.lisp
A books/kestrel/c/syntax/tests/compile_commands.json
M books/kestrel/c/syntax/top.lisp

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


Commit: 21b3574ca723d98a71804f4fbe9ffeb966ff4473
https://github.com/acl2/acl2/commit/21b3574ca723d98a71804f4fbe9ffeb966ff4473
Author: Eric Smith <ews...@gmail.com>
Date: 2025-09-19 (Fri, 19 Sep 2025)

Changed paths:
M books/demos/defabsstobj-example-1.lisp
M books/interface/emacs/acl2-indent.el
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
M books/kestrel/c/syntax/abstract-syntax-operations.lisp
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/langdef-mapping.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/c/transformation/variables-in-computation-states.lisp

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


Commit: 578373a3841e7f18ec11a18551e83c05cd925de5
https://github.com/acl2/acl2/commit/578373a3841e7f18ec11a18551e83c05cd925de5
Author: Eric Smith <ews...@gmail.com>
Date: 2025-09-19 (Fri, 19 Sep 2025)

Changed paths:
M books/kestrel/axe/axe-syntax-functions-bv.lisp
M books/kestrel/axe/make-rewriter-simple.lisp
M books/kestrel/axe/rule-lists.lisp
M books/kestrel/axe/tactic-prover.lisp
M books/kestrel/axe/x86/rule-lists.lisp
M books/kestrel/axe/x86/tester.lisp
M books/kestrel/bv/bv-syntax.lisp
M books/kestrel/bv/rules.lisp
M books/kestrel/bv/trim-elim-rules-non-bv.lisp
M books/kestrel/bv/trim.lisp
M books/kestrel/utilities/extend-pathname-dollar.lisp

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


Commit: 12724cc8d6e2685a2acee323df496259e24758e7
https://github.com/acl2/acl2/commit/12724cc8d6e2685a2acee323df496259e24758e7
Author: Eric Smith <ews...@gmail.com>
Date: 2025-09-19 (Fri, 19 Sep 2025)

Changed paths:
M books/kestrel/x86/package.lsp

Log Message:
-----------
[x86] Organize package symbols.


Compare: https://github.com/acl2/acl2/compare/d7c3c1b21a13...12724cc8d6e2

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