Adapt to hornerE respecting exponents - math-comp's PR #923#81

Merged

CohenCyril merged 4 commits intomath-comp:masterfrom

SnarkBoojum:adapt_MC_PR_923

Sep 20, 2022

Commits on Sep 13, 2022

Adapt to hornerE respecting exponents - MC PR #923
Julien Puydt
committed

Commits on Sep 14, 2022

Ensure compatibility with old & new hornerE version
Julien Puydt
committed
Fix the previous change: it worked with old hornerE and not the new anymore
Julien Puydt
committed
Document how to simplify proofs when requiring MC >= 1.16.0
Julien Puydt
committed