Skip to content
This repository was archived by the owner on Sep 2, 2026. It is now read-only.

[NKI-1282] Output shared_constants to hash of their content - #606

Merged
ppotapov-aws merged 1 commit into
mainfrom
ppotapov/shared_constant_hash
Feb 27, 2026
Merged

ppotapov-aws merged 1 commit into
mainfrom
ppotapov/shared_constant_hash

Conversation

@ppotapov-aws

Copy link
Copy Markdown
Collaborator

Use content-addressed SHA-256 filenames for shared constants with atomic writes

Comment thread KLR/Compile.lean Outdated
Comment thread KLR/Compile.lean Outdated
@ppotapov-aws
ppotapov-aws force-pushed the ppotapov/shared_constant_hash branch from 58c7838 to 7603bd0 Compare February 27, 2026 16:06
@ppotapov-aws
ppotapov-aws merged commit 790c628 into main Feb 27, 2026
6 checks passed
@ppotapov-aws
ppotapov-aws deleted the ppotapov/shared_constant_hash branch February 27, 2026 16:17
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants