[acl2/acl2] 53e621: [osets] add some rules relating list-in(/-notin) a...

0 views
Skip to first unread message

Eric McCarthy

unread,
Apr 15, 2026, 8:02:47 PM (2 days ago) Apr 15
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 53e621754b9ec440805f7bd16c55b8060287af03
https://github.com/acl2/acl2/commit/53e621754b9ec440805f7bd16c55b8060287af03
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
M books/kestrel/utilities/osets.lisp

Log Message:
-----------
[osets] add some rules relating list-in(/-notin) and union



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

Eric McCarthy

unread,
Apr 15, 2026, 9:08:50 PM (2 days ago) Apr 15
to acl2-...@googlegroups.com
Branch: refs/heads/master

Eric McCarthy

unread,
Apr 15, 2026, 9:09:40 PM (2 days ago) Apr 15
to acl2-...@googlegroups.com
Branch: refs/heads/testing

Alessandro Coglio

unread,
Apr 15, 2026, 10:44:56 PM (2 days ago) Apr 15
to acl2-...@googlegroups.com
Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 53e621754b9ec440805f7bd16c55b8060287af03
https://github.com/acl2/acl2/commit/53e621754b9ec440805f7bd16c55b8060287af03
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
M books/kestrel/utilities/osets.lisp

Log Message:
-----------
[osets] add some rules relating list-in(/-notin) and union


Commit: 467684ddad56bdad495639c077a4a9747a9570c6
https://github.com/acl2/acl2/commit/467684ddad56bdad495639c077a4a9747a9570c6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/bcd.lisp

Log Message:
-----------
[X86ISA] Add AAM.


Commit: cb50d8c52158a2538e3481c42b235f73ac45c879
https://github.com/acl2/acl2/commit/cb50d8c52158a2538e3481c42b235f73ac45c879
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/bcd.lisp

Log Message:
-----------
[X86ISA] Add AAD.


Commit: f473c77adf29e4d2accb50461a28226cce46f492
https://github.com/acl2/acl2/commit/f473c77adf29e4d2accb50461a28226cce46f492
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/bcd.lisp

Log Message:
-----------
[X86OSA] Add DAA.


Commit: b6da25d195d0dde748840ab87a336e49e76b6b77
https://github.com/acl2/acl2/commit/b6da25d195d0dde748840ab87a336e49e76b6b77
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/bcd.lisp

Log Message:
-----------
[X86ISA] Add DAS.


Commit: 10628baa203241527f0b744004f5b7c6e70ea943
https://github.com/acl2/acl2/commit/10628baa203241527f0b744004f5b7c6e70ea943
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
A books/kestrel/c/examples/strcpy-safe-induction.lisp
M books/kestrel/c/examples/strcpy-safe.lisp
M books/kestrel/utilities/osets.lisp

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


Compare: https://github.com/acl2/acl2/compare/4ec11edb33ac...10628baa2032
Reply all
Reply to author
Forward
0 new messages