[acl2/acl2] 8fdfd0: [Std/system] Add a system utility.

0 views
Skip to first unread message

Alessandro Coglio

unread,
Apr 16, 2026, 1:39:10 AM (yesterday) Apr 16
to acl2-...@googlegroups.com
Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 8fdfd018d75462279f7d85506e414921311ce96b
https://github.com/acl2/acl2/commit/8fdfd018d75462279f7d85506e414921311ce96b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
A books/std/system/current-package-plus.lisp
M books/std/system/top.lisp

Log Message:
-----------
[Std/system] Add a system utility.


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

Changed paths:
M books/projects/pfcs/lifting.lisp
M books/projects/pfcs/package.lsp

Log Message:
-----------
[PFCS] Take utility from library.


Commit: e0522df795f892a7f5aeeae42424d1819a6a2547
https://github.com/acl2/acl2/commit/e0522df795f892a7f5aeeae42424d1819a6a2547
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
A books/kestrel/remora/.gitattributes
A books/kestrel/remora/grammar.abnf
A books/kestrel/remora/grammar.lisp
M books/kestrel/remora/top.lisp

Log Message:
-----------
[remora] add grammar


Commit: 28e1755e65ed025abfa5671739a17a654abea586
https://github.com/acl2/acl2/commit/28e1755e65ed025abfa5671739a17a654abea586
Author: Eric McCarthy <mcca...@kestrel.edu>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
M books/kestrel/remora/grammar.lisp

Log Message:
-----------
[remora] add deftreeops to grammar


Commit: 2bd746fc9497e72ed7967d9b7a1223f89eb44682
https://github.com/acl2/acl2/commit/2bd746fc9497e72ed7967d9b7a1223f89eb44682
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
A books/kestrel/remora/.gitattributes
A books/kestrel/remora/grammar.abnf
A books/kestrel/remora/grammar.lisp
M books/kestrel/remora/top.lisp

Log Message:
-----------
Merge commit '28e1755e65ed025abfa5671739a17a654abea586' into HEAD


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

Changed paths:
A books/kestrel/remora/.gitattributes
A books/kestrel/remora/grammar.abnf
A books/kestrel/remora/grammar.lisp
M books/kestrel/remora/top.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/bcd.lisp

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


Compare: https://github.com/acl2/acl2/compare/10628baa2032...923f812a9b00

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

Alessandro Coglio

unread,
Apr 16, 2026, 2:49:44 AM (yesterday) Apr 16
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: 8fdfd018d75462279f7d85506e414921311ce96b
https://github.com/acl2/acl2/commit/8fdfd018d75462279f7d85506e414921311ce96b
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-04-15 (Wed, 15 Apr 2026)

Changed paths:
A books/std/system/current-package-plus.lisp
M books/std/system/top.lisp

Log Message:
-----------
[Std/system] Add a system utility.


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

Changed paths:
M books/projects/pfcs/lifting.lisp
M books/projects/pfcs/package.lsp

Log Message:
-----------
[PFCS] Take utility from library.


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

Changed paths:
A books/kestrel/remora/.gitattributes
A books/kestrel/remora/grammar.abnf
A books/kestrel/remora/grammar.lisp
M books/kestrel/remora/top.lisp
M books/projects/x86isa/machine/inst-listing.lisp
M books/projects/x86isa/machine/instructions/bcd.lisp

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


Compare: https://github.com/acl2/acl2/compare/2bd746fc9497...923f812a9b00

Alessandro Coglio

unread,
Apr 16, 2026, 2:50:34 AM (yesterday) Apr 16
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages