[acl2/acl2] c4172f: [cpp-syntax] Add disambiguation

0 views
Skip to first unread message

Mihir Mehta

unread,
Aug 17, 2026, 12:50:14 AM (3 days ago) Aug 17
to acl2-...@googlegroups.com
Branch: refs/heads/testing
Home: https://github.com/acl2/acl2
Commit: c4172f0ef0ea2e5d9746f5bab3143ae498328abf
https://github.com/acl2/acl2/commit/c4172f0ef0ea2e5d9746f5bab3143ae498328abf
Author: Mihir Mehta <mi...@cs.utexas.edu>
Date: 2026-08-16 (Sun, 16 Aug 2026)

Changed paths:
M books/projects/filesystems/utilities/cpp-syntax/cpp-expr-parser.lisp
M books/projects/filesystems/utilities/cpp-syntax/cpp-parser-tests.lisp

Log Message:
-----------
[cpp-syntax] Add disambiguation



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

Mihir Mehta

unread,
Aug 17, 2026, 2:44:32 AM (3 days ago) Aug 17
to acl2-...@googlegroups.com
Branch: refs/heads/master
Reply all
Reply to author
Forward
0 new messages