[acl2/acl2] a3495a: [Remora] Add a fixtype.

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: a3495a4006f371410e4856002e918a01d394d26d
https://github.com/acl2/acl2/commit/a3495a4006f371410e4856002e918a01d394d26d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-05 (Sun, 05 Jul 2026)

Changed paths:
M books/kestrel/remora/values.lisp

Log Message:
-----------
[Remora] Add a fixtype.


Commit: 5900cafc5d3c559ff17ba41fba1389182beabae8
https://github.com/acl2/acl2/commit/5900cafc5d3c559ff17ba41fba1389182beabae8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-05 (Sun, 05 Jul 2026)

Changed paths:
M books/kestrel/remora/dynamic-environments.lisp

Log Message:
-----------
[Remora] Add op on dynamic environments.


Commit: 3686ae31aa98376d601a6e726d72cddfae5c056b
https://github.com/acl2/acl2/commit/3686ae31aa98376d601a6e726d72cddfae5c056b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-05 (Sun, 05 Jul 2026)

Changed paths:
M books/kestrel/remora/values.lisp

Log Message:
-----------
[Remora] Add a fixtype.


Commit: b61d3790789580bb78bcb230d0e44f55391fc282
https://github.com/acl2/acl2/commit/b61d3790789580bb78bcb230d0e44f55391fc282
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-05 (Sun, 05 Jul 2026)

Changed paths:
M books/kestrel/remora/dynamic-environments.lisp

Log Message:
-----------
[Remora] Add two ops on dynamic environments.


Commit: d504f95fa058b0f7da66665f5a78178189e37731
https://github.com/acl2/acl2/commit/d504f95fa058b0f7da66665f5a78178189e37731
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-05 (Sun, 05 Jul 2026)

Changed paths:
M books/kestrel/remora/dynamic-environments.lisp

Log Message:
-----------
[Remora] Add a theorem.


Commit: e32dd0187b37e1a83c855726d92c4b2613594cef
https://github.com/acl2/acl2/commit/e32dd0187b37e1a83c855726d92c4b2613594cef
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-05 (Sun, 05 Jul 2026)

Changed paths:
M books/kestrel/remora/evaluation.lisp

Log Message:
-----------
[Remora] Use new ops on dynamic environments.


Commit: 51efa1306deb49c79375814d9145600a717213e2
https://github.com/acl2/acl2/commit/51efa1306deb49c79375814d9145600a717213e2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-06 (Mon, 06 Jul 2026)

Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/evaluation.lisp

Log Message:
-----------
[Remora] Change return types of dynamic environment lookups.

Have them return errors when the variables are not found, so that the code that
calls them is simpler.


Commit: de3799fd413883c551904742e198bedbfd84db45
https://github.com/acl2/acl2/commit/de3799fd413883c551904742e198bedbfd84db45
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-06 (Mon, 06 Jul 2026)

Changed paths:
M books/kestrel/remora/package.lsp

Log Message:
-----------
[Remora] Import a symbol.


Commit: 493fd8d463559f5fe0180f691529e65fe924248d
https://github.com/acl2/acl2/commit/493fd8d463559f5fe0180f691529e65fe924248d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-06 (Mon, 06 Jul 2026)

Changed paths:
M books/kestrel/remora/values.lisp

Log Message:
-----------
[Remora] Add a theorem.


Commit: 212052e8dc317c3c2d20a8f9ba3f7da1a469a237
https://github.com/acl2/acl2/commit/212052e8dc317c3c2d20a8f9ba3f7da1a469a237
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-06 (Mon, 06 Jul 2026)

Changed paths:
M books/kestrel/remora/evaluation.lisp

Log Message:
-----------
[Remora] Simplify a run-time check.


Commit: fbed0e501b819fcce7292f675231782332df0ec6
https://github.com/acl2/acl2/commit/fbed0e501b819fcce7292f675231782332df0ec6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-06 (Mon, 06 Jul 2026)

Changed paths:
M books/kestrel/remora/dynamic-semantics.lisp
A books/kestrel/remora/evaluation-rules.lisp

Log Message:
-----------
[Remora] Start adding rules for evaluation.


Commit: c216245d15860057606485a3fed9d0f71053a3dc
https://github.com/acl2/acl2/commit/c216245d15860057606485a3fed9d0f71053a3dc
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-06 (Mon, 06 Jul 2026)

Changed paths:
A books/kestrel/remora/dimension-equivalence-infrules.lisp
R books/kestrel/remora/dimension-equivalence-rules.lisp
M books/kestrel/remora/static-semantics.lisp

Log Message:
-----------
[Remora] Rename a file and topic.

To avoid confusion with ACL2 rules.


Commit: c664fb0e948a5701e7ab75c215dbc70547f468b2
https://github.com/acl2/acl2/commit/c664fb0e948a5701e7ab75c215dbc70547f468b2
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-06 (Mon, 06 Jul 2026)

Changed paths:
M books/kestrel/remora/static-semantics.lisp

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


Commit: acc2440a0255b9f4cd661429589d6a7ccf20b2dc
https://github.com/acl2/acl2/commit/acc2440a0255b9f4cd661429589d6a7ccf20b2dc
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-06 (Mon, 06 Jul 2026)

Changed paths:
M books/centaur/fty/docgen.lisp

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


Compare: https://github.com/acl2/acl2/compare/0de56b25e57f...acc2440a0255

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