Skip to content

Fix broken link to BigInt witness verification implementation#252

Open
VolodymyrBg wants to merge 1 commit intorisc0:mainfrom
VolodymyrBg:bg
Open

Fix broken link to BigInt witness verification implementation#252
VolodymyrBg wants to merge 1 commit intorisc0:mainfrom
VolodymyrBg:bg

Conversation

@VolodymyrBg
Copy link
Copy Markdown

Replaced the outdated reference to IR/Lower.cpp in the BigInt dialect overview with a correct link to Transforms/LowerReduce.cpp. The previous file did not exist, causing a broken link in the documentation. The new link points to an actual implementation of the BigInt witness verification logic, improving the accuracy and usability of the documentation.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant