Skip to content
GitLab
Menu
Why GitLab
Pricing
Contact Sales
Explore
Why GitLab
Pricing
Contact Sales
Explore
Sign in
Get free trial
Nomadic Labs
cryptography
aplonk
Merge requests
!49
Precompute Plookup identities & arithmetic identity - Fixes
#49
Code
Review changes
Check out branch
Download
Patches
Plain diff
Anne-Laure
requested to merge
al@precomputed
into
master
Jul 08, 2021
Overview
0
Commits
5
Pipelines
7
Changes
11
Expand
Precompute all PP’s identities
Add a file gates/utils.ml
Make all Plookup tests
Quick
Edited
Jul 08, 2021
by
Anne-Laure
Merge request reports