Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Am/chore/doc casting #1261

Merged
merged 2 commits into from
Jun 21, 2024
Merged

Am/chore/doc casting #1261

merged 2 commits into from
Jun 21, 2024

Conversation

IceTDrinker
Copy link
Member

No description provided.

@IceTDrinker IceTDrinker requested a review from jborfila June 19, 2024 13:58
@cla-bot cla-bot bot added the cla-signed label Jun 19, 2024
@IceTDrinker IceTDrinker force-pushed the am/chore/doc-casting branch from ba87dcf to 947bca0 Compare June 19, 2024 13:58
@IceTDrinker IceTDrinker requested a review from yuxizama June 19, 2024 14:14
Copy link
Contributor

@yuxizama yuxizama left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I've suggested some rewordings :)
Thanks!

tfhe/docs/guides/zk-pok.md Outdated Show resolved Hide resolved
tfhe/docs/guides/zk-pok.md Outdated Show resolved Hide resolved
tfhe/docs/guides/zk-pok.md Outdated Show resolved Hide resolved
@IceTDrinker IceTDrinker force-pushed the am/chore/doc-casting branch from 947bca0 to fa86841 Compare June 19, 2024 15:24
@IceTDrinker IceTDrinker force-pushed the am/chore/doc-casting branch from fa86841 to a1d547c Compare June 20, 2024 09:25
Base automatically changed from am/feat/cpk-cast to main June 20, 2024 11:24
@IceTDrinker IceTDrinker force-pushed the am/chore/doc-casting branch from a1d547c to 307f344 Compare June 20, 2024 11:26
- casting was done sequentially while it could be done in parallel
@jborfila jborfila force-pushed the am/chore/doc-casting branch from 5a9ca19 to c36c414 Compare June 21, 2024 14:15
@IceTDrinker IceTDrinker force-pushed the am/chore/doc-casting branch from c36c414 to 920cff4 Compare June 21, 2024 14:28
@IceTDrinker IceTDrinker merged commit c227bf4 into main Jun 21, 2024
45 checks passed
@IceTDrinker IceTDrinker deleted the am/chore/doc-casting branch June 21, 2024 19:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants