[acl2/acl2] af5f8f: [C$] Validate expression labels in gotoe statements

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: af5f8f429247fdd838a27c26bdab6f7b5cf3f346
https://github.com/acl2/acl2/commit/af5f8f429247fdd838a27c26bdab6f7b5cf3f346
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-01-19 (Mon, 19 Jan 2026)

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

Log Message:
-----------
[C$] Validate expression labels in gotoe statements


Commit: 0ee5b2074ca001d0c5525d94ff2dc9fd18e0ad9d
https://github.com/acl2/acl2/commit/0ee5b2074ca001d0c5525d94ff2dc9fd18e0ad9d
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-01-19 (Mon, 19 Jan 2026)

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

Log Message:
-----------
[C$] Add gotoe validation test

This is currently failing. Disambiguation is currently not fully popping
pushed scopes on certain statements (including "for" statements),
leading to variables to appear in scope. When disambiguating the
"goto/gotoe", the disambiguator erroneously believes the identifier to
be an in-scope variable.


Commit: fbf51ad204731b5ce386e0ec9005a9661005057d
https://github.com/acl2/acl2/commit/fbf51ad204731b5ce386e0ec9005a9661005057d
Author: Grant Jurgensen <gr...@jurgensen.dev>
Date: 2026-01-19 (Mon, 19 Jan 2026)

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

Log Message:
-----------
[C$] Fixed scope popping when disambiguating for loops

For loops were missing a pop, which led to an erroneous accumulation of
scope blocks.


Compare: https://github.com/acl2/acl2/compare/74ec5de661b8...fbf51ad20473

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

[acl2buildserver]

Branch: refs/heads/master

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

Date: 2026-01-19 (Mon, 19 Jan 2026)

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

M books/kestrel/c/syntax/tests/validator.lisp

M books/kestrel/c/syntax/validator.lisp

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

Merge commit 'fbf51ad204731b5ce386e0ec9005a9661005057d' into HEAD


Compare: https://github.com/acl2/acl2/compare/01a146441a63...b66c1d0846df

[acl2buildserver]

Branch: refs/heads/testing