[acl2/acl2] 26b8e5: [cpp-syntax] Speed up a file.

[Eric W. Smith]

Branch: refs/heads/cpp-speedups
Home: https://github.com/acl2/acl2
Commit: 26b8e55d16a6d716e27a878309fcb975f34e3040
https://github.com/acl2/acl2/commit/26b8e55d16a6d716e27a878309fcb975f34e3040
Author: Eric Smith <ews...@gmail.com>
Date: 2026-06-16 (Tue, 16 Jun 2026)

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

Log Message:
-----------
[cpp-syntax] Speed up a file.



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

[Mihir Mehta]

Branch: refs/heads/testing

Home: https://github.com/acl2/acl2
Commit: 26b8e55d16a6d716e27a878309fcb975f34e3040
https://github.com/acl2/acl2/commit/26b8e55d16a6d716e27a878309fcb975f34e3040
Author: Eric Smith <ews...@gmail.com>
Date: 2026-06-16 (Tue, 16 Jun 2026)

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

Log Message:
-----------
[cpp-syntax] Speed up a file.

Commit: d17801e14737b52c6488947551977425d5903995
https://github.com/acl2/acl2/commit/d17801e14737b52c6488947551977425d5903995
Author: Mihir Mehta <mi...@cs.utexas.edu>

Date: 2026-06-16 (Tue, 16 Jun 2026)

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

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

Merge pull request #1955 from acl2/cpp-speedups

[cpp-syntax] Speed up a file.

Compare: https://github.com/acl2/acl2/compare/6e383038423b...d17801e14737

[Mihir Mehta]

Branch: refs/heads/master