[acl2/acl2] c974be: [REMORA] new file primitives-evaluation-tests.lisp

[Alessandro Coglio]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: c974be18c125f1661aee2bcae93dbb2279ca5c3d
https://github.com/acl2/acl2/commit/c974be18c125f1661aee2bcae93dbb2279ca5c3d
Author: ltmquan <ltmqu...@gmail.com>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
A books/kestrel/remora/primitives-evaluation-tests.lisp

Log Message:
-----------
[REMORA] new file primitives-evaluation-tests.lisp


Commit: 9ccb3e0c940ef95a9f7f856fff96619ffb18c3c0
https://github.com/acl2/acl2/commit/9ccb3e0c940ef95a9f7f856fff96619ffb18c3c0
Author: Alessandro Coglio <2409151...@users.noreply.github.com>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
A books/kestrel/remora/primitives-evaluation-tests.lisp

Log Message:
-----------
Merge pull request #1963 from ltmquan/remora

[REMORA] new file primitives-evaluation-tests.lisp


Compare: https://github.com/acl2/acl2/compare/c2757d701065...9ccb3e0c940e

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

[acl2buildserver]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: c974be18c125f1661aee2bcae93dbb2279ca5c3d
https://github.com/acl2/acl2/commit/c974be18c125f1661aee2bcae93dbb2279ca5c3d
Author: ltmquan <ltmqu...@gmail.com>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
A books/kestrel/remora/primitives-evaluation-tests.lisp

Log Message:
-----------
[REMORA] new file primitives-evaluation-tests.lisp


Commit: 9ccb3e0c940ef95a9f7f856fff96619ffb18c3c0
https://github.com/acl2/acl2/commit/9ccb3e0c940ef95a9f7f856fff96619ffb18c3c0
Author: Alessandro Coglio <2409151...@users.noreply.github.com>
Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
A books/kestrel/remora/primitives-evaluation-tests.lisp

Log Message:
-----------
Merge pull request #1963 from ltmquan/remora

[REMORA] new file primitives-evaluation-tests.lisp

Commit: 0521b634ae68087ff873825c7a6a2144cb382a70
https://github.com/acl2/acl2/commit/0521b634ae68087ff873825c7a6a2144cb382a70
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-06-26 (Fri, 26 Jun 2026)

Changed paths:
A books/kestrel/remora/primitives-evaluation-tests.lisp

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

Merge commit '9ccb3e0c940ef95a9f7f856fff96619ffb18c3c0' into HEAD


Compare: https://github.com/acl2/acl2/compare/583a11f5f940...0521b634ae68

[acl2buildserver]

Branch: refs/heads/testing