[acl2/acl2] 918e06: [FTY] Fix bug in error messages.

[Alessandro Coglio]

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 918e065c5fc563928251a20c79cdccbb2e653585
https://github.com/acl2/acl2/commit/918e065c5fc563928251a20c79cdccbb2e653585
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:
M books/kestrel/fty/dependencies.lisp

Log Message:
-----------
[FTY] Fix bug in error messages.


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

Changed paths:
M books/kestrel/fty/deffold-map.lisp

Log Message:
-----------
[FTY] Fix typo in comment.


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

Changed paths:
M books/kestrel/fty/database.lisp
M books/kestrel/fty/nat-natlist-result.lisp

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


Compare: https://github.com/acl2/acl2/compare/ed614520a769...f5c3486b7c63

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

[Alessandro Coglio]

Branch: refs/heads/master

[Alessandro Coglio]

Branch: refs/heads/testing

[acl2buildserver]

Branch: refs/heads/testing-kestrel

Commit: d8483fd63f36f985791559c64ce71edf93c486ae
https://github.com/acl2/acl2/commit/d8483fd63f36f985791559c64ce71edf93c486ae
Author: ACL2 Build Server <acl2bui...@gmail.com>

Date: 2026-04-11 (Sat, 11 Apr 2026)

Changed paths:

M books/kestrel/axe/jvm/axe-syntax-functions-jvm.lisp
M books/kestrel/axe/jvm/tester.lisp
M books/kestrel/executable-parsers/parse-mach-o-file.lisp
M books/kestrel/executable-parsers/parse-pe-file.lisp
A books/kestrel/jvm/bindings.lisp
M books/kestrel/jvm/class-file-parser.lisp
M books/kestrel/jvm/execution-common.lisp
M books/kestrel/jvm/execution.lisp
M books/kestrel/jvm/execution2.lisp
M books/kestrel/jvm/frames.lisp
M books/kestrel/jvm/instructions.lisp
M books/kestrel/jvm/intern-table.lisp
M books/kestrel/jvm/java-types.lisp
M books/kestrel/jvm/jvm-facts.lisp
M books/kestrel/jvm/jvm-facts0.lisp
M books/kestrel/jvm/jvm.lisp
M books/kestrel/jvm/methods.lisp
M books/kestrel/jvm/package.lsp
M books/kestrel/jvm/pc-designators.lisp
M books/kestrel/jvm/read-and-parse-class-file.lisp
M books/kestrel/jvm/read-class-from-hierarchy.lisp
M books/kestrel/jvm/read-class.lisp
M books/kestrel/jvm/read-jar.lisp
A books/kestrel/jvm/states.lisp
A books/kestrel/jvm/string-encoding.lisp
M books/kestrel/jvm/strings.lisp
M books/kestrel/jvm/symbolic-execution.lisp
M books/kestrel/jvm/symbolic-execution2.lisp
A books/kestrel/jvm/th.lisp
M books/kestrel/jvm/top.lisp
M books/kestrel/typed-lists-light/map-code-char.lisp
M books/kestrel/unicode-light/code-point-to-utf-8-chars.lisp

Log Message:
-----------
Merge commit 'af19ffd6396af3710fae9fbf5bbfdc6ab784ef10' into HEAD


Compare: https://github.com/acl2/acl2/compare/af19ffd6396a...d8483fd63f36