[acl2/acl2] a7534f: [REMORA] added other integer operations into primi...

[Alessandro Coglio]

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

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

Log Message:
-----------
[REMORA] added other integer operations into primitives-evaluation.lisp


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

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

Log Message:
-----------
[REMORA] removed whitespaces


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

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

Log Message:
-----------
[REMORA] fixed guard verification for mod


Commit: 698fddd77fab67dd99d2488869e22a7bb72d3f78
https://github.com/acl2/acl2/commit/698fddd77fab67dd99d2488869e22a7bb72d3f78
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 popc and updated docs for primitives-evaluation.lisp


Commit: cee19cb94c32629028f0c02edf1fbe4bdc752c2e
https://github.com/acl2/acl2/commit/cee19cb94c32629028f0c02edf1fbe4bdc752c2e
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 popc and updated docs for primitives-evaluation.lisp


Commit: 97a9e5c925de2a943f9c7c468e083f5dbf3cdfef
https://github.com/acl2/acl2/commit/97a9e5c925de2a943f9c7c468e083f5dbf3cdfef
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 popc in primitves-evaluation.lisp


Commit: 9b45ff9108e72ac477d4dfb45dace5203ba7c437
https://github.com/acl2/acl2/commit/9b45ff9108e72ac477d4dfb45dace5203ba7c437
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] removed zerop in primitives-evaluation.lisp


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

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

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

[REMORA] added other integer operations into primitives-evaluation.lisp


Compare: https://github.com/acl2/acl2/compare/89a95aa52324...f8fa0a585c64

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