[acl2/acl2] 56488a: [Aleo] Update book release notes.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 56488a29b63c8f7cf9e81bbac1d077899bb5eef1
https://github.com/acl2/acl2/commit/56488a29b63c8f7cf9e81bbac1d077899bb5eef1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[Aleo] Update book release notes.


Commit: a1e005ef995cd04944603285722c41f7ee99fe91
https://github.com/acl2/acl2/commit/a1e005ef995cd04944603285722c41f7ee99fe91
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[AIR] Update book release notes.


Commit: 3eabc76a9f5f5ada924b98fcfe31285c301a3cef
https://github.com/acl2/acl2/commit/3eabc76a9f5f5ada924b98fcfe31285c301a3cef
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[C$] Update book release notes.


Commit: 8c445b201c470cea3942a3c49216a88a0bec608e
https://github.com/acl2/acl2/commit/8c445b201c470cea3942a3c49216a88a0bec608e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[C2C] Update book release notes.


Commit: deec521eda96715edd79a73cc31df9b830312519
https://github.com/acl2/acl2/commit/deec521eda96715edd79a73cc31df9b830312519
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[Std/basic] Update book release notes.


Commit: fe3b103b88e5e4134b252cd29e0ebab3c7787b92
https://github.com/acl2/acl2/commit/fe3b103b88e5e4134b252cd29e0ebab3c7787b92
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[X86ISA] Update book release notes.


Commit: 619f0673cbfd64d98b413743b66ef3e3fcdfd308
https://github.com/acl2/acl2/commit/619f0673cbfd64d98b413743b66ef3e3fcdfd308
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/doc/relnotes.lisp

Log Message:
-----------
[RISC-V] Update book release notes.


Commit: b77383a1d7ccf83d93928c979264b0f9028d89e0
https://github.com/acl2/acl2/commit/b77383a1d7ccf83d93928c979264b0f9028d89e0
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/projects/x86isa/machine/instructions/padd.lisp
M books/projects/x86isa/machine/instructions/pmadd.lisp
M books/projects/x86isa/machine/instructions/pmul.lisp
M books/projects/x86isa/machine/instructions/psub.lisp

Log Message:
-----------
[X86ISA] Tighten some types.


Commit: 9132915e1220d6e642fd7b6251ce09a9a86d8fb6
https://github.com/acl2/acl2/commit/9132915e1220d6e642fd7b6251ce09a9a86d8fb6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/projects/x86isa/machine/catalogue-data.lisp
M books/projects/x86isa/machine/inst-listing.lisp
A books/projects/x86isa/machine/instructions/move-mmx.lisp
M books/projects/x86isa/machine/instructions/top.lisp

Log Message:
-----------
[X86ISA] Add MOVQ (MMX variant).


Commit: 28c6f29436a66bbf0f6dfdb2232804ebb8e6a152
https://github.com/acl2/acl2/commit/28c6f29436a66bbf0f6dfdb2232804ebb8e6a152
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-02-28 (Sat, 28 Feb 2026)

Changed paths:
M books/kestrel/air/model-0/top.lisp
M books/kestrel/c/syntax/abstract-syntax-operations.lisp
M books/kestrel/c/syntax/concrete-syntax.lisp
M books/kestrel/c/syntax/printing.lisp
M books/kestrel/c/syntax/validation-information.lisp
M books/kestrel/crypto/primes/koala-bear.lisp
M books/kestrel/ethereum/rlp/top.lisp
M books/projects/aleo/leo/early-version/definition/concrete-syntax.lisp
M books/projects/aleo/leo/early-version/definition/format-strings.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-and.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-assert-all.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-assert-eq.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-assert-neq.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-assert-true.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-assert.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-eq.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-if.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-nand.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-neq.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-nor.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-not.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-or.lisp
M books/projects/aleo/vm/circuits/pfcs/boolean-xor.lisp
M books/projects/aleo/vm/circuits/pfcs/field-add.lisp
M books/projects/aleo/vm/circuits/pfcs/field-assert-eq.lisp
M books/projects/aleo/vm/circuits/pfcs/field-assert-neq.lisp
M books/projects/aleo/vm/circuits/pfcs/field-div-checked.lisp
M books/projects/aleo/vm/circuits/pfcs/field-div-flagged.lisp
M books/projects/aleo/vm/circuits/pfcs/field-div-unchecked.lisp
M books/projects/aleo/vm/circuits/pfcs/field-double.lisp
M books/projects/aleo/vm/circuits/pfcs/field-eq.lisp
M books/projects/aleo/vm/circuits/pfcs/field-if.lisp
M books/projects/aleo/vm/circuits/pfcs/field-inv-checked.lisp
M books/projects/aleo/vm/circuits/pfcs/field-inv-flagged.lisp
M books/projects/aleo/vm/circuits/pfcs/field-mul.lisp
M books/projects/aleo/vm/circuits/pfcs/field-neg.lisp
M books/projects/aleo/vm/circuits/pfcs/field-neq.lisp
M books/projects/aleo/vm/circuits/pfcs/field-square.lisp
M books/projects/aleo/vm/circuits/pfcs/field-sub.lisp
M books/projects/aleo/vm/circuits/top.lisp
M books/projects/aleo/vm/language/grammar.lisp

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


Compare: https://github.com/acl2/acl2/compare/2363e5af0455...28c6f29436a6

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