[acl2/acl2] ba3c10: [REMORA] added 8 float operations to primitives-ev...

[Alessandro Coglio]

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

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

Log Message:
-----------
[REMORA] added 8 float operations to primitives-evaluation.lisp


Commit: ee7dd7ccdf3ee86a5edb3a52f1270f2944a7fb44
https://github.com/acl2/acl2/commit/ee7dd7ccdf3ee86a5edb3a52f1270f2944a7fb44
Author: ltmquan <ltmqu...@gmail.com>
Date: 2026-06-24 (Wed, 24 Jun 2026)

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

Log Message:
-----------
[REMORA] updated doc in primitives-evaluation.lisp


Commit: 5552e7785efcb4c1898ca634a6b31b3fdb240680
https://github.com/acl2/acl2/commit/5552e7785efcb4c1898ca634a6b31b3fdb240680
Author: ltmquan <ltmqu...@gmail.com>
Date: 2026-06-24 (Wed, 24 Jun 2026)

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

Log Message:
-----------
[REMORA] updated doc in primitives-evaluation.lisp


Commit: 4f76df36e1a9b07bf33a9642e7c53cff492bdfc1
https://github.com/acl2/acl2/commit/4f76df36e1a9b07bf33a9642e7c53cff492bdfc1
Author: ltmquan <ltmqu...@gmail.com>
Date: 2026-06-24 (Wed, 24 Jun 2026)

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

Log Message:
-----------
[REMORA] added all float ops into primitives-evaluation.lisp


Commit: dcd68e1d67450c5df1af061bc30216a53a5e2cdb
https://github.com/acl2/acl2/commit/dcd68e1d67450c5df1af061bc30216a53a5e2cdb
Author: ltmquan <ltmqu...@gmail.com>
Date: 2026-06-24 (Wed, 24 Jun 2026)

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

Log Message:
-----------
[REMORA] added float ops across remora


Commit: e22d4e5cfc0f7d92b95e45818f624ebb9712b96b
https://github.com/acl2/acl2/commit/e22d4e5cfc0f7d92b95e45818f624ebb9712b96b
Author: ltmquan <ltmqu...@gmail.com>
Date: 2026-06-24 (Wed, 24 Jun 2026)

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

Log Message:
-----------
[REMORA] updated doc in primitives-evaluation.lisp


Commit: c09e2efbba98816a08a63492c0f933a945ba3e2b
https://github.com/acl2/acl2/commit/c09e2efbba98816a08a63492c0f933a945ba3e2b
Author: Alessandro Coglio <2409151...@users.noreply.github.com>
Date: 2026-06-24 (Wed, 24 Jun 2026)

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

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

REMORA - Adding 8 float operations into `primitives-evaluation.lisp`


Compare: https://github.com/acl2/acl2/compare/767e586a17b3...c09e2efbba98

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