[acl2/acl2] 5fbb91: [X86ISA] Fixes and improvements.

[Alessandro Coglio]

Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 5fbb91d23e68fe2619ecec9dea1ab0b05d99f8cc
https://github.com/acl2/acl2/commit/5fbb91d23e68fe2619ecec9dea1ab0b05d99f8cc
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/projects/x86isa/utils/structures.lisp

Log Message:
-----------
[X86ISA] Fixes and improvements.


Commit: f25832275bbb162c603cc28541b381676739b81f
https://github.com/acl2/acl2/commit/f25832275bbb162c603cc28541b381676739b81f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/projects/x86isa/utils/structures.lisp

Log Message:
-----------
[X86ISA] Add two return theorems.


Commit: d6e165f12313b55c851a157dffd12933f724e08e
https://github.com/acl2/acl2/commit/d6e165f12313b55c851a157dffd12933f724e08e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/projects/x86isa/utils/structures.lisp

Log Message:
-----------
[X86ISA] Customary order of things.


Commit: 2bb782194f322168e9607e1b868ccf5b124f8054
https://github.com/acl2/acl2/commit/2bb782194f322168e9607e1b868ccf5b124f8054
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/projects/x86isa/utils/structures.lisp

Log Message:
-----------
[X86ISA] Simplify some hints.


Commit: 37b1c3c0f640d7e95bfa616783a8d87a19bfcd4e
https://github.com/acl2/acl2/commit/37b1c3c0f640d7e95bfa616783a8d87a19bfcd4e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/projects/x86isa/utils/structures.lisp

Log Message:
-----------
[X86ISA] Improve some definitions.


Commit: eaa8e5312e06a295779247ee81769592c5551727
https://github.com/acl2/acl2/commit/eaa8e5312e06a295779247ee81769592c5551727
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/projects/x86isa/utils/structures.lisp

Log Message:
-----------
[X86ISA] Fix some doc.


Commit: fe9d2d083c42f82df987c502c34b49a70454133d
https://github.com/acl2/acl2/commit/fe9d2d083c42f82df987c502c34b49a70454133d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/projects/x86isa/utils/structures.lisp

Log Message:
-----------
[X86ISA] More consistent naming.


Commit: 0ee194587a09d54c1e1f0c664f585dbdc82d46c4
https://github.com/acl2/acl2/commit/0ee194587a09d54c1e1f0c664f585dbdc82d46c4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/projects/x86isa/utils/structures.lisp

Log Message:
-----------
[X86ISA] Equivalent changes for consistency.


Commit: ec999b357b128d3f859bdd81d8f71339ae0563c8
https://github.com/acl2/acl2/commit/ec999b357b128d3f859bdd81d8f71339ae0563c8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/projects/x86isa/utils/structures.lisp

Log Message:
-----------
[X86ISA] Use type declarations.


Commit: 54850397e95ebf7ec245657d05c51a702c892a55
https://github.com/acl2/acl2/commit/54850397e95ebf7ec245657d05c51a702c892a55
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

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

Log Message:
-----------
[x86] Adjust assumption to model change.


Commit: 0ea9380c2a2aa3515e226e020ac3e459c6a19968
https://github.com/acl2/acl2/commit/0ea9380c2a2aa3515e226e020ac3e459c6a19968
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-06-27 (Sat, 27 Jun 2026)

Changed paths:
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/projects/set-theory/topology/compact-is-normal.lisp

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


Compare: https://github.com/acl2/acl2/compare/d5fee1c40fa3...0ea9380c2a2a

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

[Alessandro Coglio]

Branch: refs/heads/testing