[acl2/acl2] 702148: [C$] Add macro table to validator state.

0 views

Skip to first unread message

Alessandro Coglio

unread,

May 1, 2026, 6:40:21 PM (6 days ago) May 1

to acl2-...@googlegroups.com

Branch: refs/heads/testing-user-01
Home: https://github.com/acl2/acl2
Commit: 7021487024dbfeb8f84aaa37d2d628aaebc8b400
https://github.com/acl2/acl2/commit/7021487024dbfeb8f84aaa37d2d628aaebc8b400
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-01 (Fri, 01 May 2026)

Changed paths:
M books/kestrel/c/syntax/validator.lisp

Log Message:
-----------
[C$] Add macro table to validator state.

This is a step towards modular validation.

Commit: 2122cd33c8fc88bbe2e222e3603d7d52bb1475f4
https://github.com/acl2/acl2/commit/2122cd33c8fc88bbe2e222e3603d7d52bb1475f4
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-01 (Fri, 01 May 2026)

Changed paths:
M books/kestrel/java/aij/assumptions.lisp
M books/kestrel/java/atj/code-generation.lisp
M books/kestrel/java/atj/common-code-generation.lisp
M books/kestrel/java/atj/java-abstract-syntax.lisp
M books/kestrel/java/atj/library-extensions.lisp
M books/kestrel/java/atj/shallow-quoted-constant-generation.lisp
M books/kestrel/java/atj/tests/acl2-times.lisp
M books/kestrel/java/language/binary-integer-literals.lisp
M books/kestrel/java/language/hexadecimal-integer-literals.lisp
M books/kestrel/java/language/primitive-operations.lisp
M books/kestrel/java/top.lisp

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

Commit: d138e4330c8e84def00a9fc915c674536b1f1f71
https://github.com/acl2/acl2/commit/d138e4330c8e84def00a9fc915c674536b1f1f71
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-01 (Fri, 01 May 2026)

Changed paths:
M books/kestrel/c/syntax/validator.lisp

Log Message:
-----------
[C$] Stick to 80 columns (just layout changes).

Commit: 89e2642942e999adac0dda8e93fab5285074d9c3
https://github.com/acl2/acl2/commit/89e2642942e999adac0dda8e93fab5285074d9c3
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-01 (Fri, 01 May 2026)

Changed paths:
M books/kestrel/c/syntax/validator.lisp

Log Message:
-----------
[C$] Generalize some validator code.

Have `valid-trans-item` return a list of validated translation items. This is
always a singleton for now, but this is a generalization that we need for
handling expansions of `#include`s in place.

Commit: ca5c3cc97bafbd031c207a904dde2b8b05bbd979
https://github.com/acl2/acl2/commit/ca5c3cc97bafbd031c207a904dde2b8b05bbd979
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-01 (Fri, 01 May 2026)

Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp

Log Message:
-----------
[C$] Fix doc.

Commit: de5be0844e29c69e8e73997da8d4cfe297d24533
https://github.com/acl2/acl2/commit/de5be0844e29c69e8e73997da8d4cfe297d24533
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-01 (Fri, 01 May 2026)

Changed paths:
M books/kestrel/c/syntax/validator.lisp

Log Message:
-----------
[C$] Extend validator.

Support `#define` and `#undef`. These are considered valid, and undergo no
transformation, but they affect the macro table.

Commit: 0e9a350a22dccccc2e5dcdee13ad26254d0d8bed
https://github.com/acl2/acl2/commit/0e9a350a22dccccc2e5dcdee13ad26254d0d8bed
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-01 (Fri, 01 May 2026)

Changed paths:
M books/kestrel/c/syntax/abstract-syntax-trees.lisp
M books/kestrel/c/syntax/langdef-mapping-inverse.lisp
M books/kestrel/c/syntax/lexer.lisp
M books/kestrel/c/syntax/preprocessor-lexer.lisp
M books/kestrel/c/syntax/preprocessor-reader.lisp
M books/kestrel/c/syntax/types.lisp
M books/kestrel/c/syntax/validation-information.lisp

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

