[acl2/acl2] 177884: [remora] handle exponentiation evaluation and smal...

0 views
Skip to first unread message

Eric McCarthy

unread,
Jul 8, 2026, 12:22:54 AM (4 days ago) Jul 8
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 17788409c44fd4fdce3d8c882fefcaead9bfbcaf
https://github.com/acl2/acl2/commit/17788409c44fd4fdce3d8c882fefcaead9bfbcaf
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-07-07 (Tue, 07 Jul 2026)

Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/primitives-evaluation-tests.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/values.lisp

Log Message:
-----------
[remora] handle exponentiation evaluation and small changes for "div" -> "/"



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

acl2buildserver

unread,
Jul 8, 2026, 1:57:29 AM (4 days ago) Jul 8
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 17788409c44fd4fdce3d8c882fefcaead9bfbcaf
https://github.com/acl2/acl2/commit/17788409c44fd4fdce3d8c882fefcaead9bfbcaf
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-07-07 (Tue, 07 Jul 2026)

Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/primitives-evaluation-tests.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/values.lisp

Log Message:
-----------
[remora] handle exponentiation evaluation and small changes for "div" -> "/"


Commit: 784678140141c00327f73bddc030a46d53dd1068
https://github.com/acl2/acl2/commit/784678140141c00327f73bddc030a46d53dd1068
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-07-07 (Tue, 07 Jul 2026)

Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/primitives-evaluation-tests.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/values.lisp

Log Message:
-----------
Merge commit '17788409c44fd4fdce3d8c882fefcaead9bfbcaf' into HEAD


Compare: https://github.com/acl2/acl2/compare/90bb9cfc27ee...784678140141

acl2buildserver

unread,
Jul 8, 2026, 2:01:53 AM (4 days ago) Jul 8
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages