[acl2/acl2] 50615d: [arm] Add fp constant.

0 views

Skip to first unread message

unread,

Aug 18, 2026, 2:49:15 PM (yesterday) Aug 18

to acl2-...@googlegroups.com

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 50615d309f20dfdb555270b19706c2b8992c3f35
https://github.com/acl2/acl2/commit/50615d309f20dfdb555270b19706c2b8992c3f35
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-18 (Tue, 18 Aug 2026)

Changed paths:
M books/kestrel/arm/state.lisp

Log Message:
-----------
[arm] Add *fp* constant.

Commit: a460a2eedd32f2c02ec528b5958cd61cb61e2595
https://github.com/acl2/acl2/commit/a460a2eedd32f2c02ec528b5958cd61cb61e2595
Author: Eric Smith <ews...@gmail.com>
Date: 2026-08-18 (Tue, 18 Aug 2026)

Changed paths:
M books/kestrel/axe/arm/rule-lists.lisp
M books/kestrel/axe/arm/unroller.lisp

Log Message:
-----------
[axe/arm] Improve tracing.

Compare: https://github.com/acl2/acl2/compare/912bc9ff3a15...a460a2eedd32

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

Reply all

Reply to author

Forward

0 new messages

[acl2/acl2] 50615d: [arm] Add *fp* constant.