Commit: 4ea27c7e4c39b856c644a01fa1cc01cd92903a2d
https://github.com/acl2/acl2/commit/4ea27c7e4c39b856c644a01fa1cc01cd92903a2d
Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-01 (Fri, 01 May 2026)

Changed paths:
M books/kestrel/java/aij/top.lisp
M books/kestrel/java/atj/aij-notions.lisp
M books/kestrel/java/atj/array-write-method-names.lisp
M books/kestrel/java/atj/atj.lisp
M books/kestrel/java/atj/code-generation.lisp
M books/kestrel/java/atj/common-code-generation.lisp
M books/kestrel/java/atj/deep-code-generation.lisp
M books/kestrel/java/atj/doc.lisp
M books/kestrel/java/atj/input-processing.lisp
M books/kestrel/java/atj/java-abstract-syntax.lisp
M books/kestrel/java/atj/java-input-types.lisp
M books/kestrel/java/atj/java-pretty-printer.lisp
M books/kestrel/java/atj/java-primitive-array-model.lisp
M books/kestrel/java/atj/java-primitive-arrays.lisp
M books/kestrel/java/atj/java-primitives.lisp
M books/kestrel/java/atj/java-syntax-operations.lisp
M books/kestrel/java/atj/name-translation.lisp
M books/kestrel/java/atj/post-translation/cache-const-methods.lisp
M books/kestrel/java/atj/post-translation/fold-returns.lisp
M books/kestrel/java/atj/post-translation/lift-loop-tests.lisp
M books/kestrel/java/atj/post-translation/remove-array-write-calls.lisp
M books/kestrel/java/atj/post-translation/remove-continue.lisp
M books/kestrel/java/atj/post-translation/simplify-conds.lisp
M books/kestrel/java/atj/post-translation/tailrec-elimination.lisp
M books/kestrel/java/atj/post-translation/top.lisp
M books/kestrel/java/atj/pre-translation/array-analysis.lisp
M books/kestrel/java/atj/pre-translation/conjunctions.lisp
M books/kestrel/java/atj/pre-translation/disjunctions.lisp
M books/kestrel/java/atj/pre-translation/multiple-values.lisp
M books/kestrel/java/atj/pre-translation/no-aij-types-analysis.lisp
M books/kestrel/java/atj/pre-translation/remove-dead-if-branches.lisp
M books/kestrel/java/atj/pre-translation/remove-return-last.lisp
M books/kestrel/java/atj/pre-translation/top.lisp
M books/kestrel/java/atj/pre-translation/trivial-vars.lisp
M books/kestrel/java/atj/pre-translation/type-annotation.lisp
M books/kestrel/java/atj/pre-translation/unused-vars.lisp
M books/kestrel/java/atj/pre-translation/var-renaming.lisp
M books/kestrel/java/atj/pre-translation/var-reuse.lisp
M books/kestrel/java/atj/shallow-code-generation.lisp
M books/kestrel/java/atj/shallow-quoted-constant-generation.lisp
M books/kestrel/java/atj/test-structures.lisp
M books/kestrel/java/atj/tests/abnf.lisp
M books/kestrel/java/atj/tests/acl2-times.lisp
M books/kestrel/java/atj/tests/booleans.lisp
M books/kestrel/java/atj/tests/cache-const-methods.lisp
M books/kestrel/java/atj/tests/factorial.lisp
M books/kestrel/java/atj/tests/fibonacci.lisp
M books/kestrel/java/atj/tests/hard-error.lisp
M books/kestrel/java/atj/tests/multivalue.lisp
M books/kestrel/java/atj/tests/natives.lisp
M books/kestrel/java/atj/tests/no-aij-types.lisp
M books/kestrel/java/atj/tests/packages.lisp
M books/kestrel/java/atj/tests/primarrays.lisp
M books/kestrel/java/atj/tests/primitives.lisp
M books/kestrel/java/atj/top.lisp
M books/kestrel/java/atj/tutorial.lisp
M books/kestrel/java/atj/type-macros.lisp
M books/kestrel/java/atj/types-for-built-ins.lisp
M books/kestrel/java/atj/types-for-bv-fns.lisp
M books/kestrel/java/atj/types-for-ihs-fns.lisp
M books/kestrel/java/atj/types-for-list-fns.lisp
M books/kestrel/java/atj/types-for-natives.lisp
M books/kestrel/java/atj/types-for-std-fns.lisp
M books/kestrel/java/atj/types.lisp
M books/kestrel/java/language/binary-digits-validation.lisp
M books/kestrel/java/language/binary-integer-literals.lisp
M books/kestrel/java/language/boolean-literals-validation.lisp
M books/kestrel/java/language/boolean-literals.lisp
M books/kestrel/java/language/decimal-digits-validation.lisp
M books/kestrel/java/language/decimal-integer-literals.lisp
M books/kestrel/java/language/escape-sequences.lisp
M books/kestrel/java/language/floating-point-placeholders.lisp
M books/kestrel/java/language/floating-point-value-set-parameters.lisp
M books/kestrel/java/language/grammar.lisp
M books/kestrel/java/language/hexadecimal-digits-validation.lisp
M books/kestrel/java/language/hexadecimal-integer-literals.lisp
M books/kestrel/java/language/integer-literals.lisp
M books/kestrel/java/language/keywords-validation.lisp
M books/kestrel/java/language/literals.lisp
M books/kestrel/java/language/null-literal-validation.lisp
M books/kestrel/java/language/null-literal.lisp
M books/kestrel/java/language/octal-digits-validation.lisp
M books/kestrel/java/language/octal-integer-literals.lisp
M books/kestrel/java/language/optional-integer-type-suffix.lisp
M books/kestrel/java/language/package-names.lisp
M books/kestrel/java/language/pointers.lisp
M books/kestrel/java/language/primitive-conversions.lisp
M books/kestrel/java/language/primitive-function-macros.lisp
M books/kestrel/java/language/primitive-operations.lisp
M books/kestrel/java/language/primitive-types.lisp
M books/kestrel/java/language/primitive-values.lisp
M books/kestrel/java/language/reference-types.lisp
M books/kestrel/java/language/reference-values.lisp
M books/kestrel/java/language/semantics.lisp
M books/kestrel/java/language/syntax.lisp
M books/kestrel/java/language/top.lisp
M books/kestrel/java/language/types.lisp
M books/kestrel/java/language/unicode-characters.lisp
M books/kestrel/java/language/unicode-escapes.lisp
M books/kestrel/java/language/unicode-input-characters.lisp
M books/kestrel/java/language/values.lisp
M books/kestrel/java/portcullis.lisp

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

