[acl2/acl2] 14aa3d: [x86] Add constant for standard flags.

[Eric W. Smith]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
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.


Compare: https://github.com/acl2/acl2/compare/65b21d706a3b...ff70cc797e77

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