[acl2/acl2] 65b21d: [axe/arm] Add more definition rules to rule-list.

0 views
Skip to first unread message

Eric W. Smith

unread,
May 27, 2026, 2:36:14 PM (5 days ago) May 27
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 65b21d706a3b1798b25469885fefa628b24ff97b
https://github.com/acl2/acl2/commit/65b21d706a3b1798b25469885fefa628b24ff97b
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-27 (Wed, 27 May 2026)

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

Log Message:
-----------
[axe/arm] Add more definition rules to rule-list.



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

Eric W. Smith

unread,
May 27, 2026, 7:29:34 PM (5 days ago) May 27
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 65b21d706a3b1798b25469885fefa628b24ff97b
https://github.com/acl2/acl2/commit/65b21d706a3b1798b25469885fefa628b24ff97b
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-27 (Wed, 27 May 2026)

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

Log Message:
-----------
[axe/arm] Add more definition rules to rule-list.


Commit: 14aa3d42f3d527eaa9a25a882d0f53179155a38c
https://github.com/acl2/acl2/commit/14aa3d42f3d527eaa9a25a882d0f53179155a38c
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-27 (Wed, 27 May 2026)

Changed paths:
M books/kestrel/x86/flags.lisp

Log Message:
-----------
[x86] Add constant for standard flags.


Commit: 6ef7e5c716ad13b802829aff8d1ae081bb01012b
https://github.com/acl2/acl2/commit/6ef7e5c716ad13b802829aff8d1ae081bb01012b
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-27 (Wed, 27 May 2026)

Changed paths:
M books/kestrel/axe/x86/tests/kestrel/assembly/add.lisp

Log Message:
-----------
[axe/x86] Add another proof to test.

Inspired by something NDSU did.


Commit: ff70cc797e77466a516b00a05c58fe8ec3347eee
https://github.com/acl2/acl2/commit/ff70cc797e77466a516b00a05c58fe8ec3347eee
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-27 (Wed, 27 May 2026)

Changed paths:
M books/kestrel/axe/arm/rule-lists.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/evaluation.lisp
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/grammar/grammar-rest.abnf
A books/kestrel/c/syntax/grammar/lexemes.abnf
A books/kestrel/c/syntax/grammar/tokens.abnf
M books/kestrel/c/syntax/implementation-environments.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/package.lsp
M books/kestrel/c/syntax/preprocessor-lexemes.lisp
M books/kestrel/c/syntax/preprocessor-options.lisp
M books/kestrel/c/syntax/preprocessor-printer.lisp
M books/kestrel/c/syntax/preprocessor.lisp
M books/kestrel/c/syntax/stringization.lisp
M books/kestrel/c/syntax/tests/preprocessor-lexer.lisp
M books/kestrel/c/syntax/tests/preprocessor-testing-macros.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/validator.lisp

Log Message:
-----------
Merge.


Commit: 0ac1e8618650cc0792e22dcf7b74b45600ac2f28
https://github.com/acl2/acl2/commit/0ac1e8618650cc0792e22dcf7b74b45600ac2f28
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-27 (Wed, 27 May 2026)

Changed paths:
M books/kestrel/arm/encodings.lisp
M books/kestrel/arm/instructions.lisp

Log Message:
-----------
[arm] Add decoding and stub model for supervisor call.


Commit: 27740ff20c1ac5771727c335b9a32df131fa25d6
https://github.com/acl2/acl2/commit/27740ff20c1ac5771727c335b9a32df131fa25d6
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-27 (Wed, 27 May 2026)

Changed paths:
M books/kestrel/axe/arm/package.lsp

Log Message:
-----------
[axe/arm] Add symbols to package.


Commit: f347790b179c71051f4f1cddb42e2a01aa3ff235
https://github.com/acl2/acl2/commit/f347790b179c71051f4f1cddb42e2a01aa3ff235
Author: Eric Smith <ews...@gmail.com>
Date: 2026-05-27 (Wed, 27 May 2026)

Changed paths:
M books/kestrel/axe/arm/axe-rules.lisp
M books/kestrel/axe/arm/rule-lists.lisp
A books/kestrel/axe/arm/run-until-return-with-tracing.lisp
M books/kestrel/axe/arm/run-until-return.lisp
M books/kestrel/axe/arm/unroller.lisp

Log Message:
-----------
[axe/arm] Add tracing option to lifter.


Compare: https://github.com/acl2/acl2/compare/ebed9b5f79a1...f347790b179c

Eric W. Smith

unread,
May 27, 2026, 7:30:35 PM (5 days ago) May 27
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages