[acl2/acl2] 195c0e: [Remora] Improve some layout.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 195c0edfb24422a2c01841d1cbb9627124e395c3
https://github.com/acl2/acl2/commit/195c0edfb24422a2c01841d1cbb9627124e395c3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

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

Log Message:
-----------
[Remora] Improve some layout.


Commit: 4e97e682c5f4d6cd695de95464809f695dc5592a
https://github.com/acl2/acl2/commit/4e97e682c5f4d6cd695de95464809f695dc5592a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

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

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


Commit: 1d49e52d0e5e3aba1864a2b81279420a7b1ea7a0
https://github.com/acl2/acl2/commit/1d49e52d0e5e3aba1864a2b81279420a7b1ea7a0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

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

Log Message:
-----------
[Remora] Add an AST matching operation.


Commit: 6cef7deb3dd0f434b0075a17b4160e0b71e7e99a
https://github.com/acl2/acl2/commit/6cef7deb3dd0f434b0075a17b4160e0b71e7e99a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

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

Log Message:
-----------
[Remora] Add some structural operations.


Commit: 855e47191e34a4c579a4712ba1ac911d9dd0949e
https://github.com/acl2/acl2/commit/855e47191e34a4c579a4712ba1ac911d9dd0949e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

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

Log Message:
-----------
[Remora] Reorder some code within file.


Commit: 9d116a8f48f38247a7db1b1f81cc58aad667408a
https://github.com/acl2/acl2/commit/9d116a8f48f38247a7db1b1f81cc58aad667408a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

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

Log Message:
-----------
[Remora] Add more derived fixtypes.


Commit: 489568fc3172e70d781265d9bf014c1e1f21b11b
https://github.com/acl2/acl2/commit/489568fc3172e70d781265d9bf014c1e1f21b11b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

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

Log Message:
-----------
[Remora] Add a matching operation.


Commit: be0cdffb35ae1b311bc45cd86d00885c829d7048
https://github.com/acl2/acl2/commit/be0cdffb35ae1b311bc45cd86d00885c829d7048
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

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

Log Message:
-----------
[Remora] Fix some LaTeX.


Commit: 6e34985d73e82c4862cd7ec150d622f7bee100cd
https://github.com/acl2/acl2/commit/6e34985d73e82c4862cd7ec150d622f7bee100cd
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

Changed paths:
M books/kestrel/remora/index-equivalence.lisp

Log Message:
-----------
[Remora] Refine index normalization.

Normalize singleton concatenations to their only element.


Commit: c1ca9ea27e911fac6a5fbf970ce64d70cf531aaa
https://github.com/acl2/acl2/commit/c1ca9ea27e911fac6a5fbf970ce64d70cf531aaa
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

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

Log Message:
-----------
[Remove] Advance type checking.

Start fleshing out the type checking of term application, which involves several
aspects.


Commit: 10c35b3ad3abab6c5b8ad0d9b2909aa25601b9a3
https://github.com/acl2/acl2/commit/10c35b3ad3abab6c5b8ad0d9b2909aa25601b9a3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

Changed paths:
M books/kestrel/c/syntax/concrete-syntax.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/preprocessor-lexer.lisp
A books/kestrel/c/syntax/tests/disamb-example2/guarded-included.h
A books/kestrel/c/syntax/tests/disamb-example2/including.c
A books/kestrel/c/syntax/tests/disamb-example2/including1.c
A books/kestrel/c/syntax/tests/disamb-example2/including2.c
M books/kestrel/c/syntax/tests/disambiguator-trans-ensembles.lisp
M books/kestrel/c/syntax/top.lisp
A books/kestrel/c/syntax/translation-unit-comparison.lisp

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


Compare: https://github.com/acl2/acl2/compare/9c99457b5f7f...10c35b3ad3ab

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

[acl2buildserver]

Branch: refs/heads/testing-kestrel

Commit: 34a655e21455775507b64e660e64600e55b07443
https://github.com/acl2/acl2/commit/34a655e21455775507b64e660e64600e55b07443

Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

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

Log Message:
-----------

[Remora] Fix doc.


Commit: db2285689bff5ef38514ad60df6d3113162f9431
https://github.com/acl2/acl2/commit/db2285689bff5ef38514ad60df6d3113162f9431

Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-13 (Mon, 13 Apr 2026)

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

Log Message:
-----------

[Remora] Fix XDOC markup.


Commit: 7f286f3f337d2bbd7e5fec9a9e6746f32dd14c2f
https://github.com/acl2/acl2/commit/7f286f3f337d2bbd7e5fec9a9e6746f32dd14c2f
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-04-14 (Tue, 14 Apr 2026)

Changed paths:
M books/quicklisp/top.lisp

Log Message:
-----------
Merge commit '2cc826297ddeba755e0cc655583132884c6d1610' into HEAD


Compare: https://github.com/acl2/acl2/compare/2cc826297dde...7f286f3f337d