Compare: https://github.com/acl2/acl2/compare/3912f2c2afb8...4ea27c7e4c39

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

Alessandro Coglio

unread,

May 1, 2026, 8:03:55 PM (6 days ago) May 1

to acl2-...@googlegroups.com

Branch: refs/heads/master

Alessandro Coglio

unread,

May 1, 2026, 8:04:35 PM (6 days ago) May 1

to acl2-...@googlegroups.com

Branch: refs/heads/testing

Grant Jurgensen

unread,

May 3, 2026, 6:05:03 PM (4 days ago) May 3

to acl2-...@googlegroups.com

Branch: refs/heads/testing-kestrel

Commit: bdf9382a60e00301186f383c04f19583fcf3d7c1
https://github.com/acl2/acl2/commit/bdf9382a60e00301186f383c04f19583fcf3d7c1

Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-01 (Fri, 01 May 2026)

Changed paths:

M books/kestrel/java/atj/code-generation.lisp
M books/kestrel/java/atj/common-code-generation.lisp
M books/kestrel/java/atj/deep-code-generation.lisp
M books/kestrel/java/atj/doc.lisp
M books/kestrel/java/atj/input-processing.lisp
M books/kestrel/java/atj/java-abstract-syntax.lisp

M books/kestrel/java/atj/java-primitive-array-model.lisp
M books/kestrel/java/atj/java-primitive-arrays.lisp

M books/kestrel/java/atj/java-syntax-operations.lisp
M books/kestrel/java/atj/name-translation.lisp
M books/kestrel/java/atj/post-translation/cache-const-methods.lisp

