[acl2/acl2] 7ce5c0: [C$] Improve a fixtype field name.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 7ce5c03f9d58b6743394e4b66075d09181761418
https://github.com/acl2/acl2/commit/7ce5c03f9d58b6743394e4b66075d09181761418
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/external-preprocessing.lisp
M books/kestrel/c/syntax/files.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/output-files.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp

Log Message:
-----------
[C$] Improve a fixtype field name.



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

[Alessandro Coglio]

Branch: refs/heads/testing

[acl2buildserver]

Branch: refs/heads/testing-kestrel

Home: https://github.com/acl2/acl2
Commit: 7ce5c03f9d58b6743394e4b66075d09181761418
https://github.com/acl2/acl2/commit/7ce5c03f9d58b6743394e4b66075d09181761418
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/external-preprocessing.lisp
M books/kestrel/c/syntax/files.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/output-files.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp

Log Message:
-----------
[C$] Improve a fixtype field name.

Commit: 532931e28e36f3c8301d9eee567815e6dbacf7cd
https://github.com/acl2/acl2/commit/532931e28e36f3c8301d9eee567815e6dbacf7cd
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-04-09 (Thu, 09 Apr 2026)

Changed paths:

M books/kestrel/axe/bv-rules-axe.lisp
M books/kestrel/axe/defthm-axe.lisp
M books/kestrel/axe/jvm/lifter-utilities.lisp
M books/kestrel/axe/jvm/lifter-utilities2.lisp
M books/kestrel/axe/jvm/lifter.lisp
M books/kestrel/axe/jvm/lifter2.lisp
M books/kestrel/axe/jvm/rule-lists-jvm.lisp
M books/kestrel/axe/jvm/symbolic-execution-rules.lisp
M books/kestrel/axe/jvm/unroller2.lisp
M books/kestrel/axe/prove-with-stp.lisp
M books/kestrel/axe/rewriter-common.lisp
M books/kestrel/axe/tactic-prover-tests.lisp
M books/kestrel/jvm/arrays.lisp
M books/kestrel/jvm/arrays0.lisp
M books/kestrel/jvm/call-stacks.lisp
M books/kestrel/jvm/class-file-parser.lisp
M books/kestrel/jvm/class-tables.lisp
M books/kestrel/jvm/classes.lisp
M books/kestrel/jvm/events-for-class.lisp
M books/kestrel/jvm/execution.lisp
M books/kestrel/jvm/fields.lisp
M books/kestrel/jvm/floats.lisp
M books/kestrel/jvm/floats2.lisp
M books/kestrel/jvm/get-method-info.lisp
M books/kestrel/jvm/instructions.lisp
M books/kestrel/jvm/int-subtypes.lisp
M books/kestrel/jvm/intern-table.lisp
M books/kestrel/jvm/jvm-facts.lisp
M books/kestrel/jvm/jvm-facts0.lisp
M books/kestrel/jvm/jvm-rules.lisp
M books/kestrel/jvm/jvm.lisp
M books/kestrel/jvm/method-indicators.lisp
M books/kestrel/jvm/methods.lisp
M books/kestrel/jvm/package.lsp
M books/kestrel/jvm/strings.lisp
M books/kestrel/jvm/types.lisp
M books/kestrel/jvm/values.lisp

Log Message:
-----------
Merge commit 'a9e3a3eb7e88785e38a48e82092df0a7384cfeaf' into HEAD


Compare: https://github.com/acl2/acl2/compare/a9e3a3eb7e88...532931e28e36