[acl2/acl2] cfefb5: [C$] Advance preprocessor.
0 views
Skip to first unread message
Alessandro Coglio
Dec 5, 2025, 4:47:05 PM (2 days ago) Dec 5
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: cfefb5d8e6800f9636c1a570f0f20b97e89d8012
https://github.com/acl2/acl2/commit/cfefb5d8e6800f9636c1a570f0f20b97e89d8012
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-04 (Thu, 04 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/preprocessor.lisp
Log Message:
-----------
[C$] Advance preprocessor.
Add tokenizer.
Commit: 83ef3861a986d6fb9c6e7781e70b3dc891ac5357
https://github.com/acl2/acl2/commit/83ef3861a986d6fb9c6e7781e70b3dc891ac5357
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-04 (Thu, 04 Dec 2025)
Changed paths:
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/printer.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/split-gso.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
Merge.
Commit: bfdafd9a87e5abbabafb55db09e788b5bbf7dec6
https://github.com/acl2/acl2/commit/bfdafd9a87e5abbabafb55db09e788b5bbf7dec6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-04 (Thu, 04 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/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/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: 48ecf0eb37040cb1d6ede627b81da05ebbb963a0
https://github.com/acl2/acl2/commit/48ecf0eb37040cb1d6ede627b81da05ebbb963a0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/axe/convert-to-bv-rules-axe.lisp
M books/kestrel/axe/known-booleans.lisp
M books/kestrel/axe/rule-lists.lisp
M books/kestrel/axe/trim-intro-rules-axe.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-1a-elf64.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-elf64.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-elf64staticO2.lisp
M books/kestrel/axe/x86/examples/switch/switch-macho64.lisp
M books/kestrel/axe/x86/rule-lists.lisp
M books/kestrel/axe/x86/x86-rules.lisp
M books/kestrel/bv/bvsx.lisp
M books/kestrel/bv/convert-to-bv-rules.lisp
M books/kestrel/bv/trim-intro-rules.lisp
M books/kestrel/x86/canonical-unsigned.lisp
M books/kestrel/x86/read-and-write.lisp
Log Message:
-----------
Merge.
Commit: 859c1e92d06f958d5c8dc19f614086c423902406
https://github.com/acl2/acl2/commit/859c1e92d06f958d5c8dc19f614086c423902406
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/validator.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: bd20b8aa1f7023b2a805985b28e53f3f3abb7879
https://github.com/acl2/acl2/commit/bd20b8aa1f7023b2a805985b28e53f3f3abb7879
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 9202202dfd1cfc2b8a6c8a221b6ee65f5a0164a3
https://github.com/acl2/acl2/commit/9202202dfd1cfc2b8a6c8a221b6ee65f5a0164a3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 17ae2fa4f05fb0cbde5fead656a985019cc41a47
https://github.com/acl2/acl2/commit/17ae2fa4f05fb0cbde5fead656a985019cc41a47
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 720091317e22591de4b7048351ef3ee77ce54d2e
https://github.com/acl2/acl2/commit/720091317e22591de4b7048351ef3ee77ce54d2e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: b7e96d5a9282e96b55cfa0b9653354743083588e
https://github.com/acl2/acl2/commit/b7e96d5a9282e96b55cfa0b9653354743083588e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 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
Log Message:
-----------
[C$] Improve some AST names.
Commit: 1fbe2440f197c0564b25901cb8388b365e22efce
https://github.com/acl2/acl2/commit/1fbe2440f197c0564b25901cb8388b365e22efce
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 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/formalized.lisp
M books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/tests/disambiguator.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/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: 4847349e15720c4927192b59e9fced66a7f7ede4
https://github.com/acl2/acl2/commit/4847349e15720c4927192b59e9fced66a7f7ede4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/parser.lisp
Log Message:
-----------
[C$] Fix a doc reference.
Commit: 10504252ce9658efe6cca734ad60fc041ff2c8e6
https://github.com/acl2/acl2/commit/10504252ce9658efe6cca734ad60fc041ff2c8e6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/file-paths.lisp
Log Message:
-----------
[C$] Add a fixtype.
Commit: 563cd83bbca5c8871223811a31c10005772f571d
https://github.com/acl2/acl2/commit/563cd83bbca5c8871223811a31c10005772f571d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/files.lisp
Log Message:
-----------
[C$] Add an irrelevant.
Commit: 135396cccbfd1d527713ef6887fde20693915ffb
https://github.com/acl2/acl2/commit/135396cccbfd1d527713ef6887fde20693915ffb
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
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/tests/validator.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/utilities/call-graph.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 3d4d935d14d7e4fb6a99436d285f435f099b14d9
https://github.com/acl2/acl2/commit/3d4d935d14d7e4fb6a99436d285f435f099b14d9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/axe/convert-to-bv-rules-axe.lisp
M books/kestrel/axe/known-booleans.lisp
M books/kestrel/axe/rule-lists.lisp
M books/kestrel/axe/trim-intro-rules-axe.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-1a-elf64.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-elf64.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-elf64staticO2.lisp
M books/kestrel/axe/x86/examples/switch/switch-macho64.lisp
M books/kestrel/axe/x86/rule-lists.lisp
M books/kestrel/axe/x86/x86-rules.lisp
M books/kestrel/bv/bvsx.lisp
M books/kestrel/bv/convert-to-bv-rules.lisp
M books/kestrel/bv/trim-intro-rules.lisp
M books/kestrel/c/syntax/file-paths.lisp
M books/kestrel/c/syntax/files.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/x86/canonical-unsigned.lisp
M books/kestrel/x86/read-and-write.lisp
Log Message:
-----------
Merge.
Compare: https://github.com/acl2/acl2/compare/02fadb48544e...3d4d935d14d7
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: cfefb5d8e6800f9636c1a570f0f20b97e89d8012
https://github.com/acl2/acl2/commit/cfefb5d8e6800f9636c1a570f0f20b97e89d8012
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-04 (Thu, 04 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/preprocessor.lisp
Log Message:
-----------
[C$] Advance preprocessor.
Add tokenizer.
Commit: 83ef3861a986d6fb9c6e7781e70b3dc891ac5357
https://github.com/acl2/acl2/commit/83ef3861a986d6fb9c6e7781e70b3dc891ac5357
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-04 (Thu, 04 Dec 2025)
Changed paths:
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/printer.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/split-gso.lisp
M books/kestrel/c/transformation/utilities/free-vars.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
Merge.
Commit: bfdafd9a87e5abbabafb55db09e788b5bbf7dec6
https://github.com/acl2/acl2/commit/bfdafd9a87e5abbabafb55db09e788b5bbf7dec6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-04 (Thu, 04 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/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/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: 48ecf0eb37040cb1d6ede627b81da05ebbb963a0
https://github.com/acl2/acl2/commit/48ecf0eb37040cb1d6ede627b81da05ebbb963a0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/axe/convert-to-bv-rules-axe.lisp
M books/kestrel/axe/known-booleans.lisp
M books/kestrel/axe/rule-lists.lisp
M books/kestrel/axe/trim-intro-rules-axe.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-1a-elf64.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-elf64.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-elf64staticO2.lisp
M books/kestrel/axe/x86/examples/switch/switch-macho64.lisp
M books/kestrel/axe/x86/rule-lists.lisp
M books/kestrel/axe/x86/x86-rules.lisp
M books/kestrel/bv/bvsx.lisp
M books/kestrel/bv/convert-to-bv-rules.lisp
M books/kestrel/bv/trim-intro-rules.lisp
M books/kestrel/x86/canonical-unsigned.lisp
M books/kestrel/x86/read-and-write.lisp
Log Message:
-----------
Merge.
Commit: 859c1e92d06f958d5c8dc19f614086c423902406
https://github.com/acl2/acl2/commit/859c1e92d06f958d5c8dc19f614086c423902406
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/validator.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: bd20b8aa1f7023b2a805985b28e53f3f3abb7879
https://github.com/acl2/acl2/commit/bd20b8aa1f7023b2a805985b28e53f3f3abb7879
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 9202202dfd1cfc2b8a6c8a221b6ee65f5a0164a3
https://github.com/acl2/acl2/commit/9202202dfd1cfc2b8a6c8a221b6ee65f5a0164a3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 17ae2fa4f05fb0cbde5fead656a985019cc41a47
https://github.com/acl2/acl2/commit/17ae2fa4f05fb0cbde5fead656a985019cc41a47
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 720091317e22591de4b7048351ef3ee77ce54d2e
https://github.com/acl2/acl2/commit/720091317e22591de4b7048351ef3ee77ce54d2e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: b7e96d5a9282e96b55cfa0b9653354743083588e
https://github.com/acl2/acl2/commit/b7e96d5a9282e96b55cfa0b9653354743083588e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 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
Log Message:
-----------
[C$] Improve some AST names.
Commit: 1fbe2440f197c0564b25901cb8388b365e22efce
https://github.com/acl2/acl2/commit/1fbe2440f197c0564b25901cb8388b365e22efce
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 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/formalized.lisp
M books/kestrel/c/syntax/langdef-mapping.lisp
M books/kestrel/c/syntax/printer.lisp
M books/kestrel/c/syntax/tests/disambiguator.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/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: 4847349e15720c4927192b59e9fced66a7f7ede4
https://github.com/acl2/acl2/commit/4847349e15720c4927192b59e9fced66a7f7ede4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/parser.lisp
Log Message:
-----------
[C$] Fix a doc reference.
Commit: 10504252ce9658efe6cca734ad60fc041ff2c8e6
https://github.com/acl2/acl2/commit/10504252ce9658efe6cca734ad60fc041ff2c8e6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/file-paths.lisp
Log Message:
-----------
[C$] Add a fixtype.
Commit: 563cd83bbca5c8871223811a31c10005772f571d
https://github.com/acl2/acl2/commit/563cd83bbca5c8871223811a31c10005772f571d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/c/syntax/files.lisp
Log Message:
-----------
[C$] Add an irrelevant.
Commit: 135396cccbfd1d527713ef6887fde20693915ffb
https://github.com/acl2/acl2/commit/135396cccbfd1d527713ef6887fde20693915ffb
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
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/tests/validator.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/utilities/call-graph.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
Log Message:
-----------
[C$] Improve some AST names.
Commit: 3d4d935d14d7e4fb6a99436d285f435f099b14d9
https://github.com/acl2/acl2/commit/3d4d935d14d7e4fb6a99436d285f435f099b14d9
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/axe/convert-to-bv-rules-axe.lisp
M books/kestrel/axe/known-booleans.lisp
M books/kestrel/axe/rule-lists.lisp
M books/kestrel/axe/trim-intro-rules-axe.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-1a-elf64.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-elf64.lisp
M books/kestrel/axe/x86/examples/switch/switch-complex-elf64staticO2.lisp
M books/kestrel/axe/x86/examples/switch/switch-macho64.lisp
M books/kestrel/axe/x86/rule-lists.lisp
M books/kestrel/axe/x86/x86-rules.lisp
M books/kestrel/bv/bvsx.lisp
M books/kestrel/bv/convert-to-bv-rules.lisp
M books/kestrel/bv/trim-intro-rules.lisp
M books/kestrel/c/syntax/file-paths.lisp
M books/kestrel/c/syntax/files.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/x86/canonical-unsigned.lisp
M books/kestrel/x86/read-and-write.lisp
Log Message:
-----------
Merge.
Compare: https://github.com/acl2/acl2/compare/02fadb48544e...3d4d935d14d7
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Alessandro Coglio
Dec 5, 2025, 4:47:42 PM (2 days ago) Dec 5
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Alessandro Coglio
Dec 5, 2025, 5:04:24 PM (2 days ago) Dec 5
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Eric W. Smith
Dec 6, 2025, 11:59:15 AM (yesterday) Dec 6
to acl2-...@googlegroups.com
Branch: refs/heads/testing-acl2s
Commit: ab0ac943db540facf6128a0946141f840a49cfcc
https://github.com/acl2/acl2/commit/ab0ac943db540facf6128a0946141f840a49cfcc
Author: Eric Smith <ews...@gmail.com>
M books/kestrel/axe/basic-rules.lisp
M books/kestrel/axe/def-simplified.lisp
M books/kestrel/axe/rule-lists.lisp
M books/kestrel/axe/rules-in-rule-lists.lisp
M books/kestrel/axe/tactic-prover.lisp
Log Message:
-----------
[axe] Organize some supporting rules.
Commit: 648659da2e8f4c0d42b481fb00ffd02753998fe6
https://github.com/acl2/acl2/commit/648659da2e8f4c0d42b481fb00ffd02753998fe6
Author: Eric Smith <ews...@gmail.com>
M books/kestrel/c/syntax/files.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Commit: 9be633dd489626af5645fae703ad9e6cba143ad0
https://github.com/acl2/acl2/commit/9be633dd489626af5645fae703ad9e6cba143ad0
Author: Eric Smith <ews...@gmail.com>
Log Message:
-----------
[axe/x86] Build in a rule.
Commit: 11eed579166dc54b48b3c28ac19031aa16da96d7
https://github.com/acl2/acl2/commit/11eed579166dc54b48b3c28ac19031aa16da96d7
Author: Eric Smith <ews...@gmail.com>
Log Message:
-----------
[bv-lists] Generalize a rule.
Commit: fe9c90f01bc21d97674057478acd96327cb3092e
https://github.com/acl2/acl2/commit/fe9c90f01bc21d97674057478acd96327cb3092e
Author: Eric Smith <ews...@gmail.com>
M books/kestrel/axe/x86/examples/switch/switch-macho64.lisp
Log Message:
-----------
[axe/x86] Generalize supporting rule.
Compare: https://github.com/acl2/acl2/compare/02fadb48544e...fe9c90f01bc2
https://github.com/acl2/acl2/commit/ab0ac943db540facf6128a0946141f840a49cfcc
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-04 (Thu, 04 Dec 2025)
Changed paths:
M books/kestrel/axe/arithmetic-rules-axe.lisp
Changed paths:
M books/kestrel/axe/basic-rules.lisp
M books/kestrel/axe/def-simplified.lisp
M books/kestrel/axe/rule-lists.lisp
M books/kestrel/axe/rules-in-rule-lists.lisp
M books/kestrel/axe/tactic-prover.lisp
Log Message:
-----------
[axe] Organize some supporting rules.
https://github.com/acl2/acl2/commit/648659da2e8f4c0d42b481fb00ffd02753998fe6
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
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/file-paths.lisp
Changed paths:
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/files.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/preprocessor.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/disambiguator.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/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/utilities/free-vars.lisp
M books/kestrel/c/syntax/tests/disambiguator.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/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/utilities/subst-free.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
Log Message:
-----------
Merge.
Log Message:
-----------
Commit: 9be633dd489626af5645fae703ad9e6cba143ad0
https://github.com/acl2/acl2/commit/9be633dd489626af5645fae703ad9e6cba143ad0
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/axe/x86/rule-lists.lisp
Changed paths:
Log Message:
-----------
[axe/x86] Build in a rule.
Commit: 11eed579166dc54b48b3c28ac19031aa16da96d7
https://github.com/acl2/acl2/commit/11eed579166dc54b48b3c28ac19031aa16da96d7
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/bv-lists/bv-array-read-chunk-little.lisp
Changed paths:
Log Message:
-----------
[bv-lists] Generalize a rule.
Commit: fe9c90f01bc21d97674057478acd96327cb3092e
https://github.com/acl2/acl2/commit/fe9c90f01bc21d97674057478acd96327cb3092e
Author: Eric Smith <ews...@gmail.com>
Date: 2025-12-05 (Fri, 05 Dec 2025)
Changed paths:
M books/kestrel/axe/x86/examples/switch/support.lisp
Changed paths:
M books/kestrel/axe/x86/examples/switch/switch-macho64.lisp
Log Message:
-----------
[axe/x86] Generalize supporting rule.
Compare: https://github.com/acl2/acl2/compare/02fadb48544e...fe9c90f01bc2
Reply all
Reply to author
Forward
0 new messages