M books/kestrel/java/atj/post-translation/lift-loop-tests.lisp
M books/kestrel/java/atj/post-translation/remove-array-write-calls.lisp
M books/kestrel/java/atj/post-translation/remove-continue.lisp

M books/kestrel/java/atj/post-translation/tailrec-elimination.lisp

M books/kestrel/java/atj/pre-translation/array-analysis.lisp
M books/kestrel/java/atj/pre-translation/conjunctions.lisp
M books/kestrel/java/atj/pre-translation/disjunctions.lisp
M books/kestrel/java/atj/pre-translation/multiple-values.lisp

M books/kestrel/java/atj/pre-translation/type-annotation.lisp

M books/kestrel/java/atj/pre-translation/var-renaming.lisp
M books/kestrel/java/atj/pre-translation/var-reuse.lisp
M books/kestrel/java/atj/shallow-code-generation.lisp
M books/kestrel/java/atj/shallow-quoted-constant-generation.lisp

M books/kestrel/java/atj/tests/acl2-times.lisp
M books/kestrel/java/atj/tutorial.lisp
M books/kestrel/java/atj/type-macros.lisp
M books/kestrel/java/atj/types.lisp
M books/kestrel/java/language/binary-integer-literals.lisp

M books/kestrel/java/language/decimal-integer-literals.lisp
M books/kestrel/java/language/escape-sequences.lisp
M books/kestrel/java/language/floating-point-placeholders.lisp

M books/kestrel/java/language/primitive-function-macros.lisp
M books/kestrel/java/language/primitive-operations.lisp
M books/kestrel/java/language/primitive-types.lisp

M books/kestrel/java/language/reference-types.lisp

M books/kestrel/java/language/unicode-characters.lisp
M books/kestrel/java/language/unicode-escapes.lisp
M books/kestrel/java/language/unicode-input-characters.lisp

Log Message:
-----------
[Java] Fix doc typos.

Commit: cb24c45c8714629d67de92783f4d9728a98bdc23
https://github.com/acl2/acl2/commit/cb24c45c8714629d67de92783f4d9728a98bdc23

Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-01 (Fri, 01 May 2026)

Changed paths:

M books/kestrel/java/atj/java-primitive-array-model.lisp
M books/kestrel/java/atj/java-primitive-arrays.lisp

M books/kestrel/java/atj/java-syntax-operations.lisp
M books/kestrel/java/atj/name-translation.lisp
M books/kestrel/java/atj/post-translation/cache-const-methods.lisp

M books/kestrel/java/atj/post-translation/lift-loop-tests.lisp
M books/kestrel/java/atj/post-translation/remove-array-write-calls.lisp
M books/kestrel/java/atj/post-translation/remove-continue.lisp

M books/kestrel/java/atj/post-translation/tailrec-elimination.lisp

M books/kestrel/java/atj/pre-translation/type-annotation.lisp

M books/kestrel/java/language/decimal-integer-literals.lisp
M books/kestrel/java/language/escape-sequences.lisp
M books/kestrel/java/language/floating-point-placeholders.lisp

M books/kestrel/java/language/grammar.lisp
M books/kestrel/java/language/hexadecimal-integer-literals.lisp
M books/kestrel/java/language/keywords-validation.lisp
M books/kestrel/java/language/pointers.lisp
M books/kestrel/java/language/primitive-function-macros.lisp
M books/kestrel/java/language/primitive-types.lisp
M books/kestrel/java/language/reference-types.lisp

M books/kestrel/java/language/unicode-characters.lisp
M books/kestrel/java/language/unicode-escapes.lisp
M books/kestrel/java/language/unicode-input-characters.lisp

Log Message:
-----------
[Java] Update file header for files edited in previous commit.

Commit: 231391345b9381aada8115488024c1d138ca3de8
https://github.com/acl2/acl2/commit/231391345b9381aada8115488024c1d138ca3de8

Author: Alessandro Coglio <em...@alessandrocoglio.info>
Date: 2026-05-01 (Fri, 01 May 2026)

