[acl2/acl2] c13d5a: [make-flag] Fix error handling.

0 views
Skip to first unread message

Eric W. Smith

unread,
Mar 26, 2026, 1:15:40 AM (3 days ago) Mar 26
to acl2-...@googlegroups.com
Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: c13d5a7cc275db1bb68ddb830baeebb545ab6b84
https://github.com/acl2/acl2/commit/c13d5a7cc275db1bb68ddb830baeebb545ab6b84
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-25 (Wed, 25 Mar 2026)

Changed paths:
M books/tools/flag.lisp

Log Message:
-----------
[make-flag] Fix error handling.

Approved by Sol via Zulip message.


Commit: 842db89780d7acf3deabb4ba2e869aaae1b2bce9
https://github.com/acl2/acl2/commit/842db89780d7acf3deabb4ba2e869aaae1b2bce9
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-25 (Wed, 25 Mar 2026)

Changed paths:
M books/kestrel/arm/encodings.lisp
M books/kestrel/arm/instructions.lisp
M books/kestrel/arm/pseudocode.lisp
M books/kestrel/arm/state.lisp
M books/kestrel/axe/arm/rule-lists.lisp

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


Compare: https://github.com/acl2/acl2/compare/8f02d0398a62...842db89780d7

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

acl2buildserver

unread,
Mar 26, 2026, 3:38:19 AM (2 days ago) Mar 26
to acl2-...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/acl2/acl2
Commit: c13d5a7cc275db1bb68ddb830baeebb545ab6b84
https://github.com/acl2/acl2/commit/c13d5a7cc275db1bb68ddb830baeebb545ab6b84
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-25 (Wed, 25 Mar 2026)

Changed paths:
M books/tools/flag.lisp

Log Message:
-----------
[make-flag] Fix error handling.

Approved by Sol via Zulip message.


Commit: 842db89780d7acf3deabb4ba2e869aaae1b2bce9
https://github.com/acl2/acl2/commit/842db89780d7acf3deabb4ba2e869aaae1b2bce9
Author: Eric Smith <ews...@gmail.com>
Date: 2026-03-25 (Wed, 25 Mar 2026)

Changed paths:
M books/kestrel/arm/encodings.lisp
M books/kestrel/arm/instructions.lisp
M books/kestrel/arm/pseudocode.lisp
M books/kestrel/arm/state.lisp
M books/kestrel/axe/arm/rule-lists.lisp

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


Commit: a0b79b6e00bd6ba4e6414f8f44c2c00b4bf5589e
https://github.com/acl2/acl2/commit/a0b79b6e00bd6ba4e6414f8f44c2c00b4bf5589e
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-03-26 (Thu, 26 Mar 2026)

Changed paths:
M books/tools/flag.lisp

Log Message:
-----------
Merge commit '842db89780d7acf3deabb4ba2e869aaae1b2bce9' into HEAD


Compare: https://github.com/acl2/acl2/compare/c9f4128e658b...a0b79b6e00bd

acl2buildserver

unread,
Mar 26, 2026, 3:38:38 AM (2 days ago) Mar 26
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Reply all
Reply to author
Forward
0 new messages