[acl2/acl2] 52cdc7: add fixers to filepath

[Grant Jurgensen]

Branch: refs/heads/testing-kestrel
Home: https://github.com/acl2/acl2
Commit: 52cdc770edc637a34b2051d67dafb5f0236289db
https://github.com/acl2/acl2/commit/52cdc770edc637a34b2051d67dafb5f0236289db
Author: Aakash Koneru <aak...@mac.lan>
Date: 2026-08-14 (Fri, 14 Aug 2026)

Changed paths:
M books/kestrel/filepath/paths.lisp

Log Message:
-----------
add fixers to filepath


Commit: 5f83757b31c714882d51e7b43e8fa2c769f392c0
https://github.com/acl2/acl2/commit/5f83757b31c714882d51e7b43e8fa2c769f392c0
Author: Aakash Koneru <aak...@mac.lan>
Date: 2026-08-14 (Fri, 14 Aug 2026)

Changed paths:
M books/kestrel/filepath/paths.lisp

Log Message:
-----------
update fixers in filepath


Commit: d9b0416fda993c66483ea1ae64390d02352397f3
https://github.com/acl2/acl2/commit/d9b0416fda993c66483ea1ae64390d02352397f3
Author: Aakash Koneru <aak...@mac.lan>
Date: 2026-08-14 (Fri, 14 Aug 2026)

Changed paths:
M books/kestrel/filepath/paths.lisp

Log Message:
-----------
remove more hypothesis from theorems


Compare: https://github.com/acl2/acl2/compare/5f4f42d0e4b2...d9b0416fda99

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

[acl2buildserver]

Branch: refs/heads/master

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

Date: 2026-08-14 (Fri, 14 Aug 2026)

Changed paths:
M books/kestrel/filepath/paths.lisp

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

Merge commit 'd9b0416fda993c66483ea1ae64390d02352397f3' into HEAD


Compare: https://github.com/acl2/acl2/compare/8261e4b8172a...3b9f988f9127

[acl2buildserver]

Branch: refs/heads/testing