Changed paths:
M books/kestrel/java/aij/top.lisp
M books/kestrel/java/atj/aij-notions.lisp
M books/kestrel/java/atj/array-write-method-names.lisp
M books/kestrel/java/atj/atj.lisp
M books/kestrel/java/atj/code-generation.lisp

M books/kestrel/java/atj/deep-code-generation.lisp
M books/kestrel/java/atj/doc.lisp

M books/kestrel/java/atj/java-input-types.lisp
M books/kestrel/java/atj/java-pretty-printer.lisp
M books/kestrel/java/atj/java-primitive-array-model.lisp
M books/kestrel/java/atj/java-primitive-arrays.lisp
M books/kestrel/java/atj/java-primitives.lisp
M books/kestrel/java/atj/java-syntax-operations.lisp

M books/kestrel/java/atj/post-translation/cache-const-methods.lisp
M books/kestrel/java/atj/post-translation/fold-returns.lisp
M books/kestrel/java/atj/post-translation/lift-loop-tests.lisp
M books/kestrel/java/atj/post-translation/remove-array-write-calls.lisp
M books/kestrel/java/atj/post-translation/remove-continue.lisp
M books/kestrel/java/atj/post-translation/simplify-conds.lisp
M books/kestrel/java/atj/post-translation/tailrec-elimination.lisp
M books/kestrel/java/atj/post-translation/top.lisp
M books/kestrel/java/atj/pre-translation/array-analysis.lisp
M books/kestrel/java/atj/pre-translation/conjunctions.lisp
M books/kestrel/java/atj/pre-translation/disjunctions.lisp
M books/kestrel/java/atj/pre-translation/multiple-values.lisp
M books/kestrel/java/atj/pre-translation/no-aij-types-analysis.lisp
M books/kestrel/java/atj/pre-translation/remove-dead-if-branches.lisp
M books/kestrel/java/atj/pre-translation/remove-return-last.lisp
M books/kestrel/java/atj/pre-translation/top.lisp
M books/kestrel/java/atj/pre-translation/trivial-vars.lisp
M books/kestrel/java/atj/pre-translation/type-annotation.lisp
M books/kestrel/java/atj/pre-translation/unused-vars.lisp
M books/kestrel/java/atj/pre-translation/var-renaming.lisp
M books/kestrel/java/atj/pre-translation/var-reuse.lisp

M books/kestrel/java/atj/shallow-quoted-constant-generation.lisp
M books/kestrel/java/atj/test-structures.lisp
M books/kestrel/java/atj/tests/abnf.lisp

M books/kestrel/java/atj/tests/booleans.lisp
M books/kestrel/java/atj/tests/cache-const-methods.lisp
M books/kestrel/java/atj/tests/factorial.lisp
M books/kestrel/java/atj/tests/fibonacci.lisp
M books/kestrel/java/atj/tests/hard-error.lisp
M books/kestrel/java/atj/tests/multivalue.lisp
M books/kestrel/java/atj/tests/natives.lisp
M books/kestrel/java/atj/tests/no-aij-types.lisp
M books/kestrel/java/atj/tests/packages.lisp
M books/kestrel/java/atj/tests/primarrays.lisp
M books/kestrel/java/atj/tests/primitives.lisp
M books/kestrel/java/atj/top.lisp

M books/kestrel/java/atj/type-macros.lisp
M books/kestrel/java/atj/types-for-built-ins.lisp
M books/kestrel/java/atj/types-for-bv-fns.lisp
M books/kestrel/java/atj/types-for-ihs-fns.lisp
M books/kestrel/java/atj/types-for-list-fns.lisp
M books/kestrel/java/atj/types-for-natives.lisp
M books/kestrel/java/atj/types-for-std-fns.lisp
M books/kestrel/java/atj/types.lisp
M books/kestrel/java/language/binary-digits-validation.lisp
M books/kestrel/java/language/binary-integer-literals.lisp
M books/kestrel/java/language/boolean-literals-validation.lisp
M books/kestrel/java/language/boolean-literals.lisp
M books/kestrel/java/language/decimal-digits-validation.lisp
M books/kestrel/java/language/decimal-integer-literals.lisp
M books/kestrel/java/language/escape-sequences.lisp

