[acl2/acl2] 044877: [Remora] Update some doc.
0 views
Skip to first unread message
Alessandro Coglio
Jul 8, 2026, 3:08:04 PM (3 days ago) Jul 8
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 044877090f770f5f49cb3fd0f93b386ceb146bde
https://github.com/acl2/acl2/commit/044877090f770f5f49cb3fd0f93b386ceb146bde
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
Log Message:
-----------
[Remora] Update some doc.
Commit: dffb2d1a7aa01d80907c82f6ab230023e321a6f3
https://github.com/acl2/acl2/commit/dffb2d1a7aa01d80907c82f6ab230023e321a6f3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
Log Message:
-----------
[C$] Trim some doc.
Commit: 689499c1ebc2e5e10d608c5faa27971db5d07f79
https://github.com/acl2/acl2/commit/689499c1ebc2e5e10d608c5faa27971db5d07f79
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/centaur/fty/docgen.lisp
M books/demos/floating-point-log.txt
M books/kestrel/axe/hit-counts.lisp
M books/kestrel/axe/jvm/lifter.lisp
M books/kestrel/axe/jvm/rule-lists-jvm.lisp
M books/kestrel/axe/node-replacement-alist-for-context.lisp
M books/kestrel/axe/node-replacement-array.lisp
M books/kestrel/axe/refined-assumption-alists3.lisp
M books/kestrel/axe/rewriter.lisp
M books/kestrel/axe/rule-lists.lisp
M books/kestrel/axe/x86/rule-lists.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/acl2-customization.lsp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cert.acl2
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_bl_8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_bl_8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_bl_8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_mem8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_mem8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_mem8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_bx_16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_bx_16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_bx_16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_imm16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_imm16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_imm16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_mem16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_mem16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_mem16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bl_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bl_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bl_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bx_imm16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bx_imm16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bx_imm16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bx_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bx_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bx_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_ebx_32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_ebx_32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_ebx_32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_mem32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_mem32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_mem32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ebx_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ebx_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ebx_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ebx_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ebx_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ebx_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_ax.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_ax.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_ax.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_imm16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_imm16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_imm16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_eax.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_eax.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_eax.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_rax.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_rax.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_rax.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem8_al.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem8_al.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem8_al.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_mem64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_mem64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_mem64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_rbx_64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_rbx_64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_rbx_64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rbx_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rbx_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rbx_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rbx_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rbx_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rbx_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/acl2-customization.lsp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/cert.acl2
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_al_8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_al_8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_al_8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_ax_16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_ax_16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_ax_16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_bl_8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_bl_8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_bl_8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_bx_16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_bx_16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_bx_16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_eax_32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_eax_32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_eax_32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_ebx_32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_ebx_32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_ebx_32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_rax_64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_rax_64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_rax_64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_rbx_64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_rbx_64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_rbx_64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/acl2-customization.lsp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/cert.acl2
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/acl2-customization.lsp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/cert.acl2
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/acl2-customization.lsp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/cert.acl2
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/acl2-customization.lsp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/cert.acl2
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_bl_8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_bl_8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_bl_8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_mem8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_mem8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_mem8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_bx_16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_bx_16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_bx_16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_imm16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_imm16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_imm16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_mem16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_mem16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_mem16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bl_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bl_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bl_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bx_imm16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bx_imm16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bx_imm16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bx_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bx_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bx_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_ebx_32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_ebx_32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_ebx_32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_mem32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_mem32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_mem32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ebx_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ebx_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ebx_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ebx_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ebx_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ebx_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_ax.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_ax.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_ax.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_imm16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_imm16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_imm16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_eax.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_eax.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_eax.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_rax.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_rax.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_rax.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem8_al.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem8_al.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem8_al.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_mem64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_mem64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_mem64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_rbx_64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_rbx_64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_rbx_64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rbx_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rbx_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rbx_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rbx_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rbx_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rbx_imm8.lisp
M books/kestrel/c/language/abstract-syntax.lisp
R books/kestrel/c/language/character-sets.lisp
A books/kestrel/c/language/implementation-environments/basic-characters.lisp
A books/kestrel/c/language/implementation-environments/character-sets.lisp
A books/kestrel/c/language/implementation-environments/execution-character-sets.lisp
A books/kestrel/c/language/implementation-environments/source-character-sets.lisp
M books/kestrel/c/language/implementation-environments/top.lisp
M books/kestrel/c/language/portable-ascii-identifiers.lisp
M books/kestrel/c/language/top.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/initializer-validation.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validation-annotations.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/top.acl2
A books/kestrel/c/transformation/json-rpc/.gitignore
A books/kestrel/c/transformation/json-rpc/README.md
A books/kestrel/c/transformation/json-rpc/acl2-customization.lsp
A books/kestrel/c/transformation/json-rpc/cert.acl2
A books/kestrel/c/transformation/json-rpc/save-exec-for-server.sh
A books/kestrel/c/transformation/json-rpc/server.sh
A books/kestrel/c/transformation/json-rpc/struct-type-split.lisp
A books/kestrel/c/transformation/json-rpc/tests/.gitignore
A books/kestrel/c/transformation/json-rpc/tests/cert.acl2
A books/kestrel/c/transformation/json-rpc/tests/example-request.json
A books/kestrel/c/transformation/json-rpc/tests/input-files/test1.c
A books/kestrel/c/transformation/json-rpc/tests/struct-type-split.lsp
A books/kestrel/c/transformation/json-rpc/tests/test-malformed-requests.sh
A books/kestrel/c/transformation/json-rpc/top.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/struct-type-split-doc.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
A books/kestrel/c/transformation/tests/struct-type-split/anon-struct.c
A books/kestrel/c/transformation/tests/struct-type-split/anon-union.c
A books/kestrel/c/transformation/tests/struct-type-split/blacklist.c
A books/kestrel/c/transformation/tests/struct-type-split/fn-param-member.c
A books/kestrel/c/transformation/tests/struct-type-split/member-init.c
A books/kestrel/c/transformation/tests/struct-type-split/nested-init.c
M books/kestrel/c/transformation/tests/struct-type-split/struct-type-split.lisp
A books/kestrel/c/transformation/tests/struct-type-split/untagged-member.c
A books/kestrel/c/transformation/tests/struct-type-split/untagged-ptr.c
A books/kestrel/c/transformation/top.acl2
M books/kestrel/c/transformation/top.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/fty/any-nat-map.lisp
M books/kestrel/fty/nat-set.lisp
M books/kestrel/remora/abstract-syntax-matching-operations.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
A books/kestrel/remora/dimension-equivalence-infrules.lisp
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/dynamic-semantics.lisp
A books/kestrel/remora/evaluation-rules.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/ispace-equivalence.lisp
M books/kestrel/remora/package.lsp
A books/kestrel/remora/primitives-evaluation-length-tests.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/static-semantics.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/type-equivalence.lisp
M books/kestrel/remora/values.lisp
M books/kestrel/utilities/if.lisp
M books/kestrel/utilities/strings/char-code-set.lisp
R books/misc/records-bsd.lisp
A books/projects/set-theory/algebra/groups.lisp
A books/projects/set-theory/algebra/integer-group.lisp
M books/projects/set-theory/doc.lisp
M books/projects/set-theory/logic.txt
A books/projects/set-theory/reals/cert.acl2
A books/projects/set-theory/reals/dedekind.lisp
A books/projects/set-theory/reals/negative.lisp
A books/projects/set-theory/reals/sum.lisp
M books/projects/x86isa/machine/catalogue-data.lisp
M books/projects/x86isa/machine/decoding-and-spec-utils.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/subroutine.lisp
M books/std/omaps/core.lisp
M books/std/omaps/inverse.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M ld.lisp
Log Message:
-----------
Merge.
Commit: 155f1083b46568a63601d11f778b9757b2587d93
https://github.com/acl2/acl2/commit/155f1083b46568a63601d11f778b9757b2587d93
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Add checks on structure declarators.
Commit: eb599259d30db2e0af953d1016a56948397fd4a4
https://github.com/acl2/acl2/commit/eb599259d30db2e0af953d1016a56948397fd4a4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/evaluation-rules.lisp
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Restructure dynamic environments.
Layer them according to ispaces, types, and expressions.
For at least two reasons: (1) make ispace and type evaluation more
independent/modular (in particular, ispace evaluation may be shared with
other components); (2) support upcoming addition of closures.
Commit: 4798938a3579371a0236ebc629af26fb02a1bd8f
https://github.com/acl2/acl2/commit/4798938a3579371a0236ebc629af26fb02a1bd8f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
Log Message:
-----------
[Remora] Restructure dyn. env. ops.
Commit: 7c2ea18392864b07246275ce5befe3958dfaf9f5
https://github.com/acl2/acl2/commit/7c2ea18392864b07246275ce5befe3958dfaf9f5
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
Log Message:
-----------
[Remora] Reorder some code within file.
Commit: 84b9aa627adc8649b4bdceb6383e06e4a5b3cf9b
https://github.com/acl2/acl2/commit/84b9aa627adc8649b4bdceb6383e06e4a5b3cf9b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Simplify dimension evaluation.
Have it only depend on ispace dynamic environments.
Commit: eacda20e2ac4904f78447dd9a6a15e11fac57d8e
https://github.com/acl2/acl2/commit/eacda20e2ac4904f78447dd9a6a15e11fac57d8e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Simplify shape/ispace evaluation.
Have it only depend on the ispace dynamic environment.
Commit: 608c3231048803267fb6715c034d05c7343e8df8
https://github.com/acl2/acl2/commit/608c3231048803267fb6715c034d05c7343e8df8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Simplify type evaluation.
Have it depend only on type dynamic environments.
Commit: 10aeb7f51806168f49eb1aedd3bc5e13e7872d3b
https://github.com/acl2/acl2/commit/10aeb7f51806168f49eb1aedd3bc5e13e7872d3b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Simplify two more evaluation functions.
These are for pairs of variables and optional types, which only need the type
environment.
Commit: d339c5eb80317e7298d64f2d86d5ac921661dba1
https://github.com/acl2/acl2/commit/d339c5eb80317e7298d64f2d86d5ac921661dba1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/types-to-tynames.lisp
M books/kestrel/c/syntax/validation-annotations.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Add a validation annotation.
This is for abstract parameter declarators.
Commit: 3d7c9dfef515fe8710be451b46621542b2b7a4a5
https://github.com/acl2/acl2/commit/3d7c9dfef515fe8710be451b46621542b2b7a4a5
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/axe/rewriter.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
A books/kestrel/remora/eval-file.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/monomorphize.lisp
M books/kestrel/remora/top.lisp
A books/kestrel/remora/unique-names.lisp
A books/kestrel/remora/value-printing.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
Merge.
Commit: 37af4a006e48e85fe94bdee2efc6786b79164809
https://github.com/acl2/acl2/commit/37af4a006e48e85fe94bdee2efc6786b79164809
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Add checks on abstract parameter declarators.
Commit: af8db683b2b92817af8509bb5f86987b4ac56c49
https://github.com/acl2/acl2/commit/af8db683b2b92817af8509bb5f86987b4ac56c49
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Add checks on type names.
Commit: 883b9cf2527ec8ac464cd997ad7b111d3857ad67
https://github.com/acl2/acl2/commit/883b9cf2527ec8ac464cd997ad7b111d3857ad67
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Lift ban on abstract declarators.
These are now checked indirectly, via the ASTs where they occur.
Commit: 670167d8c28add34fb61c586be2ec3a51545f17f
https://github.com/acl2/acl2/commit/670167d8c28add34fb61c586be2ec3a51545f17f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Simplify some code.
Commit: 36ec8349c561b2387dba9376b4817ba7b4fc1dbe
https://github.com/acl2/acl2/commit/36ec8349c561b2387dba9376b4817ba7b4fc1dbe
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Improve some doc.
Commit: 073adedf96aea8ff58c5ff071cd44657822825eb
https://github.com/acl2/acl2/commit/073adedf96aea8ff58c5ff071cd44657822825eb
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Document handling of declarations.
Commit: 6ee1065008ea6b6f793c860bcf9675c3118951c4
https://github.com/acl2/acl2/commit/6ee1065008ea6b6f793c860bcf9675c3118951c4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Relax checks on compound literals.
Commit: cb56151d764edca54baeee5c2c983d24374c0f41
https://github.com/acl2/acl2/commit/cb56151d764edca54baeee5c2c983d24374c0f41
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-semantics.lisp
Log Message:
-----------
[Remora] Update some doc.
Commit: 22ab12fb99455ccae4eda0a914545f566bbcb77a
https://github.com/acl2/acl2/commit/22ab12fb99455ccae4eda0a914545f566bbcb77a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-semantics.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remove] Move some doc.
Commit: f0eadb0ee671d45a96ecba9d8db5c1125ac292d3
https://github.com/acl2/acl2/commit/f0eadb0ee671d45a96ecba9d8db5c1125ac292d3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/dynamic-semantics.lisp
A books/kestrel/remora/ispace-values-and-environments.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remora] Factor code into new file and topic.
Commit: fc08973557d5c131f3368f2912ba27d8b639b96e
https://github.com/acl2/acl2/commit/fc08973557d5c131f3368f2912ba27d8b639b96e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/ispace-values-and-environments.lisp
Log Message:
-----------
[Remora] Update parent.
Commit: bd0585ff88555822d1fb00e8841a4ea5c30d56e5
https://github.com/acl2/acl2/commit/bd0585ff88555822d1fb00e8841a4ea5c30d56e5
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remora] Update doc.
Commit: 1ba4f4e019a9805608c1a4b3562803da6a82a58a
https://github.com/acl2/acl2/commit/1ba4f4e019a9805608c1a4b3562803da6a82a58a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/dynamic-semantics.lisp
A books/kestrel/remora/type-values-and-environments.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remora] Factor code into new file/topic.
Commit: 9ce53c716961b1dc0ba0d0bea6a4216facb1def1
https://github.com/acl2/acl2/commit/9ce53c716961b1dc0ba0d0bea6a4216facb1def1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/axe/rewriter.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/initializer-validation.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validation-annotations.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/top.acl2
A books/kestrel/c/transformation/json-rpc/.gitignore
A books/kestrel/c/transformation/json-rpc/README.md
A books/kestrel/c/transformation/json-rpc/acl2-customization.lsp
A books/kestrel/c/transformation/json-rpc/cert.acl2
A books/kestrel/c/transformation/json-rpc/save-exec-for-server.sh
A books/kestrel/c/transformation/json-rpc/server.sh
A books/kestrel/c/transformation/json-rpc/struct-type-split.lisp
A books/kestrel/c/transformation/json-rpc/tests/.gitignore
A books/kestrel/c/transformation/json-rpc/tests/cert.acl2
A books/kestrel/c/transformation/json-rpc/tests/example-request.json
A books/kestrel/c/transformation/json-rpc/tests/input-files/test1.c
A books/kestrel/c/transformation/json-rpc/tests/struct-type-split.lsp
A books/kestrel/c/transformation/json-rpc/tests/test-malformed-requests.sh
A books/kestrel/c/transformation/json-rpc/top.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/struct-type-split-doc.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
A books/kestrel/c/transformation/tests/struct-type-split/anon-struct.c
A books/kestrel/c/transformation/tests/struct-type-split/anon-union.c
A books/kestrel/c/transformation/tests/struct-type-split/blacklist.c
A books/kestrel/c/transformation/tests/struct-type-split/fn-param-member.c
A books/kestrel/c/transformation/tests/struct-type-split/member-init.c
A books/kestrel/c/transformation/tests/struct-type-split/nested-init.c
M books/kestrel/c/transformation/tests/struct-type-split/struct-type-split.lisp
A books/kestrel/c/transformation/tests/struct-type-split/untagged-member.c
A books/kestrel/c/transformation/tests/struct-type-split/untagged-ptr.c
A books/kestrel/c/transformation/top.acl2
M books/kestrel/c/transformation/top.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/dynamic-environments.lisp
A books/kestrel/remora/eval-file.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/monomorphize.lisp
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/primitives-evaluation-tests.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/kestrel/remora/top.lisp
A books/kestrel/remora/unique-names.lisp
A books/kestrel/remora/value-printing.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
Merge.
Commit: f83b12e7731aa35fceb6dce1a675e61198730f7d
https://github.com/acl2/acl2/commit/f83b12e7731aa35fceb6dce1a675e61198730f7d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/type-values-and-environments.lisp
Log Message:
-----------
[Remora] Fix some XDOC.
Commit: af5d1fefceaa2f5baf29d8335ab5e2bd1750f55e
https://github.com/acl2/acl2/commit/af5d1fefceaa2f5baf29d8335ab5e2bd1750f55e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Update after merge.
Commit: b1ae9e0d0cf5391adf838d75c4807f10a312e7fe
https://github.com/acl2/acl2/commit/b1ae9e0d0cf5391adf838d75c4807f10a312e7fe
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/type-value-equivalence.lisp
Log Message:
-----------
[Remora] Reduce book inclusions.
Commit: 79a96ef3d2920c66a3943f0c8fde292b56efce64
https://github.com/acl2/acl2/commit/79a96ef3d2920c66a3943f0c8fde292b56efce64
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
Log Message:
-----------
Merge.
Commit: b082553571bc7f75360d5b2cf111b909713e2ade
https://github.com/acl2/acl2/commit/b082553571bc7f75360d5b2cf111b909713e2ade
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/types-to-tynames.lisp
M books/kestrel/c/syntax/validation-annotations.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
Merge.
Commit: eed1ab6869c12ece934ab8b037351a6fcddf729e
https://github.com/acl2/acl2/commit/eed1ab6869c12ece934ab8b037351a6fcddf729e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/dynamic-semantics.lisp
M books/kestrel/remora/evaluation.lisp
A books/kestrel/remora/expression-values-and-environments.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/value-printing.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remora] Factor code into new file/topic.
Commit: 36bf97be86a30e3cc2bcf499f40001476ada57ef
https://github.com/acl2/acl2/commit/36bf97be86a30e3cc2bcf499f40001476ada57ef
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-semantics.lisp
Log Message:
-----------
[Remora] Expand some doc.
Commit: 6a55fab36cb0a645cf3fc4ad2c33b51555735079
https://github.com/acl2/acl2/commit/6a55fab36cb0a645cf3fc4ad2c33b51555735079
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
R books/kestrel/remora/dynamic-environments.lisp
R books/kestrel/remora/values.lisp
Log Message:
-----------
[Remora] Remove files no longer needed.
Commit: 5281302dc6af15dc7bd8cbadc85179f4421c79e1
https://github.com/acl2/acl2/commit/5281302dc6af15dc7bd8cbadc85179f4421c79e1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-semantics.lisp
Log Message:
-----------
[Remora] Fix doc.
Commit: 7b4b349379e7a9a551bc6d95dd470cce1f51fe22
https://github.com/acl2/acl2/commit/7b4b349379e7a9a551bc6d95dd470cce1f51fe22
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/static-environments.lisp
Log Message:
-----------
[Remora] Update XDOC ref.
Commit: 9246934eeeab65392bc8712a427e4da07d882e10
https://github.com/acl2/acl2/commit/9246934eeeab65392bc8712a427e4da07d882e10
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/value-printing.lisp
Log Message:
-----------
[Remora] Upate XDOC link.
Commit: 229b56ba30323be20a68678af3080c206c144921
https://github.com/acl2/acl2/commit/229b56ba30323be20a68678af3080c206c144921
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
Log Message:
-----------
Merge.
Commit: 03be5c5f4a589faab51fd1affd89362dbbf0005d
https://github.com/acl2/acl2/commit/03be5c5f4a589faab51fd1affd89362dbbf0005d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Fix XDOC link.
Commit: c5aca91dfd2b84800ecd9a580214eb8070a2dd06
https://github.com/acl2/acl2/commit/c5aca91dfd2b84800ecd9a580214eb8070a2dd06
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
Merge.
Compare: https://github.com/acl2/acl2/compare/784678140141...c5aca91dfd2b
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Home: https://github.com/acl2/acl2
Commit: 044877090f770f5f49cb3fd0f93b386ceb146bde
https://github.com/acl2/acl2/commit/044877090f770f5f49cb3fd0f93b386ceb146bde
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
Log Message:
-----------
[Remora] Update some doc.
Commit: dffb2d1a7aa01d80907c82f6ab230023e321a6f3
https://github.com/acl2/acl2/commit/dffb2d1a7aa01d80907c82f6ab230023e321a6f3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
Log Message:
-----------
[C$] Trim some doc.
Commit: 689499c1ebc2e5e10d608c5faa27971db5d07f79
https://github.com/acl2/acl2/commit/689499c1ebc2e5e10d608c5faa27971db5d07f79
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/centaur/fty/docgen.lisp
M books/demos/floating-point-log.txt
M books/kestrel/axe/hit-counts.lisp
M books/kestrel/axe/jvm/lifter.lisp
M books/kestrel/axe/jvm/rule-lists-jvm.lisp
M books/kestrel/axe/node-replacement-alist-for-context.lisp
M books/kestrel/axe/node-replacement-array.lisp
M books/kestrel/axe/refined-assumption-alists3.lisp
M books/kestrel/axe/rewriter.lisp
M books/kestrel/axe/rule-lists.lisp
M books/kestrel/axe/x86/rule-lists.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/acl2-customization.lsp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cert.acl2
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_bl_8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_bl_8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_bl_8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_mem8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_mem8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_al_mem8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_bx_16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_bx_16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_bx_16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_imm16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_imm16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_imm16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_mem16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_mem16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ax_mem16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bl_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bl_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bl_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bx_imm16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bx_imm16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bx_imm16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bx_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bx_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_bx_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_ebx_32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_ebx_32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_ebx_32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_mem32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_mem32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_eax_mem32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ebx_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ebx_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ebx_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ebx_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ebx_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_ebx_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_ax.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_ax.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_ax.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_imm16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_imm16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_imm16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem16_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_eax.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_eax.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_eax.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem32_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_rax.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_rax.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem64_rax.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem8_al.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem8_al.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem8_al.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_mem8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_mem64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_mem64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_mem64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_rbx_64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_rbx_64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rax_rbx_64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rbx_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rbx_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rbx_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rbx_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rbx_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/cmp/cmp_rbx_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/acl2-customization.lsp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/cert.acl2
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_al_8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_al_8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_al_8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_ax_16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_ax_16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_ax_16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_bl_8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_bl_8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_bl_8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_bx_16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_bx_16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_bx_16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_eax_32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_eax_32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_eax_32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_ebx_32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_ebx_32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_ebx_32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_mem8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_rax_64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_rax_64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_rax_64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_rbx_64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_rbx_64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/not/not_rbx_64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/acl2-customization.lsp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/cert.acl2
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_al_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_ax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_eax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem16_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem32_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem64_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_mem8_r8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_r8b_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sal/sal_rax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/acl2-customization.lsp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/cert.acl2
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_al_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_ax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_eax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem16_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem32_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem64_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_mem8_r8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_r8b_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/sar/sar_rax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/acl2-customization.lsp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/cert.acl2
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_al_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_ax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_eax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem16_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem32_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem64_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_mem8_r8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_r8b_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_1.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_1.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_1.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_cl.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_cl.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_cl.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/shl/shl_rax_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/acl2-customization.lsp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/cert.acl2
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_bl_8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_bl_8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_bl_8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_mem8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_mem8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_al_mem8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_bx_16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_bx_16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_bx_16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_imm16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_imm16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_imm16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_mem16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_mem16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ax_mem16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bl_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bl_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bl_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bx_imm16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bx_imm16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bx_imm16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bx_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bx_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_bx_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_ebx_32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_ebx_32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_ebx_32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_mem32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_mem32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_eax_mem32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ebx_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ebx_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ebx_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ebx_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ebx_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_ebx_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_ax.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_ax.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_ax.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_imm16.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_imm16.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_imm16.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem16_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_eax.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_eax.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_eax.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem32_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_rax.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_rax.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem64_rax.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem8_al.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem8_al.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem8_al.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem8_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem8_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_mem8_imm8.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_mem64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_mem64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_mem64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_rbx_64.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_rbx_64.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rax_rbx_64.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rbx_imm32.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rbx_imm32.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rbx_imm32.lisp
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rbx_imm8.asm
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rbx_imm8.elf64
A books/kestrel/axe/x86/tests/ndsu/assembly/general-purpose/arith-and-logic/xor/xor_rbx_imm8.lisp
M books/kestrel/c/language/abstract-syntax.lisp
R books/kestrel/c/language/character-sets.lisp
A books/kestrel/c/language/implementation-environments/basic-characters.lisp
A books/kestrel/c/language/implementation-environments/character-sets.lisp
A books/kestrel/c/language/implementation-environments/execution-character-sets.lisp
A books/kestrel/c/language/implementation-environments/source-character-sets.lisp
M books/kestrel/c/language/implementation-environments/top.lisp
M books/kestrel/c/language/portable-ascii-identifiers.lisp
M books/kestrel/c/language/top.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/grammar.lisp
M books/kestrel/c/syntax/initializer-validation.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validation-annotations.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/top.acl2
A books/kestrel/c/transformation/json-rpc/.gitignore
A books/kestrel/c/transformation/json-rpc/README.md
A books/kestrel/c/transformation/json-rpc/acl2-customization.lsp
A books/kestrel/c/transformation/json-rpc/cert.acl2
A books/kestrel/c/transformation/json-rpc/save-exec-for-server.sh
A books/kestrel/c/transformation/json-rpc/server.sh
A books/kestrel/c/transformation/json-rpc/struct-type-split.lisp
A books/kestrel/c/transformation/json-rpc/tests/.gitignore
A books/kestrel/c/transformation/json-rpc/tests/cert.acl2
A books/kestrel/c/transformation/json-rpc/tests/example-request.json
A books/kestrel/c/transformation/json-rpc/tests/input-files/test1.c
A books/kestrel/c/transformation/json-rpc/tests/struct-type-split.lsp
A books/kestrel/c/transformation/json-rpc/tests/test-malformed-requests.sh
A books/kestrel/c/transformation/json-rpc/top.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/struct-type-split-doc.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
A books/kestrel/c/transformation/tests/struct-type-split/anon-struct.c
A books/kestrel/c/transformation/tests/struct-type-split/anon-union.c
A books/kestrel/c/transformation/tests/struct-type-split/blacklist.c
A books/kestrel/c/transformation/tests/struct-type-split/fn-param-member.c
A books/kestrel/c/transformation/tests/struct-type-split/member-init.c
A books/kestrel/c/transformation/tests/struct-type-split/nested-init.c
M books/kestrel/c/transformation/tests/struct-type-split/struct-type-split.lisp
A books/kestrel/c/transformation/tests/struct-type-split/untagged-member.c
A books/kestrel/c/transformation/tests/struct-type-split/untagged-ptr.c
A books/kestrel/c/transformation/top.acl2
M books/kestrel/c/transformation/top.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/fty/any-nat-map.lisp
M books/kestrel/fty/nat-set.lisp
M books/kestrel/remora/abstract-syntax-matching-operations.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
A books/kestrel/remora/dimension-equivalence-infrules.lisp
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/dynamic-semantics.lisp
A books/kestrel/remora/evaluation-rules.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/ispace-equivalence.lisp
M books/kestrel/remora/package.lsp
A books/kestrel/remora/primitives-evaluation-length-tests.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/static-semantics.lisp
M books/kestrel/remora/type-checking.lisp
M books/kestrel/remora/type-equivalence.lisp
M books/kestrel/remora/values.lisp
M books/kestrel/utilities/if.lisp
M books/kestrel/utilities/strings/char-code-set.lisp
R books/misc/records-bsd.lisp
A books/projects/set-theory/algebra/groups.lisp
A books/projects/set-theory/algebra/integer-group.lisp
M books/projects/set-theory/doc.lisp
M books/projects/set-theory/logic.txt
A books/projects/set-theory/reals/cert.acl2
A books/projects/set-theory/reals/dedekind.lisp
A books/projects/set-theory/reals/negative.lisp
A books/projects/set-theory/reals/sum.lisp
M books/projects/x86isa/machine/catalogue-data.lisp
M books/projects/x86isa/machine/decoding-and-spec-utils.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/subroutine.lisp
M books/std/omaps/core.lisp
M books/std/omaps/inverse.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M ld.lisp
Log Message:
-----------
Merge.
Commit: 155f1083b46568a63601d11f778b9757b2587d93
https://github.com/acl2/acl2/commit/155f1083b46568a63601d11f778b9757b2587d93
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Add checks on structure declarators.
Commit: eb599259d30db2e0af953d1016a56948397fd4a4
https://github.com/acl2/acl2/commit/eb599259d30db2e0af953d1016a56948397fd4a4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/evaluation-rules.lisp
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Restructure dynamic environments.
Layer them according to ispaces, types, and expressions.
For at least two reasons: (1) make ispace and type evaluation more
independent/modular (in particular, ispace evaluation may be shared with
other components); (2) support upcoming addition of closures.
Commit: 4798938a3579371a0236ebc629af26fb02a1bd8f
https://github.com/acl2/acl2/commit/4798938a3579371a0236ebc629af26fb02a1bd8f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
Log Message:
-----------
[Remora] Restructure dyn. env. ops.
Commit: 7c2ea18392864b07246275ce5befe3958dfaf9f5
https://github.com/acl2/acl2/commit/7c2ea18392864b07246275ce5befe3958dfaf9f5
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
Log Message:
-----------
[Remora] Reorder some code within file.
Commit: 84b9aa627adc8649b4bdceb6383e06e4a5b3cf9b
https://github.com/acl2/acl2/commit/84b9aa627adc8649b4bdceb6383e06e4a5b3cf9b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Simplify dimension evaluation.
Have it only depend on ispace dynamic environments.
Commit: eacda20e2ac4904f78447dd9a6a15e11fac57d8e
https://github.com/acl2/acl2/commit/eacda20e2ac4904f78447dd9a6a15e11fac57d8e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Simplify shape/ispace evaluation.
Have it only depend on the ispace dynamic environment.
Commit: 608c3231048803267fb6715c034d05c7343e8df8
https://github.com/acl2/acl2/commit/608c3231048803267fb6715c034d05c7343e8df8
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Simplify type evaluation.
Have it depend only on type dynamic environments.
Commit: 10aeb7f51806168f49eb1aedd3bc5e13e7872d3b
https://github.com/acl2/acl2/commit/10aeb7f51806168f49eb1aedd3bc5e13e7872d3b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Simplify two more evaluation functions.
These are for pairs of variables and optional types, which only need the type
environment.
Commit: d339c5eb80317e7298d64f2d86d5ac921661dba1
https://github.com/acl2/acl2/commit/d339c5eb80317e7298d64f2d86d5ac921661dba1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/types-to-tynames.lisp
M books/kestrel/c/syntax/validation-annotations.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
[C$] Add a validation annotation.
This is for abstract parameter declarators.
Commit: 3d7c9dfef515fe8710be451b46621542b2b7a4a5
https://github.com/acl2/acl2/commit/3d7c9dfef515fe8710be451b46621542b2b7a4a5
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/axe/rewriter.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
A books/kestrel/remora/eval-file.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/monomorphize.lisp
M books/kestrel/remora/top.lisp
A books/kestrel/remora/unique-names.lisp
A books/kestrel/remora/value-printing.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
Merge.
Commit: 37af4a006e48e85fe94bdee2efc6786b79164809
https://github.com/acl2/acl2/commit/37af4a006e48e85fe94bdee2efc6786b79164809
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Add checks on abstract parameter declarators.
Commit: af8db683b2b92817af8509bb5f86987b4ac56c49
https://github.com/acl2/acl2/commit/af8db683b2b92817af8509bb5f86987b4ac56c49
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Add checks on type names.
Commit: 883b9cf2527ec8ac464cd997ad7b111d3857ad67
https://github.com/acl2/acl2/commit/883b9cf2527ec8ac464cd997ad7b111d3857ad67
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Lift ban on abstract declarators.
These are now checked indirectly, via the ASTs where they occur.
Commit: 670167d8c28add34fb61c586be2ec3a51545f17f
https://github.com/acl2/acl2/commit/670167d8c28add34fb61c586be2ec3a51545f17f
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Simplify some code.
Commit: 36ec8349c561b2387dba9376b4817ba7b4fc1dbe
https://github.com/acl2/acl2/commit/36ec8349c561b2387dba9376b4817ba7b4fc1dbe
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Improve some doc.
Commit: 073adedf96aea8ff58c5ff071cd44657822825eb
https://github.com/acl2/acl2/commit/073adedf96aea8ff58c5ff071cd44657822825eb
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Document handling of declarations.
Commit: 6ee1065008ea6b6f793c860bcf9675c3118951c4
https://github.com/acl2/acl2/commit/6ee1065008ea6b6f793c860bcf9675c3118951c4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Relax checks on compound literals.
Commit: cb56151d764edca54baeee5c2c983d24374c0f41
https://github.com/acl2/acl2/commit/cb56151d764edca54baeee5c2c983d24374c0f41
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-semantics.lisp
Log Message:
-----------
[Remora] Update some doc.
Commit: 22ab12fb99455ccae4eda0a914545f566bbcb77a
https://github.com/acl2/acl2/commit/22ab12fb99455ccae4eda0a914545f566bbcb77a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-semantics.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remove] Move some doc.
Commit: f0eadb0ee671d45a96ecba9d8db5c1125ac292d3
https://github.com/acl2/acl2/commit/f0eadb0ee671d45a96ecba9d8db5c1125ac292d3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/dynamic-semantics.lisp
A books/kestrel/remora/ispace-values-and-environments.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remora] Factor code into new file and topic.
Commit: fc08973557d5c131f3368f2912ba27d8b639b96e
https://github.com/acl2/acl2/commit/fc08973557d5c131f3368f2912ba27d8b639b96e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/ispace-values-and-environments.lisp
Log Message:
-----------
[Remora] Update parent.
Commit: bd0585ff88555822d1fb00e8841a4ea5c30d56e5
https://github.com/acl2/acl2/commit/bd0585ff88555822d1fb00e8841a4ea5c30d56e5
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remora] Update doc.
Commit: 1ba4f4e019a9805608c1a4b3562803da6a82a58a
https://github.com/acl2/acl2/commit/1ba4f4e019a9805608c1a4b3562803da6a82a58a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/dynamic-semantics.lisp
A books/kestrel/remora/type-values-and-environments.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remora] Factor code into new file/topic.
Commit: 9ce53c716961b1dc0ba0d0bea6a4216facb1def1
https://github.com/acl2/acl2/commit/9ce53c716961b1dc0ba0d0bea6a4216facb1def1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/axe/rewriter.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/initializer-validation.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validation-annotations.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/top.acl2
A books/kestrel/c/transformation/json-rpc/.gitignore
A books/kestrel/c/transformation/json-rpc/README.md
A books/kestrel/c/transformation/json-rpc/acl2-customization.lsp
A books/kestrel/c/transformation/json-rpc/cert.acl2
A books/kestrel/c/transformation/json-rpc/save-exec-for-server.sh
A books/kestrel/c/transformation/json-rpc/server.sh
A books/kestrel/c/transformation/json-rpc/struct-type-split.lisp
A books/kestrel/c/transformation/json-rpc/tests/.gitignore
A books/kestrel/c/transformation/json-rpc/tests/cert.acl2
A books/kestrel/c/transformation/json-rpc/tests/example-request.json
A books/kestrel/c/transformation/json-rpc/tests/input-files/test1.c
A books/kestrel/c/transformation/json-rpc/tests/struct-type-split.lsp
A books/kestrel/c/transformation/json-rpc/tests/test-malformed-requests.sh
A books/kestrel/c/transformation/json-rpc/top.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/split-gso.lisp
M books/kestrel/c/transformation/struct-type-split-doc.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
A books/kestrel/c/transformation/tests/struct-type-split/anon-struct.c
A books/kestrel/c/transformation/tests/struct-type-split/anon-union.c
A books/kestrel/c/transformation/tests/struct-type-split/blacklist.c
A books/kestrel/c/transformation/tests/struct-type-split/fn-param-member.c
A books/kestrel/c/transformation/tests/struct-type-split/member-init.c
A books/kestrel/c/transformation/tests/struct-type-split/nested-init.c
M books/kestrel/c/transformation/tests/struct-type-split/struct-type-split.lisp
A books/kestrel/c/transformation/tests/struct-type-split/untagged-member.c
A books/kestrel/c/transformation/tests/struct-type-split/untagged-ptr.c
A books/kestrel/c/transformation/top.acl2
M books/kestrel/c/transformation/top.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/remora/abstract-syntax-structurals.lisp
M books/kestrel/remora/abstract-syntax-trees.lisp
M books/kestrel/remora/dynamic-environments.lisp
A books/kestrel/remora/eval-file.lisp
M books/kestrel/remora/evaluation.lisp
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/monomorphize.lisp
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/primitives-evaluation-tests.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/syntax-abstraction.lisp
M books/kestrel/remora/top.lisp
A books/kestrel/remora/unique-names.lisp
A books/kestrel/remora/value-printing.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
Merge.
Commit: f83b12e7731aa35fceb6dce1a675e61198730f7d
https://github.com/acl2/acl2/commit/f83b12e7731aa35fceb6dce1a675e61198730f7d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/type-values-and-environments.lisp
Log Message:
-----------
[Remora] Fix some XDOC.
Commit: af5d1fefceaa2f5baf29d8335ab5e2bd1750f55e
https://github.com/acl2/acl2/commit/af5d1fefceaa2f5baf29d8335ab5e2bd1750f55e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Update after merge.
Commit: b1ae9e0d0cf5391adf838d75c4807f10a312e7fe
https://github.com/acl2/acl2/commit/b1ae9e0d0cf5391adf838d75c4807f10a312e7fe
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/type-value-equivalence.lisp
Log Message:
-----------
[Remora] Reduce book inclusions.
Commit: 79a96ef3d2920c66a3943f0c8fde292b56efce64
https://github.com/acl2/acl2/commit/79a96ef3d2920c66a3943f0c8fde292b56efce64
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
Log Message:
-----------
Merge.
Commit: b082553571bc7f75360d5b2cf111b909713e2ade
https://github.com/acl2/acl2/commit/b082553571bc7f75360d5b2cf111b909713e2ade
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/types-to-tynames.lisp
M books/kestrel/c/syntax/validation-annotations.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
Log Message:
-----------
Merge.
Commit: eed1ab6869c12ece934ab8b037351a6fcddf729e
https://github.com/acl2/acl2/commit/eed1ab6869c12ece934ab8b037351a6fcddf729e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/dynamic-semantics.lisp
M books/kestrel/remora/evaluation.lisp
A books/kestrel/remora/expression-values-and-environments.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/value-printing.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remora] Factor code into new file/topic.
Commit: 36bf97be86a30e3cc2bcf499f40001476ada57ef
https://github.com/acl2/acl2/commit/36bf97be86a30e3cc2bcf499f40001476ada57ef
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-semantics.lisp
Log Message:
-----------
[Remora] Expand some doc.
Commit: 6a55fab36cb0a645cf3fc4ad2c33b51555735079
https://github.com/acl2/acl2/commit/6a55fab36cb0a645cf3fc4ad2c33b51555735079
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
R books/kestrel/remora/dynamic-environments.lisp
R books/kestrel/remora/values.lisp
Log Message:
-----------
[Remora] Remove files no longer needed.
Commit: 5281302dc6af15dc7bd8cbadc85179f4421c79e1
https://github.com/acl2/acl2/commit/5281302dc6af15dc7bd8cbadc85179f4421c79e1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-semantics.lisp
Log Message:
-----------
[Remora] Fix doc.
Commit: 7b4b349379e7a9a551bc6d95dd470cce1f51fe22
https://github.com/acl2/acl2/commit/7b4b349379e7a9a551bc6d95dd470cce1f51fe22
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/static-environments.lisp
Log Message:
-----------
[Remora] Update XDOC ref.
Commit: 9246934eeeab65392bc8712a427e4da07d882e10
https://github.com/acl2/acl2/commit/9246934eeeab65392bc8712a427e4da07d882e10
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/value-printing.lisp
Log Message:
-----------
[Remora] Upate XDOC link.
Commit: 229b56ba30323be20a68678af3080c206c144921
https://github.com/acl2/acl2/commit/229b56ba30323be20a68678af3080c206c144921
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
Log Message:
-----------
Merge.
Commit: 03be5c5f4a589faab51fd1affd89362dbbf0005d
https://github.com/acl2/acl2/commit/03be5c5f4a589faab51fd1affd89362dbbf0005d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
[STS safe] Fix XDOC link.
Commit: c5aca91dfd2b84800ecd9a580214eb8070a2dd06
https://github.com/acl2/acl2/commit/c5aca91dfd2b84800ecd9a580214eb8070a2dd06
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/struct-type-split-safety.lisp
Log Message:
-----------
Merge.
Compare: https://github.com/acl2/acl2/compare/784678140141...c5aca91dfd2b
To unsubscribe from these emails, change your notification settings at https://github.com/acl2/acl2/settings/notifications
Alessandro Coglio
Jul 8, 2026, 3:08:36 PM (3 days ago) Jul 8
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Alessandro Coglio
Jul 9, 2026, 12:51:49 AM (3 days ago) Jul 9
to acl2-...@googlegroups.com
Branch: refs/heads/testing-user-01
Commit: 5fbcba85bb0d9113bdbf76cd37c748b553aa9408
https://github.com/acl2/acl2/commit/5fbcba85bb0d9113bdbf76cd37c748b553aa9408
Author: Eric McCarthy <bend...@gmail.com>
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp
Log Message:
-----------
[remora] rename "extent" to "ispace" in surface syntax
Commit: cb56151d764edca54baeee5c2c983d24374c0f41
https://github.com/acl2/acl2/commit/cb56151d764edca54baeee5c2c983d24374c0f41
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-semantics.lisp
Log Message:
-----------
[Remora] Update some doc.
Commit: 22ab12fb99455ccae4eda0a914545f566bbcb77a
https://github.com/acl2/acl2/commit/22ab12fb99455ccae4eda0a914545f566bbcb77a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-semantics.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remove] Move some doc.
Commit: 90bb9cfc27ee9f2e89fbfabc7f6a401b62f48cb8
https://github.com/acl2/acl2/commit/90bb9cfc27ee9f2e89fbfabc7f6a401b62f48cb8
Author: ACL2 Build Server <acl2bui...@gmail.com>
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp
Log Message:
-----------
Merge commit '5fbcba85bb0d9113bdbf76cd37c748b553aa9408' into HEAD
Commit: f0eadb0ee671d45a96ecba9d8db5c1125ac292d3
https://github.com/acl2/acl2/commit/f0eadb0ee671d45a96ecba9d8db5c1125ac292d3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/dynamic-semantics.lisp
A books/kestrel/remora/ispace-values-and-environments.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remora] Factor code into new file and topic.
Commit: 17788409c44fd4fdce3d8c882fefcaead9bfbcaf
https://github.com/acl2/acl2/commit/17788409c44fd4fdce3d8c882fefcaead9bfbcaf
Author: Eric McCarthy <bend...@gmail.com>
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[remora] handle exponentiation evaluation and small changes for "div" -> "/"
Commit: 784678140141c00327f73bddc030a46d53dd1068
https://github.com/acl2/acl2/commit/784678140141c00327f73bddc030a46d53dd1068
Author: ACL2 Build Server <acl2bui...@gmail.com>
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
Merge commit '17788409c44fd4fdce3d8c882fefcaead9bfbcaf' into HEAD
Commit: 4447bb4ecf376c95b3d766404ca943ccb14addf5
https://github.com/acl2/acl2/commit/4447bb4ecf376c95b3d766404ca943ccb14addf5
Author: Eric Smith <ews...@gmail.com>
Log Message:
-----------
[bv] Add better syntaxp function.
Commit: aee191f6a997e8e1bb7fed8cb1d333ba9f197b3c
https://github.com/acl2/acl2/commit/aee191f6a997e8e1bb7fed8cb1d333ba9f197b3c
Author: Eric Smith <ews...@gmail.com>
M books/kestrel/bv/leftrotate32.lisp
M books/kestrel/bv/trim-intro-rules.lisp
Log Message:
-----------
[bv] Move and fix some trim rules.
Also use new syntaxp function more.
Commit: 4b49652fa60d117eb98710aa6b4c70eb5ce5245c
https://github.com/acl2/acl2/commit/4b49652fa60d117eb98710aa6b4c70eb5ce5245c
Author: Eric Smith <ews...@gmail.com>
Log Message:
-----------
[axe] Tweak includes.
Commit: 805d1a935610103f0e09aabd971bf92d8e72c1fb
https://github.com/acl2/acl2/commit/805d1a935610103f0e09aabd971bf92d8e72c1fb
Author: Grant Jurgensen <gr...@jurgensen.dev>
M books/kestrel/c/transformation/json-rpc/tests/struct-type-split.lsp
Log Message:
-----------
[C$] Improve STS json wrapper
Commit: bc2a3f918ae46a13a6907e46c879fe76e4e0dfa3
https://github.com/acl2/acl2/commit/bc2a3f918ae46a13a6907e46c879fe76e4e0dfa3
Author: Grant Jurgensen <gr...@jurgensen.dev>
Log Message:
-----------
[C$] Update json-rpc interface README
Commit: 69ce21e176c90cdf0dd9aa19473599e2e32b44fc
https://github.com/acl2/acl2/commit/69ce21e176c90cdf0dd9aa19473599e2e32b44fc
Author: Eric Smith <ews...@gmail.com>
M books/kestrel/c/transformation/json-rpc/struct-type-split.lisp
M books/kestrel/c/transformation/json-rpc/tests/struct-type-split.lsp
M books/kestrel/remora/dynamic-semantics.lisp
M books/kestrel/remora/evaluation-rules.lisp
M books/kestrel/remora/evaluation.lisp
A books/kestrel/remora/expression-values-and-environments.lisp
A books/kestrel/remora/ispace-values-and-environments.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/type-value-equivalence.lisp
A books/kestrel/remora/type-values-and-environments.lisp
M books/kestrel/remora/value-printing.lisp
R books/kestrel/remora/values.lisp
https://github.com/acl2/acl2/commit/319c4998e8a39094345b725397cdb853a2115ff1
Author: Eric Smith <ews...@gmail.com>
Commit: bcf97e451180e2fe99302df8851c6a49085bde4a
https://github.com/acl2/acl2/commit/bcf97e451180e2fe99302df8851c6a49085bde4a
Author: Eric Smith <ews...@gmail.com>
Log Message:
-----------
[bv] Reduce includes.
Commit: 5451e607479af68251b06b789d880bdedd79d41f
https://github.com/acl2/acl2/commit/5451e607479af68251b06b789d880bdedd79d41f
Author: Eric Smith <ews...@gmail.com>
Log Message:
-----------
[bv] Tweak doc.
Commit: 217a83b941acbae06721363e56e3590243427925
https://github.com/acl2/acl2/commit/217a83b941acbae06721363e56e3590243427925
These are unused for now, but this commit makes type values and type dynamic
environments mutually recursive, and adds the environment slots in the type
values that include unevaluated type ASTs.
Commit: 4e8e29b43210db8d9c578eff3359089fd4755c7c
https://github.com/acl2/acl2/commit/4e8e29b43210db8d9c578eff3359089fd4755c7c
Commit: 7ac1132cdf06dcaa7e3de840c12141deaecabd6c
https://github.com/acl2/acl2/commit/7ac1132cdf06dcaa7e3de840c12141deaecabd6c
Commit: cb804f813c07f92a44d7a3c81b40ee15a19a5832
https://github.com/acl2/acl2/commit/cb804f813c07f92a44d7a3c81b40ee15a19a5832
Commit: 0e7affdba509f8d94d961f7dd323c80606e5c180
https://github.com/acl2/acl2/commit/0e7affdba509f8d94d961f7dd323c80606e5c180
Log Message:
-----------
[Remora] Add some evaluation tests.
Commit: 9519df2747b39c58bbd759c71fc00694c688e2bf
https://github.com/acl2/acl2/commit/9519df2747b39c58bbd759c71fc00694c688e2bf
Log Message:
-----------
[Remora] Add two evaluation tests.
These demonstrate the type closures.
Commit: 93cfd10b079ae309fd9d2f445104018dc8084f42
https://github.com/acl2/acl2/commit/93cfd10b079ae309fd9d2f445104018dc8084f42
M books/kestrel/remora/expression-values-and-environments.lisp
Log Message:
-----------
[Remora] Factor base values in new file/topic.
Commit: 7b729b799552236f479da24d5cd178564d30005a
https://github.com/acl2/acl2/commit/7b729b799552236f479da24d5cd178564d30005a
A books/kestrel/remora/primitive-operation-values.lisp
Log Message:
-----------
[Remora] Factor primop values into new file/topic.
Commit: 003eb9ea48775bc3c061afa2ea5c525f5baa07f5
https://github.com/acl2/acl2/commit/003eb9ea48775bc3c061afa2ea5c525f5baa07f5
Log Message:
-----------
[Remora] Reduce book inclusions.
Commit: 7c313763dd8472afa2fac5d5ac5d0eab04199087
https://github.com/acl2/acl2/commit/7c313763dd8472afa2fac5d5ac5d0eab04199087
M books/kestrel/bv/bv-syntax.lisp
M books/kestrel/bv/leftrotate-rules.lisp
M books/kestrel/bv/leftrotate32.lisp
M books/kestrel/bv/trim-elim-rules-bv.lisp
M books/kestrel/bv/trim-intro-rules.lisp
M books/kestrel/c/transformation/json-rpc/README.md
M books/kestrel/c/transformation/json-rpc/struct-type-split.lisp
M books/kestrel/c/transformation/json-rpc/tests/struct-type-split.lsp
Commit: dff7233c1f7ae6e35ed06346191a787563cce2a7
https://github.com/acl2/acl2/commit/dff7233c1f7ae6e35ed06346191a787563cce2a7
Author: Eric McCarthy <bend...@gmail.com>
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp
Log Message:
-----------
[remora] add new surface form of arrow type: (-> T R), equivalent to (-> (T) R)
Commit: 15843b4eadd9c97d74a74566984c81f4fb8c33c6
https://github.com/acl2/acl2/commit/15843b4eadd9c97d74a74566984c81f4fb8c33c6
M books/kestrel/c/language/static-semantics.lisp
Log Message:
-----------
[C] Improve some doc.
Commit: 6b188f8f48ed22987c511c01f7aabf46de85160e
https://github.com/acl2/acl2/commit/6b188f8f48ed22987c511c01f7aabf46de85160e
Log Message:
-----------
[ATC] Improve some terminology.
Commit: 89102b37a5e61de5784033965391a209092e9f46
https://github.com/acl2/acl2/commit/89102b37a5e61de5784033965391a209092e9f46
Log Message:
-----------
[ATC] Improve some terminology.
Commit: 1ef9743590ebe8d6641e2444050b5a335de5466e
https://github.com/acl2/acl2/commit/1ef9743590ebe8d6641e2444050b5a335de5466e
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Log Message:
-----------
Tweaked a comment
Commit: 5869eeaa0e73c45ee0b1cfeb53199a7ae5e21e43
https://github.com/acl2/acl2/commit/5869eeaa0e73c45ee0b1cfeb53199a7ae5e21e43
M books/kestrel/c/syntax/files.lisp
M books/kestrel/c/syntax/top.lisp
Log Message:
-----------
[C$] Improve some terminology.
Commit: b337dfd23eb5771a7e110cc81f47c2bc5c0f0eb1
https://github.com/acl2/acl2/commit/b337dfd23eb5771a7e110cc81f47c2bc5c0f0eb1
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
Log Message:
-----------
[C$] Extend validation annotations.
Annotate `:none` parameter declarators with their type, with `void` as a special
case as described in the documentation.
Commit: 5b39557d63587788c48cd51c11457b21dfe04d49
https://github.com/acl2/acl2/commit/5b39557d63587788c48cd51c11457b21dfe04d49
Log Message:
-----------
Merge.
Commit: 61e855d7463bcee68cce182723c78b918f5812ca
https://github.com/acl2/acl2/commit/61e855d7463bcee68cce182723c78b918f5812ca
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp
Log Message:
-----------
Merge.
Commit: a3ca276121bda9c65109698aed88cad63d369672
https://github.com/acl2/acl2/commit/a3ca276121bda9c65109698aed88cad63d369672
M books/kestrel/c/atc/generation.lisp
M books/kestrel/c/language/abstract-syntax.lisp
M books/kestrel/c/language/static-semantics.lisp
M books/kestrel/c/syntax/abstract-syntax-formal-mapping-direct.lisp
M books/kestrel/c/syntax/files.lisp
M books/kestrel/c/syntax/top.lisp
Log Message:
-----------
Merge.
Compare: https://github.com/acl2/acl2/compare/6ee1065008ea...a3ca276121bd
Home: https://github.com/acl2/acl2
Commit: 044877090f770f5f49cb3fd0f93b386ceb146bde
https://github.com/acl2/acl2/commit/044877090f770f5f49cb3fd0f93b386ceb146bde
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
Log Message:
-----------
[Remora] Update some doc.
Commit: 044877090f770f5f49cb3fd0f93b386ceb146bde
https://github.com/acl2/acl2/commit/044877090f770f5f49cb3fd0f93b386ceb146bde
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
Log Message:
-----------
[Remora] Update some doc.
https://github.com/acl2/acl2/commit/5fbcba85bb0d9113bdbf76cd37c748b553aa9408
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/abstract-syntax-trees.lisp
Changed paths:
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp
Log Message:
-----------
[remora] rename "extent" to "ispace" in surface syntax
Commit: cb56151d764edca54baeee5c2c983d24374c0f41
https://github.com/acl2/acl2/commit/cb56151d764edca54baeee5c2c983d24374c0f41
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-semantics.lisp
Log Message:
-----------
[Remora] Update some doc.
Commit: 22ab12fb99455ccae4eda0a914545f566bbcb77a
https://github.com/acl2/acl2/commit/22ab12fb99455ccae4eda0a914545f566bbcb77a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-semantics.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remove] Move some doc.
https://github.com/acl2/acl2/commit/90bb9cfc27ee9f2e89fbfabc7f6a401b62f48cb8
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/abstract-syntax-trees.lisp
Changed paths:
M books/kestrel/remora/grammar.abnf
M books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/printer.lisp
M books/kestrel/remora/syntax-abstraction.lisp
Log Message:
-----------
Merge commit '5fbcba85bb0d9113bdbf76cd37c748b553aa9408' into HEAD
Commit: f0eadb0ee671d45a96ecba9d8db5c1125ac292d3
https://github.com/acl2/acl2/commit/f0eadb0ee671d45a96ecba9d8db5c1125ac292d3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/dynamic-semantics.lisp
A books/kestrel/remora/ispace-values-and-environments.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[Remora] Factor code into new file and topic.
https://github.com/acl2/acl2/commit/17788409c44fd4fdce3d8c882fefcaead9bfbcaf
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/primitives-evaluation-tests.lisp
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
[remora] handle exponentiation evaluation and small changes for "div" -> "/"
https://github.com/acl2/acl2/commit/784678140141c00327f73bddc030a46d53dd1068
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-07-07 (Tue, 07 Jul 2026)
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/primitives-evaluation-tests.lisp
Changed paths:
M books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/values.lisp
Log Message:
-----------
Merge commit '17788409c44fd4fdce3d8c882fefcaead9bfbcaf' into HEAD
https://github.com/acl2/acl2/commit/4447bb4ecf376c95b3d766404ca943ccb14addf5
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/bv/bv-syntax.lisp
Changed paths:
Log Message:
-----------
[bv] Add better syntaxp function.
Commit: aee191f6a997e8e1bb7fed8cb1d333ba9f197b3c
https://github.com/acl2/acl2/commit/aee191f6a997e8e1bb7fed8cb1d333ba9f197b3c
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/bv/leftrotate-rules.lisp
Changed paths:
M books/kestrel/bv/leftrotate32.lisp
M books/kestrel/bv/trim-intro-rules.lisp
Log Message:
-----------
[bv] Move and fix some trim rules.
Also use new syntaxp function more.
Commit: 4b49652fa60d117eb98710aa6b4c70eb5ce5245c
https://github.com/acl2/acl2/commit/4b49652fa60d117eb98710aa6b4c70eb5ce5245c
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/axe/trim-intro-rules-axe.lisp
Changed paths:
Log Message:
-----------
[axe] Tweak includes.
Commit: 805d1a935610103f0e09aabd971bf92d8e72c1fb
https://github.com/acl2/acl2/commit/805d1a935610103f0e09aabd971bf92d8e72c1fb
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/json-rpc/struct-type-split.lisp
Changed paths:
M books/kestrel/c/transformation/json-rpc/tests/struct-type-split.lsp
Log Message:
-----------
[C$] Improve STS json wrapper
Commit: bc2a3f918ae46a13a6907e46c879fe76e4e0dfa3
https://github.com/acl2/acl2/commit/bc2a3f918ae46a13a6907e46c879fe76e4e0dfa3
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/transformation/json-rpc/README.md
Changed paths:
Log Message:
-----------
[C$] Update json-rpc interface README
Commit: 69ce21e176c90cdf0dd9aa19473599e2e32b44fc
https://github.com/acl2/acl2/commit/69ce21e176c90cdf0dd9aa19473599e2e32b44fc
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/demos/floating-point-log.txt
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-symbols.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/types-to-tynames.lisp
M books/kestrel/c/syntax/validation-annotations.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/json-rpc/README.md
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/types-to-tynames.lisp
M books/kestrel/c/syntax/validation-annotations.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/json-rpc/struct-type-split.lisp
M books/kestrel/c/transformation/json-rpc/tests/struct-type-split.lsp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
R books/kestrel/remora/dynamic-environments.lisp
M books/kestrel/c/transformation/struct-type-split-safety.lisp
M books/kestrel/c/transformation/struct-type-split.lisp
M books/kestrel/c/transformation/utilities/subst-free.lisp
M books/kestrel/remora/dynamic-semantics.lisp
M books/kestrel/remora/evaluation-rules.lisp
M books/kestrel/remora/evaluation.lisp
A books/kestrel/remora/expression-values-and-environments.lisp
A books/kestrel/remora/ispace-values-and-environments.lisp
M books/kestrel/remora/primitives-evaluation.lisp
M books/kestrel/remora/static-environments.lisp
M books/kestrel/remora/type-value-equivalence.lisp
A books/kestrel/remora/type-values-and-environments.lisp
M books/kestrel/remora/value-printing.lisp
R books/kestrel/remora/values.lisp
M books/system/doc/acl2-doc.lisp
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M ld.lisp
Log Message:
-----------
Merge.
Commit: 319c4998e8a39094345b725397cdb853a2115ff1
M doc.lisp
M doc/acl2-code-size.txt
M doc/home-page.html
M ld.lisp
Log Message:
-----------
Merge.
https://github.com/acl2/acl2/commit/319c4998e8a39094345b725397cdb853a2115ff1
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
Changed paths:
M books/kestrel/remora/value-printing.lisp
Log Message:
-----------
[Remora] Exclude book from ACL2(r) builds.
Log Message:
-----------
Commit: bcf97e451180e2fe99302df8851c6a49085bde4a
https://github.com/acl2/acl2/commit/bcf97e451180e2fe99302df8851c6a49085bde4a
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/bv/trim-intro-rules.lisp
Changed paths:
Log Message:
-----------
[bv] Reduce includes.
Commit: 5451e607479af68251b06b789d880bdedd79d41f
https://github.com/acl2/acl2/commit/5451e607479af68251b06b789d880bdedd79d41f
Author: Eric Smith <ews...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/bv/trim-elim-rules-bv.lisp
Changed paths:
Log Message:
-----------
[bv] Tweak doc.
Commit: 217a83b941acbae06721363e56e3590243427925
https://github.com/acl2/acl2/commit/217a83b941acbae06721363e56e3590243427925
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/remora/type-values-and-environments.lisp
Log Message:
-----------
[Remora] Add closures to type values.
Log Message:
-----------
These are unused for now, but this commit makes type values and type dynamic
environments mutually recursive, and adds the environment slots in the type
values that include unevaluated type ASTs.
Commit: 4e8e29b43210db8d9c578eff3359089fd4755c7c
https://github.com/acl2/acl2/commit/4e8e29b43210db8d9c578eff3359089fd4755c7c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/remora/ispace-values-and-environments.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/remora/type-values-and-environments.lisp
Log Message:
-----------
[Remora] Add environment restriction ops.
Log Message:
-----------
Commit: 7ac1132cdf06dcaa7e3de840c12141deaecabd6c
https://github.com/acl2/acl2/commit/7ac1132cdf06dcaa7e3de840c12141deaecabd6c
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Store proper environments in type values.
Log Message:
-----------
Commit: cb804f813c07f92a44d7a3c81b40ee15a19a5832
https://github.com/acl2/acl2/commit/cb804f813c07f92a44d7a3c81b40ee15a19a5832
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation.lisp
Log Message:
-----------
[Remora] Use the type closures in evaluation.
Log Message:
-----------
Commit: 0e7affdba509f8d94d961f7dd323c80606e5c180
https://github.com/acl2/acl2/commit/0e7affdba509f8d94d961f7dd323c80606e5c180
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
A books/kestrel/remora/evaluation-tests.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
Log Message:
-----------
[Remora] Add some evaluation tests.
Commit: 9519df2747b39c58bbd759c71fc00694c688e2bf
https://github.com/acl2/acl2/commit/9519df2747b39c58bbd759c71fc00694c688e2bf
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/remora/evaluation-tests.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
Log Message:
-----------
[Remora] Add two evaluation tests.
These demonstrate the type closures.
Commit: 93cfd10b079ae309fd9d2f445104018dc8084f42
https://github.com/acl2/acl2/commit/93cfd10b079ae309fd9d2f445104018dc8084f42
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
A books/kestrel/remora/base-values.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/remora/expression-values-and-environments.lisp
Log Message:
-----------
[Remora] Factor base values in new file/topic.
Commit: 7b729b799552236f479da24d5cd178564d30005a
https://github.com/acl2/acl2/commit/7b729b799552236f479da24d5cd178564d30005a
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/remora/expression-values-and-environments.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
A books/kestrel/remora/primitive-operation-values.lisp
Log Message:
-----------
[Remora] Factor primop values into new file/topic.
Commit: 003eb9ea48775bc3c061afa2ea5c525f5baa07f5
https://github.com/acl2/acl2/commit/003eb9ea48775bc3c061afa2ea5c525f5baa07f5
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/remora/expression-values-and-environments.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
Log Message:
-----------
[Remora] Reduce book inclusions.
https://github.com/acl2/acl2/commit/7c313763dd8472afa2fac5d5ac5d0eab04199087
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/axe/trim-intro-rules-axe.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/bv/bv-syntax.lisp
M books/kestrel/bv/leftrotate-rules.lisp
M books/kestrel/bv/leftrotate32.lisp
M books/kestrel/bv/trim-elim-rules-bv.lisp
M books/kestrel/bv/trim-intro-rules.lisp
M books/kestrel/c/transformation/json-rpc/README.md
M books/kestrel/c/transformation/json-rpc/struct-type-split.lisp
M books/kestrel/c/transformation/json-rpc/tests/struct-type-split.lsp
M books/kestrel/remora/value-printing.lisp
Log Message:
-----------
Merge.
Log Message:
-----------
Commit: dff7233c1f7ae6e35ed06346191a787563cce2a7
https://github.com/acl2/acl2/commit/dff7233c1f7ae6e35ed06346191a787563cce2a7
Author: Eric McCarthy <bend...@gmail.com>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/remora/grammar.abnf
Changed paths:
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp
Log Message:
-----------
[remora] add new surface form of arrow type: (-> T R), equivalent to (-> (T) R)
Commit: 15843b4eadd9c97d74a74566984c81f4fb8c33c6
https://github.com/acl2/acl2/commit/15843b4eadd9c97d74a74566984c81f4fb8c33c6
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/language/abstract-syntax.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/language/static-semantics.lisp
Log Message:
-----------
[C] Improve some doc.
Commit: 6b188f8f48ed22987c511c01f7aabf46de85160e
https://github.com/acl2/acl2/commit/6b188f8f48ed22987c511c01f7aabf46de85160e
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/atc/doc.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
Log Message:
-----------
[ATC] Improve some terminology.
Commit: 89102b37a5e61de5784033965391a209092e9f46
https://github.com/acl2/acl2/commit/89102b37a5e61de5784033965391a209092e9f46
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/atc/generation.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
Log Message:
-----------
[ATC] Improve some terminology.
Commit: 1ef9743590ebe8d6641e2444050b5a335de5466e
https://github.com/acl2/acl2/commit/1ef9743590ebe8d6641e2444050b5a335de5466e
Author: Matt Kaufmann <kauf...@cs.utexas.edu>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/demos/claude/qsort-examples.lisp
Changed paths:
Log Message:
-----------
Tweaked a comment
Commit: 5869eeaa0e73c45ee0b1cfeb53199a7ae5e21e43
https://github.com/acl2/acl2/commit/5869eeaa0e73c45ee0b1cfeb53199a7ae5e21e43
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-formal-mapping-direct.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/syntax/files.lisp
M books/kestrel/c/syntax/top.lisp
Log Message:
-----------
[C$] Improve some terminology.
Commit: b337dfd23eb5771a7e110cc81f47c2bc5c0f0eb1
https://github.com/acl2/acl2/commit/b337dfd23eb5771a7e110cc81f47c2bc5c0f0eb1
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-formal-mapping-inverse.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/syntax/abstract-syntax-irrelevants.lisp
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/types-to-tynames.lisp
M books/kestrel/c/syntax/unambiguity.lisp
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/types-to-tynames.lisp
M books/kestrel/c/syntax/validation-annotations.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/simpadd0.lisp
M books/kestrel/c/transformation/wrap-fn.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/constant-propagation.lisp
M books/kestrel/c/transformation/simpadd0.lisp
Log Message:
-----------
[C$] Extend validation annotations.
Annotate `:none` parameter declarators with their type, with `void` as a special
case as described in the documentation.
Commit: 5b39557d63587788c48cd51c11457b21dfe04d49
https://github.com/acl2/acl2/commit/5b39557d63587788c48cd51c11457b21dfe04d49
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/demos/claude/qsort-examples.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
Log Message:
-----------
Merge.
Commit: 61e855d7463bcee68cce182723c78b918f5812ca
https://github.com/acl2/acl2/commit/61e855d7463bcee68cce182723c78b918f5812ca
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/remora/grammar.abnf
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/remora/parser-tests.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/syntax-abstraction.lisp
Log Message:
-----------
Merge.
Commit: a3ca276121bda9c65109698aed88cad63d369672
https://github.com/acl2/acl2/commit/a3ca276121bda9c65109698aed88cad63d369672
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/atc/doc.lisp
Date: 2026-07-08 (Wed, 08 Jul 2026)
Changed paths:
M books/kestrel/c/atc/generation.lisp
M books/kestrel/c/language/abstract-syntax.lisp
M books/kestrel/c/language/static-semantics.lisp
M books/kestrel/c/syntax/abstract-syntax-formal-mapping-direct.lisp
M books/kestrel/c/syntax/files.lisp
M books/kestrel/c/syntax/top.lisp
Log Message:
-----------
Merge.
Compare: https://github.com/acl2/acl2/compare/6ee1065008ea...a3ca276121bd
Reply all
Reply to author
Forward
0 new messages