[acl2/acl2] c5a55b: [REMORA] added check-expr-value-bool in primitives...

[Alessandro Coglio]

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

Changed paths:
M books/kestrel/remora/package.lsp
M books/kestrel/remora/primitives-evaluation.lisp

Log Message:
-----------
[REMORA] added check-expr-value-bool in primitives-evaluation.lisp


Commit: 5503b12670ab1307496eae4868c6a4cb9b40af26
https://github.com/acl2/acl2/commit/5503b12670ab1307496eae4868c6a4cb9b40af26
Author: ltmquan <ltmqu...@gmail.com>
Date: 2026-06-22 (Mon, 22 Jun 2026)

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

Log Message:
-----------
[REMORA] added boolean primitives to primitives-evaluation.lisp


Commit: 9da52ad7ec266e0ecae713ef5da0740171f77a79
https://github.com/acl2/acl2/commit/9da52ad7ec266e0ecae713ef5da0740171f77a79
Author: ltmquan <ltmqu...@gmail.com>
Date: 2026-06-22 (Mon, 22 Jun 2026)

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

Log Message:
-----------
[REMORA] fixed bug in prim-bool-to-float in primitives-evaluation.lisp


Commit: 056fdb2cd8aecf861c866ab01f24866c1d5a3c45
https://github.com/acl2/acl2/commit/056fdb2cd8aecf861c866ab01f24866c1d5a3c45
Author: Alessandro Coglio <2409151...@users.noreply.github.com>
Date: 2026-06-22 (Mon, 22 Jun 2026)

Changed paths:
M books/kestrel/remora/package.lsp
M books/kestrel/remora/primitives-evaluation.lisp

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

REMORA - Adding boolean primitives


Compare: https://github.com/acl2/acl2/compare/f8fa0a585c64...056fdb2cd8ae

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