[acl2/acl2] f7d269: [Remora] Add two result fixtypes.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: f7d269746f34cbffafe8f09fd143800bfd7eaa23
https://github.com/acl2/acl2/commit/f7d269746f34cbffafe8f09fd143800bfd7eaa23
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)

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

Log Message:
-----------
[Remora] Add two result fixtypes.


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

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

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


Commit: 3ad03783c1082981b3d2f4f1957a6c78ae65a773
https://github.com/acl2/acl2/commit/3ad03783c1082981b3d2f4f1957a6c78ae65a773
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)

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

Log Message:
-----------
[Remora] Start evaluation of expressions.


Commit: 4fff79edb8f6c9f43890b1027fb8916a133e665d
https://github.com/acl2/acl2/commit/4fff79edb8f6c9f43890b1027fb8916a133e665d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)

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

Log Message:
-----------
[Remora] Add evaluation of variables.


Commit: 85494f73ac3214983584d98c6167ae51ec660a1a
https://github.com/acl2/acl2/commit/85494f73ac3214983584d98c6167ae51ec660a1a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-31 (Sun, 31 May 2026)

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

Log Message:
-----------
[Remora] Add evaluation of atom expressions.


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

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

Log Message:
-----------
[Remora] Add evaluation of base atoms.


Compare: https://github.com/acl2/acl2/compare/4497750e0cc3...f669fa1d29be

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

[Alessandro Coglio]

Branch: refs/heads/testing