[acl2/acl2] 56b65d: [C$] Improve some AST names.
0 views
Skip to first unread message
Alessandro Coglio
Dec 11, 2025, 4:30:52 PM (5 days ago) Dec 11
to acl2-...@googlegroups.com
Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 56b65dffac4800bf58184ee45204b1b53c27d026
https://github.com/acl2/acl2/commit/56b65dffac4800bf58184ee45204b1b53c27d026
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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-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/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: e0f5712f39f7db496258501e4858edc6dc540b1f
https://github.com/acl2/acl2/commit/e0f5712f39f7db496258501e4858edc6dc540b1f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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-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
Log Message:
-----------
[C$] Improve some AST names.
Commit: 90e3d40cf6487ab38e0e3bd209b39e92c1052aa3
https://github.com/acl2/acl2/commit/90e3d40cf6487ab38e0e3bd209b39e92c1052aa3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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/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
Log Message:
-----------
[C$] Improve some AST names.
Commit: 3632829920bf5398cd8b9b7031de58011c62d288
https://github.com/acl2/acl2/commit/3632829920bf5398cd8b9b7031de58011c62d288
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 2cd3cecf747cdcc7bc07be8e2f92f06fafad3462
https://github.com/acl2/acl2/commit/2cd3cecf747cdcc7bc07be8e2f92f06fafad3462
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 86c39f723f602e9414708fe45ea09ccaaf44900c
https://github.com/acl2/acl2/commit/86c39f723f602e9414708fe45ea09ccaaf44900c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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/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/standard.lisp
M books/kestrel/c/syntax/tests/validator.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/proof-generation.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.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 535fb11fec14e5b7547cc26f2b90efc131b11770
https://github.com/acl2/acl2/commit/535fb11fec14e5b7547cc26f2b90efc131b11770
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.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/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/standard.lisp
M books/kestrel/c/syntax/tests/validator.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/proof-generation.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 10e03fcc6d3e233a2c312ed658f19356178ddb7e
https://github.com/acl2/acl2/commit/10e03fcc6d3e233a2c312ed658f19356178ddb7e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.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/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/validator.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/proof-generation-theorems.lisp
M books/kestrel/c/transformation/proof-generation.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.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/utilities/call-graph.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
M books/kestrel/c/transformation/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: f37a2207fef6ad05db43084e62d1f954e78006ed
https://github.com/acl2/acl2/commit/f37a2207fef6ad05db43084e62d1f954e78006ed
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.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/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/standard.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/proof-generation.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.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: bb24e6b61b0768cdaebb167fc92d6d3074d5589d
https://github.com/acl2/acl2/commit/bb24e6b61b0768cdaebb167fc92d6d3074d5589d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 091b1379e5c1b4d950a9f916a2a20ecfe24732bc
https://github.com/acl2/acl2/commit/091b1379e5c1b4d950a9f916a2a20ecfe24732bc
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)
Changed paths:
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/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/tests/validator.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/proof-generation-theorems.lisp
M books/kestrel/c/transformation/proof-generation.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/utilities/call-graph.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:
-----------
[C$] Improve some AST names.
Commit: 5a2a272092287067f43820f51c9f6806a7efafbf
https://github.com/acl2/acl2/commit/5a2a272092287067f43820f51c9f6806a7efafbf
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/purity.lisp
M books/kestrel/c/syntax/standard.lisp
M books/kestrel/c/syntax/unambiguity.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 38c1c01746a28ac608bcc6e916451ec48704ba3e
https://github.com/acl2/acl2/commit/38c1c01746a28ac608bcc6e916451ec48704ba3e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)
Changed paths:
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/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 8d707f202755edf5f60cdb71766e289d860560a3
https://github.com/acl2/acl2/commit/8d707f202755edf5f60cdb71766e289d860560a3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 97c0745b1329c595a301fd3e584c333d2fb95f83
https://github.com/acl2/acl2/commit/97c0745b1329c595a301fd3e584c333d2fb95f83
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)
Changed paths:
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/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/validation-information.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/call-graph.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 8cd4be21666caaad328dd2b4d591030e6e4d9733
https://github.com/acl2/acl2/commit/8cd4be21666caaad328dd2b4d591030e6e4d9733
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/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/standard.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.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 88c9f78da6d0115738455bd17ab28e213c647dc7
https://github.com/acl2/acl2/commit/88c9f78da6d0115738455bd17ab28e213c647dc7
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/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/standard.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.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 818347cc89129f9e431e6a3ffc24575017a7cc05
https://github.com/acl2/acl2/commit/818347cc89129f9e431e6a3ffc24575017a7cc05
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-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/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/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/rename-fn.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 9b5f9352497d621087e39fd1863e2c386cf23feb
https://github.com/acl2/acl2/commit/9b5f9352497d621087e39fd1863e2c386cf23feb
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-11 (Thu, 11 Dec 2025)
Changed paths:
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:
-----------
Added "-exports" books showing the encapsulate generated by translation of HOL theories to ACL2(zfc)
Commit: 5c2bcedfa1802fdcba082ddfc164246369e59efd
https://github.com/acl2/acl2/commit/5c2bcedfa1802fdcba082ddfc164246369e59efd
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-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.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/standard.lisp
M books/kestrel/c/syntax/tests/disambiguator.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/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/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: e293cff483c5bbf5f2064a597147f597bea7df9f
https://github.com/acl2/acl2/commit/e293cff483c5bbf5f2064a597147f597bea7df9f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/preprocessor.lisp
A books/kestrel/c/syntax/tests/preprocessor-lexer.lisp
A books/kestrel/c/syntax/tests/preprocessor-reader.lisp
R books/kestrel/c/syntax/tests/preprocessor.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.
Compare: https://github.com/acl2/acl2/compare/5a1033864c4c...e293cff483c5
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: 56b65dffac4800bf58184ee45204b1b53c27d026
https://github.com/acl2/acl2/commit/56b65dffac4800bf58184ee45204b1b53c27d026
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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-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/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: e0f5712f39f7db496258501e4858edc6dc540b1f
https://github.com/acl2/acl2/commit/e0f5712f39f7db496258501e4858edc6dc540b1f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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-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
Log Message:
-----------
[C$] Improve some AST names.
Commit: 90e3d40cf6487ab38e0e3bd209b39e92c1052aa3
https://github.com/acl2/acl2/commit/90e3d40cf6487ab38e0e3bd209b39e92c1052aa3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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/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
Log Message:
-----------
[C$] Improve some AST names.
Commit: 3632829920bf5398cd8b9b7031de58011c62d288
https://github.com/acl2/acl2/commit/3632829920bf5398cd8b9b7031de58011c62d288
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 2cd3cecf747cdcc7bc07be8e2f92f06fafad3462
https://github.com/acl2/acl2/commit/2cd3cecf747cdcc7bc07be8e2f92f06fafad3462
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 86c39f723f602e9414708fe45ea09ccaaf44900c
https://github.com/acl2/acl2/commit/86c39f723f602e9414708fe45ea09ccaaf44900c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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/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/standard.lisp
M books/kestrel/c/syntax/tests/validator.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/proof-generation.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.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 535fb11fec14e5b7547cc26f2b90efc131b11770
https://github.com/acl2/acl2/commit/535fb11fec14e5b7547cc26f2b90efc131b11770
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.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/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/standard.lisp
M books/kestrel/c/syntax/tests/validator.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/proof-generation.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 10e03fcc6d3e233a2c312ed658f19356178ddb7e
https://github.com/acl2/acl2/commit/10e03fcc6d3e233a2c312ed658f19356178ddb7e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.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/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/validator.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/proof-generation-theorems.lisp
M books/kestrel/c/transformation/proof-generation.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.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/utilities/call-graph.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
M books/kestrel/c/transformation/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: f37a2207fef6ad05db43084e62d1f954e78006ed
https://github.com/acl2/acl2/commit/f37a2207fef6ad05db43084e62d1f954e78006ed
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.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/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/standard.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/proof-generation.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.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/utilities/call-graph.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: bb24e6b61b0768cdaebb167fc92d6d3074d5589d
https://github.com/acl2/acl2/commit/bb24e6b61b0768cdaebb167fc92d6d3074d5589d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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/parser.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 091b1379e5c1b4d950a9f916a2a20ecfe24732bc
https://github.com/acl2/acl2/commit/091b1379e5c1b4d950a9f916a2a20ecfe24732bc
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)
Changed paths:
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/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/tests/validator.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/proof-generation-theorems.lisp
M books/kestrel/c/transformation/proof-generation.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/utilities/call-graph.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:
-----------
[C$] Improve some AST names.
Commit: 5a2a272092287067f43820f51c9f6806a7efafbf
https://github.com/acl2/acl2/commit/5a2a272092287067f43820f51c9f6806a7efafbf
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/purity.lisp
M books/kestrel/c/syntax/standard.lisp
M books/kestrel/c/syntax/unambiguity.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 38c1c01746a28ac608bcc6e916451ec48704ba3e
https://github.com/acl2/acl2/commit/38c1c01746a28ac608bcc6e916451ec48704ba3e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 Dec 2025)
Changed paths:
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/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 8d707f202755edf5f60cdb71766e289d860560a3
https://github.com/acl2/acl2/commit/8d707f202755edf5f60cdb71766e289d860560a3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-10 (Wed, 10 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/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 97c0745b1329c595a301fd3e584c333d2fb95f83
https://github.com/acl2/acl2/commit/97c0745b1329c595a301fd3e584c333d2fb95f83
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)
Changed paths:
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/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/validation-information.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/call-graph.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 8cd4be21666caaad328dd2b4d591030e6e4d9733
https://github.com/acl2/acl2/commit/8cd4be21666caaad328dd2b4d591030e6e4d9733
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/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/standard.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.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 88c9f78da6d0115738455bd17ab28e213c647dc7
https://github.com/acl2/acl2/commit/88c9f78da6d0115738455bd17ab28e213c647dc7
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/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/standard.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.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/specialize.lisp
M books/kestrel/c/transformation/split-fn.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 818347cc89129f9e431e6a3ffc24575017a7cc05
https://github.com/acl2/acl2/commit/818347cc89129f9e431e6a3ffc24575017a7cc05
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-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/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/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/rename-fn.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 9b5f9352497d621087e39fd1863e2c386cf23feb
https://github.com/acl2/acl2/commit/9b5f9352497d621087e39fd1863e2c386cf23feb
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-11 (Thu, 11 Dec 2025)
Changed paths:
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:
-----------
Added "-exports" books showing the encapsulate generated by translation of HOL theories to ACL2(zfc)
Commit: 5c2bcedfa1802fdcba082ddfc164246369e59efd
https://github.com/acl2/acl2/commit/5c2bcedfa1802fdcba082ddfc164246369e59efd
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-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.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/standard.lisp
M books/kestrel/c/syntax/tests/disambiguator.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/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/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: e293cff483c5bbf5f2064a597147f597bea7df9f
https://github.com/acl2/acl2/commit/e293cff483c5bbf5f2064a597147f597bea7df9f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-11 (Thu, 11 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/preprocessor.lisp
A books/kestrel/c/syntax/tests/preprocessor-lexer.lisp
A books/kestrel/c/syntax/tests/preprocessor-reader.lisp
R books/kestrel/c/syntax/tests/preprocessor.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.
Compare: https://github.com/acl2/acl2/compare/5a1033864c4c...e293cff483c5
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Alessandro Coglio
Dec 11, 2025, 6:20:15 PM (5 days ago) Dec 11
to acl2-...@googlegroups.com
Alessandro Coglio
Dec 11, 2025, 6:20:39 PM (5 days ago) Dec 11
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Alessandro Coglio
Dec 11, 2025, 6:21:39 PM (5 days ago) Dec 11
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Compare: https://github.com/acl2/acl2/compare/5a1033864c4c...e293cff483c5
Commit: 9b5f9352497d621087e39fd1863e2c386cf23feb
https://github.com/acl2/acl2/commit/9b5f9352497d621087e39fd1863e2c386cf23feb
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
https://github.com/acl2/acl2/commit/9b5f9352497d621087e39fd1863e2c386cf23feb
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2025-12-11 (Thu, 11 Dec 2025)
Changed paths:
Changed paths:
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:
-----------
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:
-----------
Added "-exports" books showing the encapsulate generated by translation of HOL theories to ACL2(zfc)
Reply all
Reply to author
Forward
0 new messages