[acl2/acl2] 32a5fb: [C$] Add :keep-going option to input-files

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 32a5fb19b1dfc3812b004fb93cfa4374fe108630
https://github.com/acl2/acl2/commit/32a5fb19b1dfc3812b004fb93cfa4374fe108630
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2025-09-25 (Thu, 25 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/input-files-doc.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/split-all-gso.lisp

Log Message:
-----------
[C$] Add :keep-going option to input-files

Also adds `keep-going` arguments to the parser, disambiguator, and
validator.



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

[acl2buildserver]

Branch: refs/heads/master

Home: https://github.com/acl2/acl2
Commit: 32a5fb19b1dfc3812b004fb93cfa4374fe108630
https://github.com/acl2/acl2/commit/32a5fb19b1dfc3812b004fb93cfa4374fe108630
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2025-09-25 (Thu, 25 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/input-files-doc.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/split-all-gso.lisp

Log Message:
-----------
[C$] Add :keep-going option to input-files

Also adds `keep-going` arguments to the parser, disambiguator, and
validator.

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

Date: 2025-09-25 (Thu, 25 Sep 2025)

Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/input-files-doc.lisp
M books/kestrel/c/syntax/input-files.lisp
M books/kestrel/c/syntax/parser.lisp
M books/kestrel/c/syntax/tests/validator.lisp
M books/kestrel/c/syntax/validator.lisp
M books/kestrel/c/transformation/split-all-gso.lisp

Log Message:
-----------

Merge commit '32a5fb19b1dfc3812b004fb93cfa4374fe108630' into HEAD


Compare: https://github.com/acl2/acl2/compare/89e1c9425be6...c4b0e52b2b57

[acl2buildserver]

Branch: refs/heads/testing