M books/kestrel/java/language/floating-point-value-set-parameters.lisp

M books/kestrel/java/language/hexadecimal-digits-validation.lisp
M books/kestrel/java/language/hexadecimal-integer-literals.lisp
M books/kestrel/java/language/integer-literals.lisp

M books/kestrel/java/language/literals.lisp
M books/kestrel/java/language/null-literal-validation.lisp
M books/kestrel/java/language/null-literal.lisp
M books/kestrel/java/language/octal-digits-validation.lisp
M books/kestrel/java/language/octal-integer-literals.lisp
M books/kestrel/java/language/optional-integer-type-suffix.lisp
M books/kestrel/java/language/package-names.lisp

M books/kestrel/java/language/primitive-conversions.lisp

M books/kestrel/java/language/primitive-types.lisp
M books/kestrel/java/language/primitive-values.lisp
M books/kestrel/java/language/reference-types.lisp
M books/kestrel/java/language/reference-values.lisp
M books/kestrel/java/language/semantics.lisp
M books/kestrel/java/language/syntax.lisp
M books/kestrel/java/language/top.lisp
M books/kestrel/java/language/types.lisp

M books/kestrel/java/language/unicode-escapes.lisp
M books/kestrel/java/language/unicode-input-characters.lisp
M books/kestrel/java/language/values.lisp
M books/kestrel/java/portcullis.lisp

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

[Java] Modernize file headers.

Commit: 3912f2c2afb80dc702feb51a0f6fca1364b5eafa
https://github.com/acl2/acl2/commit/3912f2c2afb80dc702feb51a0f6fca1364b5eafa

Commit: c8b229579e0a23febb81a3d178934b38cc3b62df
https://github.com/acl2/acl2/commit/c8b229579e0a23febb81a3d178934b38cc3b62df
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-05-02 (Sat, 02 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-constructors.lisp
A books/kestrel/remora/identifier-syntax.lisp
M books/kestrel/remora/package.lsp
M books/kestrel/remora/parse-directory-files.lisp
M books/kestrel/remora/parser-interface.lisp
M books/kestrel/remora/parser.lisp
M books/kestrel/remora/post-parsing.lisp
M books/kestrel/remora/syntax-abstraction.lisp

Log Message:
-----------
Merge commit '0c2a9ec7bef63fb107a5ba9584c71e32e3ddd7aa' into HEAD

Commit: 11563705e3583a212d714e289bfe184b03f9fe68
https://github.com/acl2/acl2/commit/11563705e3583a212d714e289bfe184b03f9fe68
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-05-02 (Sat, 02 May 2026)

Changed paths:
M books/kestrel/remora/abstract-syntax-constructors.lisp
M books/kestrel/remora/static-environments.lisp

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

Commit: 5d60d7a5a09daf1c617d5a5b615d1f44240d8e34
https://github.com/acl2/acl2/commit/5d60d7a5a09daf1c617d5a5b615d1f44240d8e34
Author: ACL2 Build Server <acl2bui...@gmail.com>
Date: 2026-05-03 (Sun, 03 May 2026)

Changed paths:
A books/kestrel/remora/abstract-syntax-well-formed.lisp
M books/kestrel/remora/abstract-syntax.lisp

Log Message:
-----------
Merge commit '58fe968355f772e05c86209b47d876e4166b640f' into HEAD

Commit: b9146e8565a737d98f9eabff8f08d165e9b3db0e
https://github.com/acl2/acl2/commit/b9146e8565a737d98f9eabff8f08d165e9b3db0e
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-05-03 (Sun, 03 May 2026)

Changed paths:
M books/kestrel/c/syntax/disambiguator.lisp
M books/kestrel/c/syntax/validator.lisp

Merge branch 'master' into testing-kestrel

Compare: https://github.com/acl2/acl2/compare/e514ed4df9e1...b9146e8565a7

Reply all

Reply to author

Forward

0 new messages