[acl2/acl2] bed064: [Remora] Reorder result fixtypes for ASTs.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: bed0644cbefc2634a9bc004ef84e8e78b678ecf7
https://github.com/acl2/acl2/commit/bed0644cbefc2634a9bc004ef84e8e78b678ecf7
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-derived-fixtypes.lisp

Log Message:
-----------
[Remora] Reorder result fixtypes for ASTs.

Follow the same order as in the AST definitions.

No functional change, just layout.


Commit: 0e4a22f9ef2c56fd2cefefced0e9650d066d062d
https://github.com/acl2/acl2/commit/0e4a22f9ef2c56fd2cefefced0e9650d066d062d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-core.lisp

Log Message:
-----------
[Remora] Update some doc.


Commit: 6a2fdd877aaa6eee1799818d9667a21303e6e434
https://github.com/acl2/acl2/commit/6a2fdd877aaa6eee1799818d9667a21303e6e434
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/kestrel/remora/type-checking.lisp

Log Message:
-----------
[Remora] Rename a function clique to be more descriptive.


Commit: 92f6ccf001d4d19bd891e8d3f587c88455433731
https://github.com/acl2/acl2/commit/92f6ccf001d4d19bd891e8d3f587c88455433731
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/kestrel/remora/type-checking.lisp

Log Message:
-----------
[Remora] Add some fixtypes.

These are for upcoming new results of the type checking functions.


Commit: 45a102b3836da6e2a6710b6c1aaeeafcdb40c3fb
https://github.com/acl2/acl2/commit/45a102b3836da6e2a6710b6c1aaeeafcdb40c3fb
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/kestrel/remora/type-checking.lisp

Log Message:
-----------
[Remora] Extend structure of type checking.

Have the functions also return the AST, unchanged for now.


Commit: f7117151814d1467478d1cb66a2abcf5dc46b32f
https://github.com/acl2/acl2/commit/f7117151814d1467478d1cb66a2abcf5dc46b32f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/kestrel/remora/type-checking.lisp

Log Message:
-----------
[Remora] Also prepare for annotating whole program.


Commit: 7055b512c42b0d96aa4b29cd35c2af960e9ccf01
https://github.com/acl2/acl2/commit/7055b512c42b0d96aa4b29cd35c2af960e9ccf01
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/kestrel/remora/type-checking.lisp

Log Message:
-----------
[Remora] Further improve type checker structure.

Built output ASTs from outputs for sub-ASTs, again in preparation for actual
transformation.


Commit: 977322abd6c304df058a423485666d084959e4fb
https://github.com/acl2/acl2/commit/977322abd6c304df058a423485666d084959e4fb
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/projects/set-theory/topology/compact-is-normal.lisp

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


Commit: 72f064198a1678ea31134d1fa7538b808d15ed72
https://github.com/acl2/acl2/commit/72f064198a1678ea31134d1fa7538b808d15ed72
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-28 (Sun, 28 Jun 2026)

Changed paths:
M books/kestrel/x86/assumptions.lisp
M books/projects/set-theory/topology/compact-is-normal.lisp
M books/projects/x86isa/utils/structures.lisp

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


Commit: d7b1914e6a9d074bd1f5d449eab60086442fed2e
https://github.com/acl2/acl2/commit/d7b1914e6a9d074bd1f5d449eab60086442fed2e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-28 (Sun, 28 Jun 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/type-checking.lisp

Log Message:
-----------
[Remora] Have type checker annotate ASTs.


Commit: 3155196731c9fed650356709a0946092d84f7f23
https://github.com/acl2/acl2/commit/3155196731c9fed650356709a0946092d84f7f23
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-28 (Sun, 28 Jun 2026)

Changed paths:
M books/kestrel/fty/top.lisp

Log Message:
-----------
[FTY] Reorder some book inclusions for clarity.


Commit: 0d5f1dcf3432fcd117e7c3f27cffbbb4b1d0e007
https://github.com/acl2/acl2/commit/0d5f1dcf3432fcd117e7c3f27cffbbb4b1d0e007
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-28 (Sun, 28 Jun 2026)

Changed paths:
A books/kestrel/fty/bin-digit-char-list-result.lisp
A books/kestrel/fty/dec-digit-char-list-result.lisp
A books/kestrel/fty/hex-digit-char-list-result.lisp
A books/kestrel/fty/oct-digit-char-list-result.lisp
M books/kestrel/fty/top.lisp

Log Message:
-----------
[FTY] Add some result fixtypes.


Commit: 1233942dcf2d154866398bd48fc7c3b9bdcb2d2a
https://github.com/acl2/acl2/commit/1233942dcf2d154866398bd48fc7c3b9bdcb2d2a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-28 (Sun, 28 Jun 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-derived-fixtypes.lisp
M books/kestrel/remora/package.lsp
M books/kestrel/remora/syntax-abstraction.lisp

Log Message:
-----------
[Remora] Take some fixtypes from the library.


Commit: fd261d8c997c06bd260d5b16e3c5e92af7a19e9e
https://github.com/acl2/acl2/commit/fd261d8c997c06bd260d5b16e3c5e92af7a19e9e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-28 (Sun, 28 Jun 2026)

Changed paths:
A books/projects/set-theory/topology/closed-subspace-is-compact.lisp

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


Compare: https://github.com/acl2/acl2/compare/0ebe09cad6a1...fd261d8c997c

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

[Alessandro Coglio]

Branch: refs/heads/testing