[acl2/acl2] bfe4a9: [C] [C$] [ATC] [C2C] Fix typos.
0 views
Skip to first unread message
Alessandro Coglio
Apr 9, 2026, 11:03:22 PM (7 days ago) Apr 9
to acl2-...@googlegroups.com
Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: bfe4a9ea88f1605ebe6eea4e525d8e31a7403b45
https://github.com/acl2/acl2/commit/bfe4a9ea88f1605ebe6eea4e525d8e31a7403b45
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-08 (Wed, 08 Apr 2026)
Changed paths:
M books/kestrel/c/atc/function-and-loop-generation.lisp
M books/kestrel/c/atc/let-designations.lisp
M books/kestrel/c/language/character-sets.lisp
M books/kestrel/c/language/pointer-operations.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/preservable-inclusions.lisp
M books/kestrel/c/syntax/token-concatenation.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/utilities/collect-idents.lisp
Log Message:
-----------
[C] [C$] [ATC] [C2C] Fix typos.
Commit: ea3ed254bbcab24d6a2b5e9adfbb96cdcf38c340
https://github.com/acl2/acl2/commit/ea3ed254bbcab24d6a2b5e9adfbb96cdcf38c340
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-08 (Wed, 08 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-options.lisp
M books/kestrel/c/syntax/spans.lisp
Log Message:
-----------
Merge.
Commit: 9dfd3b48d19fa4bcdef836c229de769526fc291b
https://github.com/acl2/acl2/commit/9dfd3b48d19fa4bcdef836c229de769526fc291b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
A books/kestrel/remora/abstract-syntax.lisp
A books/kestrel/remora/acl2-customization.lsp
A books/kestrel/remora/package.lsp
A books/kestrel/remora/portcullis.acl2
A books/kestrel/remora/portcullis.lisp
A books/kestrel/remora/top.lisp
A books/kestrel/strings-light/downcase-tests.lisp
M books/kestrel/top-doc.lisp
M books/kestrel/top.lisp
Log Message:
-----------
Merge.
Commit: 57d9ee8db593890d641a62cd3b0c492732c74638
https://github.com/acl2/acl2/commit/57d9ee8db593890d641a62cd3b0c492732c74638
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Reorder some code within a file.
Commit: 59c94f0536c6b22def5bed829c1f3fa975917d78
https://github.com/acl2/acl2/commit/59c94f0536c6b22def5bed829c1f3fa975917d78
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Extend disambiguator.
Add some starting code for supporting conditional translation items.
Commit: de7c38a13585abef5a47d1a2c8195f5b4b71c338
https://github.com/acl2/acl2/commit/de7c38a13585abef5a47d1a2c8195f5b4b71c338
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:
-----------
Merge.
Commit: ebdc40453f6da918cd16d925360b0ddec88dba65
https://github.com/acl2/acl2/commit/ebdc40453f6da918cd16d925360b0ddec88dba65
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
Log Message:
-----------
[C$] Add missing build dep. Fix some doc.
Commit: 8275fe5970879ae7b9fb95e0d53612b441c26f43
https://github.com/acl2/acl2/commit/8275fe5970879ae7b9fb95e0d53612b441c26f43
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/grammar-operations.lisp
Log Message:
-----------
[C$] Fix some doc.
Commit: 9dedf1464ddd1c0aba2728c48b5047cf86dd25a8
https://github.com/acl2/acl2/commit/9dedf1464ddd1c0aba2728c48b5047cf86dd25a8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
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: 754c3c84d5efcd1a6298a3ed799da0960165a26f
https://github.com/acl2/acl2/commit/754c3c84d5efcd1a6298a3ed799da0960165a26f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/tests/disambiguator-trans-units.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/transformation/split-all-gso.lisp
M books/kestrel/c/transformation/tests/free-vars/free-vars.lisp
M books/kestrel/c/transformation/tests/subst-free/subst-free.lisp
Log Message:
-----------
[C$] Extend disambiguator state and interface.
Take and store an implementation environment, instead of just a dialect.
Commit: 72a932fa352ab755a2fd4eb6b6a4cae63e60ff59
https://github.com/acl2/acl2/commit/72a932fa352ab755a2fd4eb6b6a4cae63e60ff59
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/grammar-operations.lisp
Log Message:
-----------
[C$] Add an operation on CSTs.
Commit: b14a75430f68c8d33ad8ee18ea4d7eb372ee6dfe
https://github.com/acl2/acl2/commit/b14a75430f68c8d33ad8ee18ea4d7eb372ee6dfe
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/grammar-operations.lisp
Log Message:
-----------
[C$] Add more grammar operations and theorems.
Commit: 6fdd69ef0f8f39e5b5575a727e0fac6436148639
https://github.com/acl2/acl2/commit/6fdd69ef0f8f39e5b5575a727e0fac6436148639
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
Log Message:
-----------
Merge.
Commit: 4e618bd39f68c1983f6171c4e115c62ed53cc5f6
https://github.com/acl2/acl2/commit/4e618bd39f68c1983f6171c4e115c62ed53cc5f6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/projects/abnf/grammar-definer/deftreeops.lisp
Log Message:
-----------
Merge.
Commit: bc10326c5ebb9704f46afafaa99ecd0fb6498e9a
https://github.com/acl2/acl2/commit/bc10326c5ebb9704f46afafaa99ecd0fb6498e9a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Fix comparison.
Commit: 2723c2fb2ef0a8ae261afd18e8d5389e2f063432
https://github.com/acl2/acl2/commit/2723c2fb2ef0a8ae261afd18e8d5389e2f063432
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Fix some doc.
Commit: b4d087627c3e7de262d1a6c9b67c0940cece116a
https://github.com/acl2/acl2/commit/b4d087627c3e7de262d1a6c9b67c0940cece116a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Fix error message.
Commit: 448d3d56c9d1c8d5cb2bdf449111329541b68fbb
https://github.com/acl2/acl2/commit/448d3d56c9d1c8d5cb2bdf449111329541b68fbb
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Make error message more complete.
Commit: 6b1d160a883651422c9f3262ec9a9825313dfc5f
https://github.com/acl2/acl2/commit/6b1d160a883651422c9f3262ec9a9825313dfc5f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Fix some doc.
Commit: f25fd9bb410945e2d0cfde4666b9437e351b1062
https://github.com/acl2/acl2/commit/f25fd9bb410945e2d0cfde4666b9437e351b1062
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
A books/kestrel/c/syntax/hash-conditional-evaluation.lisp
Log Message:
-----------
[C$] Add code to evaluate preprocessor expressions.
This is for expressions in the AST, after preprocessing. It reuses some code
used during preprocessing.
Commit: aebb141a1c5106106d89114cfcbb246112a5e86c
https://github.com/acl2/acl2/commit/aebb141a1c5106106d89114cfcbb246112a5e86c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Extend disambiguator.
Handle conditional preprocessing constructs (`#if` etc.). The approach is
similar to the preprocessor. We still need to relax the check between ASTs
disambiguated in context vs. stand-alone to decide whether `#include` can be
preserved, analogously to the check in the preprocessor.
Commit: b8b6813ab303d1514e296905b83f9763f8b6d13a
https://github.com/acl2/acl2/commit/b8b6813ab303d1514e296905b83f9763f8b6d13a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Stylistic change for consistency.
Commit: c7946bab0c4230df65b29edafa8fc0150e07a2fa
https://github.com/acl2/acl2/commit/c7946bab0c4230df65b29edafa8fc0150e07a2fa
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Stylistic change for consistency.
Commit: 8824d5266610c1fc71a69150c6e8ffc24e324fb0
https://github.com/acl2/acl2/commit/8824d5266610c1fc71a69150c6e8ffc24e324fb0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
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
M books/projects/abnf/grammar-definer/deftreeops.lisp
Log Message:
-----------
Merge.
Commit: 59a862f34f103b80db2a55eaaff0a8cc9ea85db9
https://github.com/acl2/acl2/commit/59a862f34f103b80db2a55eaaff0a8cc9ea85db9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Fix some error messages.
Commit: feda5d408981ba4e3d8f1968abc0aceb08eb4b65
https://github.com/acl2/acl2/commit/feda5d408981ba4e3d8f1968abc0aceb08eb4b65
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Fix some doc.
Commit: b27c8a3ac5a0712509cf4a0e8e672e7d3430b0b2
https://github.com/acl2/acl2/commit/b27c8a3ac5a0712509cf4a0e8e672e7d3430b0b2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/grammar-operations.lisp
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
Merge.
Compare: https://github.com/acl2/acl2/compare/1d93c5c8b41d...b27c8a3ac5a0
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: bfe4a9ea88f1605ebe6eea4e525d8e31a7403b45
https://github.com/acl2/acl2/commit/bfe4a9ea88f1605ebe6eea4e525d8e31a7403b45
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-08 (Wed, 08 Apr 2026)
Changed paths:
M books/kestrel/c/atc/function-and-loop-generation.lisp
M books/kestrel/c/atc/let-designations.lisp
M books/kestrel/c/language/character-sets.lisp
M books/kestrel/c/language/pointer-operations.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/preservable-inclusions.lisp
M books/kestrel/c/syntax/token-concatenation.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/utilities/collect-idents.lisp
Log Message:
-----------
[C] [C$] [ATC] [C2C] Fix typos.
Commit: ea3ed254bbcab24d6a2b5e9adfbb96cdcf38c340
https://github.com/acl2/acl2/commit/ea3ed254bbcab24d6a2b5e9adfbb96cdcf38c340
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-08 (Wed, 08 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-options.lisp
M books/kestrel/c/syntax/spans.lisp
Log Message:
-----------
Merge.
Commit: 9dfd3b48d19fa4bcdef836c229de769526fc291b
https://github.com/acl2/acl2/commit/9dfd3b48d19fa4bcdef836c229de769526fc291b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
A books/kestrel/remora/abstract-syntax.lisp
A books/kestrel/remora/acl2-customization.lsp
A books/kestrel/remora/package.lsp
A books/kestrel/remora/portcullis.acl2
A books/kestrel/remora/portcullis.lisp
A books/kestrel/remora/top.lisp
A books/kestrel/strings-light/downcase-tests.lisp
M books/kestrel/top-doc.lisp
M books/kestrel/top.lisp
Log Message:
-----------
Merge.
Commit: 57d9ee8db593890d641a62cd3b0c492732c74638
https://github.com/acl2/acl2/commit/57d9ee8db593890d641a62cd3b0c492732c74638
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Reorder some code within a file.
Commit: 59c94f0536c6b22def5bed829c1f3fa975917d78
https://github.com/acl2/acl2/commit/59c94f0536c6b22def5bed829c1f3fa975917d78
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Extend disambiguator.
Add some starting code for supporting conditional translation items.
Commit: de7c38a13585abef5a47d1a2c8195f5b4b71c338
https://github.com/acl2/acl2/commit/de7c38a13585abef5a47d1a2c8195f5b4b71c338
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:
-----------
Merge.
Commit: ebdc40453f6da918cd16d925360b0ddec88dba65
https://github.com/acl2/acl2/commit/ebdc40453f6da918cd16d925360b0ddec88dba65
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/grammar.lisp
Log Message:
-----------
[C$] Add missing build dep. Fix some doc.
Commit: 8275fe5970879ae7b9fb95e0d53612b441c26f43
https://github.com/acl2/acl2/commit/8275fe5970879ae7b9fb95e0d53612b441c26f43
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/grammar-operations.lisp
Log Message:
-----------
[C$] Fix some doc.
Commit: 9dedf1464ddd1c0aba2728c48b5047cf86dd25a8
https://github.com/acl2/acl2/commit/9dedf1464ddd1c0aba2728c48b5047cf86dd25a8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
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: 754c3c84d5efcd1a6298a3ed799da0960165a26f
https://github.com/acl2/acl2/commit/754c3c84d5efcd1a6298a3ed799da0960165a26f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/tests/disambiguator-trans-units.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/transformation/split-all-gso.lisp
M books/kestrel/c/transformation/tests/free-vars/free-vars.lisp
M books/kestrel/c/transformation/tests/subst-free/subst-free.lisp
Log Message:
-----------
[C$] Extend disambiguator state and interface.
Take and store an implementation environment, instead of just a dialect.
Commit: 72a932fa352ab755a2fd4eb6b6a4cae63e60ff59
https://github.com/acl2/acl2/commit/72a932fa352ab755a2fd4eb6b6a4cae63e60ff59
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/grammar-operations.lisp
Log Message:
-----------
[C$] Add an operation on CSTs.
Commit: b14a75430f68c8d33ad8ee18ea4d7eb372ee6dfe
https://github.com/acl2/acl2/commit/b14a75430f68c8d33ad8ee18ea4d7eb372ee6dfe
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/grammar-operations.lisp
Log Message:
-----------
[C$] Add more grammar operations and theorems.
Commit: 6fdd69ef0f8f39e5b5575a727e0fac6436148639
https://github.com/acl2/acl2/commit/6fdd69ef0f8f39e5b5575a727e0fac6436148639
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
Log Message:
-----------
Merge.
Commit: 4e618bd39f68c1983f6171c4e115c62ed53cc5f6
https://github.com/acl2/acl2/commit/4e618bd39f68c1983f6171c4e115c62ed53cc5f6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/projects/abnf/grammar-definer/deftreeops.lisp
Log Message:
-----------
Merge.
Commit: bc10326c5ebb9704f46afafaa99ecd0fb6498e9a
https://github.com/acl2/acl2/commit/bc10326c5ebb9704f46afafaa99ecd0fb6498e9a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Fix comparison.
Commit: 2723c2fb2ef0a8ae261afd18e8d5389e2f063432
https://github.com/acl2/acl2/commit/2723c2fb2ef0a8ae261afd18e8d5389e2f063432
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Fix some doc.
Commit: b4d087627c3e7de262d1a6c9b67c0940cece116a
https://github.com/acl2/acl2/commit/b4d087627c3e7de262d1a6c9b67c0940cece116a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Fix error message.
Commit: 448d3d56c9d1c8d5cb2bdf449111329541b68fbb
https://github.com/acl2/acl2/commit/448d3d56c9d1c8d5cb2bdf449111329541b68fbb
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Make error message more complete.
Commit: 6b1d160a883651422c9f3262ec9a9825313dfc5f
https://github.com/acl2/acl2/commit/6b1d160a883651422c9f3262ec9a9825313dfc5f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Fix some doc.
Commit: f25fd9bb410945e2d0cfde4666b9437e351b1062
https://github.com/acl2/acl2/commit/f25fd9bb410945e2d0cfde4666b9437e351b1062
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
A books/kestrel/c/syntax/hash-conditional-evaluation.lisp
Log Message:
-----------
[C$] Add code to evaluate preprocessor expressions.
This is for expressions in the AST, after preprocessing. It reuses some code
used during preprocessing.
Commit: aebb141a1c5106106d89114cfcbb246112a5e86c
https://github.com/acl2/acl2/commit/aebb141a1c5106106d89114cfcbb246112a5e86c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Extend disambiguator.
Handle conditional preprocessing constructs (`#if` etc.). The approach is
similar to the preprocessor. We still need to relax the check between ASTs
disambiguated in context vs. stand-alone to decide whether `#include` can be
preserved, analogously to the check in the preprocessor.
Commit: b8b6813ab303d1514e296905b83f9763f8b6d13a
https://github.com/acl2/acl2/commit/b8b6813ab303d1514e296905b83f9763f8b6d13a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Stylistic change for consistency.
Commit: c7946bab0c4230df65b29edafa8fc0150e07a2fa
https://github.com/acl2/acl2/commit/c7946bab0c4230df65b29edafa8fc0150e07a2fa
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Stylistic change for consistency.
Commit: 8824d5266610c1fc71a69150c6e8ffc24e324fb0
https://github.com/acl2/acl2/commit/8824d5266610c1fc71a69150c6e8ffc24e324fb0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
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
M books/projects/abnf/grammar-definer/deftreeops.lisp
Log Message:
-----------
Merge.
Commit: 59a862f34f103b80db2a55eaaff0a8cc9ea85db9
https://github.com/acl2/acl2/commit/59a862f34f103b80db2a55eaaff0a8cc9ea85db9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Fix some error messages.
Commit: feda5d408981ba4e3d8f1968abc0aceb08eb4b65
https://github.com/acl2/acl2/commit/feda5d408981ba4e3d8f1968abc0aceb08eb4b65
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
[C$] Fix some doc.
Commit: b27c8a3ac5a0712509cf4a0e8e672e7d3430b0b2
https://github.com/acl2/acl2/commit/b27c8a3ac5a0712509cf4a0e8e672e7d3430b0b2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/grammar-operations.lisp
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/preprocessor-reader.lisp
Log Message:
-----------
Merge.
Compare: https://github.com/acl2/acl2/compare/1d93c5c8b41d...b27c8a3ac5a0
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Alessandro Coglio
Apr 10, 2026, 3:59:16 AM (7 days ago) Apr 10
to acl2-...@googlegroups.com
Branch: refs/heads/master
Commit: d152ab7bda3c2ef7993ab519fb9c9f541aafbc4e
https://github.com/acl2/acl2/commit/d152ab7bda3c2ef7993ab519fb9c9f541aafbc4e
Log Message:
-----------
[C$] Fix XDOC links.
Compare: https://github.com/acl2/acl2/compare/1d93c5c8b41d...d152ab7bda3c
https://github.com/acl2/acl2/commit/d152ab7bda3c2ef7993ab519fb9c9f541aafbc4e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/kestrel/c/syntax/hash-conditional-evaluation.lisp
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
Log Message:
-----------
[C$] Fix XDOC links.
Compare: https://github.com/acl2/acl2/compare/1d93c5c8b41d...d152ab7bda3c
Alessandro Coglio
Apr 10, 2026, 3:59:40 AM (7 days ago) Apr 10
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Alessandro Coglio
Apr 11, 2026, 4:20:04 PM (6 days ago) Apr 11
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Commit: cba8788ec3472a4513ade557747e5fbd6ee629cf
https://github.com/acl2/acl2/commit/cba8788ec3472a4513ade557747e5fbd6ee629cf
Commit: 1d93c5c8b41ddd552508a2d029fb18360e251889
https://github.com/acl2/acl2/commit/1d93c5c8b41ddd552508a2d029fb18360e251889
Commit: a3a84012ab7ae713d94ab6a259affebed5514ac8
https://github.com/acl2/acl2/commit/a3a84012ab7ae713d94ab6a259affebed5514ac8
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-04-10 (Fri, 10 Apr 2026)
Changed paths:
M books/kestrel/arrays-2d/arrays-2d.lisp
M books/kestrel/axe/equivalence-checker.lisp
M books/kestrel/axe/prove-equal-with-axe-tests.lisp
M books/kestrel/axe/unroll-spec.lisp
M books/kestrel/axe/x86/tester-code-only.lisp
Log Message:
-----------
Merge commit '26166d08273417f56262a2b5f36191fa0dcee219' into HEAD
Commit: bcd777d9a105ca652d98cab569b7cc5441ac7d38
https://github.com/acl2/acl2/commit/bcd777d9a105ca652d98cab569b7cc5441ac7d38
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-04-10 (Fri, 10 Apr 2026)
Changed paths:
M books/kestrel/crypto/kdf/doc.lisp
Log Message:
-----------
Merge commit '6a74d3959cf03f3b5834bee25ee1a57458c59993' into HEAD
Commit: 6c9ad77fcc9dc3b766edb004b0839feaaa283877
https://github.com/acl2/acl2/commit/6c9ad77fcc9dc3b766edb004b0839feaaa283877
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/projects/x86isa/machine/catalogue-doc.lisp
Log Message:
-----------
[X86ISA] Rename doc topic.
Commit: 916bf4e78fab6d3847fbfc3e8c37fe4769669e2e
https://github.com/acl2/acl2/commit/916bf4e78fab6d3847fbfc3e8c37fe4769669e2e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/doc/relnotes.lisp
Log Message:
-----------
[X86ISA] Update refs in release notes.
Commit: f4b32336191054e35a80671d4b2d649a39b2d1d4
https://github.com/acl2/acl2/commit/f4b32336191054e35a80671d4b2d649a39b2d1d4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/projects/x86isa/machine/catalogue-doc.lisp
Log Message:
-----------
[X86ISA] Adjust instruction set summary parent.
Commit: 05b8a0b8ef7526f6d5505fba0a33a70abb581e50
https://github.com/acl2/acl2/commit/05b8a0b8ef7526f6d5505fba0a33a70abb581e50
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/projects/x86isa/machine/catalogue-doc.lisp
Log Message:
-----------
[X86ISA] Rename a doc topic.
Commit: e9b558bfa16eb2a475e49b10ad83c3b140c209c1
https://github.com/acl2/acl2/commit/e9b558bfa16eb2a475e49b10ad83c3b140c209c1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/projects/x86isa/doc.lisp
M books/projects/x86isa/machine/inst-doc.lisp
Log Message:
-----------
[X86ISA] Make new isntruction listings more prominent.
Commit: f61ca94a54d34759e6ead4ba73bb5832a8b6ac4c
https://github.com/acl2/acl2/commit/f61ca94a54d34759e6ead4ba73bb5832a8b6ac4c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/doc/relnotes.lisp
Log Message:
-----------
[X86ISA] Update links in book release notes.
Commit: ed614520a7693d8ddd9346b4e2e765185f6656d0
https://github.com/acl2/acl2/commit/ed614520a7693d8ddd9346b4e2e765185f6656d0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/projects/x86isa/machine/inst-doc.lisp
Log Message:
-----------
[X86ISA] Fix XML.
Compare: https://github.com/acl2/acl2/compare/6a74d3959cf0...ed614520a769
https://github.com/acl2/acl2/commit/cba8788ec3472a4513ade557747e5fbd6ee629cf
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/projects/abnf/grammar-definer/deftreeops.lisp
Log Message:
-----------
[ABNF] Fix some output text.
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M books/projects/abnf/grammar-definer/deftreeops.lisp
Log Message:
-----------
Commit: 1d93c5c8b41ddd552508a2d029fb18360e251889
https://github.com/acl2/acl2/commit/1d93c5c8b41ddd552508a2d029fb18360e251889
https://github.com/acl2/acl2/commit/a3a84012ab7ae713d94ab6a259affebed5514ac8
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-04-10 (Fri, 10 Apr 2026)
Changed paths:
M books/kestrel/arrays-2d/arrays-2d.lisp
M books/kestrel/axe/equivalence-checker.lisp
M books/kestrel/axe/prove-equal-with-axe-tests.lisp
M books/kestrel/axe/unroll-spec.lisp
M books/kestrel/axe/x86/tester-code-only.lisp
Log Message:
-----------
Merge commit '26166d08273417f56262a2b5f36191fa0dcee219' into HEAD
Commit: bcd777d9a105ca652d98cab569b7cc5441ac7d38
https://github.com/acl2/acl2/commit/bcd777d9a105ca652d98cab569b7cc5441ac7d38
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-04-10 (Fri, 10 Apr 2026)
Changed paths:
M books/kestrel/crypto/kdf/doc.lisp
Log Message:
-----------
Merge commit '6a74d3959cf03f3b5834bee25ee1a57458c59993' into HEAD
Commit: 6c9ad77fcc9dc3b766edb004b0839feaaa283877
https://github.com/acl2/acl2/commit/6c9ad77fcc9dc3b766edb004b0839feaaa283877
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/projects/x86isa/machine/catalogue-doc.lisp
Log Message:
-----------
[X86ISA] Rename doc topic.
Commit: 916bf4e78fab6d3847fbfc3e8c37fe4769669e2e
https://github.com/acl2/acl2/commit/916bf4e78fab6d3847fbfc3e8c37fe4769669e2e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/doc/relnotes.lisp
Log Message:
-----------
[X86ISA] Update refs in release notes.
Commit: f4b32336191054e35a80671d4b2d649a39b2d1d4
https://github.com/acl2/acl2/commit/f4b32336191054e35a80671d4b2d649a39b2d1d4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/projects/x86isa/machine/catalogue-doc.lisp
Log Message:
-----------
[X86ISA] Adjust instruction set summary parent.
Commit: 05b8a0b8ef7526f6d5505fba0a33a70abb581e50
https://github.com/acl2/acl2/commit/05b8a0b8ef7526f6d5505fba0a33a70abb581e50
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/projects/x86isa/machine/catalogue-doc.lisp
Log Message:
-----------
[X86ISA] Rename a doc topic.
Commit: e9b558bfa16eb2a475e49b10ad83c3b140c209c1
https://github.com/acl2/acl2/commit/e9b558bfa16eb2a475e49b10ad83c3b140c209c1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/projects/x86isa/doc.lisp
M books/projects/x86isa/machine/inst-doc.lisp
Log Message:
-----------
[X86ISA] Make new isntruction listings more prominent.
Commit: f61ca94a54d34759e6ead4ba73bb5832a8b6ac4c
https://github.com/acl2/acl2/commit/f61ca94a54d34759e6ead4ba73bb5832a8b6ac4c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/doc/relnotes.lisp
Log Message:
-----------
[X86ISA] Update links in book release notes.
Commit: ed614520a7693d8ddd9346b4e2e765185f6656d0
https://github.com/acl2/acl2/commit/ed614520a7693d8ddd9346b4e2e765185f6656d0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)
Changed paths:
M books/projects/x86isa/machine/inst-doc.lisp
Log Message:
-----------
[X86ISA] Fix XML.
Compare: https://github.com/acl2/acl2/compare/6a74d3959cf0...ed614520a769
Reply all
Reply to author
Forward
0 new messages