[acl2/acl2] 90bc35: [C$] Improve a predicate name.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 90bc353ea901b553cada229f6859a2cfb2d8ae4f
https://github.com/acl2/acl2/commit/90bc353ea901b553cada229f6859a2cfb2d8ae4f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/preprocessor-states.lisp

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


Commit: 1f9e92a4c878f1b1f46039786d3be361f88a3d17
https://github.com/acl2/acl2/commit/1f9e92a4c878f1b1f46039786d3be361f88a3d17
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/preprocessor.lisp

Log Message:
-----------
[C$] Improve some doc.


Commit: 3c7605a2bb9ba653ff8bc79d9137a438db83b6be
https://github.com/acl2/acl2/commit/3c7605a2bb9ba653ff8bc79d9137a438db83b6be
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/preprocessor-states.lisp

Log Message:
-----------
[C$] Add some predicates.


Commit: 9d525e0affa6be5dd854a4d513bf20f1726bd31b
https://github.com/acl2/acl2/commit/9d525e0affa6be5dd854a4d513bf20f1726bd31b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/preprocessor.lisp

Log Message:
-----------
[C$] Advance preprocessor.

Add a function to read a token or newline.


Commit: 587b90bd8399d0416d89cd2c3126a14e5ae73d1b
https://github.com/acl2/acl2/commit/587b90bd8399d0416d89cd2c3126a14e5ae73d1b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/preprocessor-states.lisp

Log Message:
-----------
[C$] Layout tweak.


Commit: 4c68fb056287be86e2fe713fbf7b950f3f327013
https://github.com/acl2/acl2/commit/4c68fb056287be86e2fe713fbf7b950f3f327013
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/preprocessor-states.lisp

Log Message:
-----------
[C$] Expand some doc.


Commit: 4af0f2b37dcd0bdba811a5b0624947b36dda8131
https://github.com/acl2/acl2/commit/4af0f2b37dcd0bdba811a5b0624947b36dda8131
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)

Changed paths:
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/ascii-identifiers.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/formalized.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/purity.lisp
M books/kestrel/c/syntax/standard.lisp
M books/kestrel/c/syntax/tests/disambiguator.lisp
M books/kestrel/c/syntax/tests/parser.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/unambiguity.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/copy-fn.lisp
M books/kestrel/c/transformation/proof-generation-theorems.lisp
M books/kestrel/c/transformation/proof-generation.lisp
M books/kestrel/c/transformation/rename.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-all-gso.lisp
M books/kestrel/c/transformation/split-fn-when.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/tests/free-vars/free-vars.lisp
M books/kestrel/c/transformation/tests/subst-free/subst-free.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
M books/kestrel/c/transformation/utilities/collect-idents.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/rename-fn.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/c/transformation/variables-in-computation-states.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
A books/projects/hol-in-acl2/examples/eval-poly-thy-exports.lisp
M books/projects/hol-in-acl2/examples/eval-poly-thy.lisp
A books/projects/hol-in-acl2/examples/ex1-thy-exports.lisp
M books/projects/hol-in-acl2/examples/ex1-thy.lisp

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


Commit: 790fe71c8cb5a30be64dabc18a32eb7dc4c2f204
https://github.com/acl2/acl2/commit/790fe71c8cb5a30be64dabc18a32eb7dc4c2f204
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/package.lsp
M books/kestrel/c/syntax/preprocessor-reader.lisp
M books/kestrel/c/syntax/preprocessor-states.lisp

Log Message:
-----------
[C$] Extend preprocessor states.

Add macro tables, which contain macro definitions.

Also add operations on macro tables.


Commit: 3555bc225e953133a3bf9810d5bfe27369caab8c
https://github.com/acl2/acl2/commit/3555bc225e953133a3bf9810d5bfe27369caab8c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/preprocessor-states.lisp

Log Message:
-----------
[C$] Remove an operation not needed.


Commit: 354f05074254eb7dd32892cf235cc14f370204df
https://github.com/acl2/acl2/commit/354f05074254eb7dd32892cf235cc14f370204df
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/preprocessor.lisp

Log Message:
-----------
[C$] Advance preprocessor.

Add top-level structures (with placeholders for code to be fleshed out).


Commit: f6bab48c56729581a327b595cd7b028454aaefd0
https://github.com/acl2/acl2/commit/f6bab48c56729581a327b595cd7b028454aaefd0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/lexer.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/tests/lexer.lisp

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


Commit: 375fd4cb5a88437c75343c5faf632a9574a6f373
https://github.com/acl2/acl2/commit/375fd4cb5a88437c75343c5faf632a9574a6f373
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)

Changed paths:
A books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/preprocessor.lisp

Log Message:
-----------
[C$] Start printer component of preprocessor.

Use in top-level code of preprocessor.


Compare: https://github.com/acl2/acl2/compare/7cf591153f48...375fd4cb5a88

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

[Alessandro Coglio]

Branch: refs/heads/master

[Alessandro Coglio]

Branch: refs/heads/testing

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel