Skip to content

Commit

Permalink
s2n-bignum: unfork, now our fixes are on main
Browse files Browse the repository at this point in the history
  • Loading branch information
@ctz
ctz committed Oct 26, 2024
1 parent 043ba38 commit f55934d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion thirdparty/s2n-bignum
Submodule s2n-bignum updated 59 files
+51 −5 arm/Makefile
+1,209 −1,041 arm/p521/p521_jadd.S
+1,214 −1,045 arm/p521/p521_jdouble.S
+1,211 −1,038 arm/p521/p521_jscalarmul.S
+5 −4 arm/proofs/arm.ml
+1 −1 arm/proofs/base.ml
+3,157 −0 arm/proofs/bignum_inv_sm2.ml
+3,174 −0 arm/proofs/bignum_montinv_sm2.ml
+4 −4 arm/proofs/decode.ml
+28 −58 arm/proofs/equiv.ml
+1,316 −2,714 arm/proofs/p521_jadd.ml
+1,354 −2,623 arm/proofs/p521_jdouble.ml
+1,470 −2,741 arm/proofs/p521_jscalarmul.ml
+236 −236 arm/proofs/sm2_montjdouble.ml
+191 −191 arm/proofs/sm2_montjdouble_alt.ml
+5,552 −0 arm/proofs/sm2_montjscalarmul.ml
+4,459 −0 arm/proofs/sm2_montjscalarmul_alt.ml
+4 −0 arm/proofs/specifications.txt
+5 −1 arm/sm2/Makefile
+1,270 −0 arm/sm2/bignum_inv_sm2.S
+1,290 −0 arm/sm2/bignum_montinv_sm2.S
+24 −20 arm/sm2/sm2_montjdouble.S
+22 −18 arm/sm2/sm2_montjdouble_alt.S
+4,498 −0 arm/sm2/sm2_montjscalarmul.S
+3,405 −0 arm/sm2/sm2_montjscalarmul_alt.S
+9 −0 benchmarks/benchmark.c
+2 −2 codebuild/proofs.yml
+1 −1 codebuild/sematests.yml
+1 −1 common/relational.ml
+13 −0 include/s2n-bignum-c89.h
+13 −0 include/s2n-bignum.h
+239 −0 tests/test.c
+7 −1 x86/Makefile
+3 −0 x86/nonbmi_functions
+1 −1 x86/proofs/base.ml
+3,990 −0 x86/proofs/bignum_inv_sm2.ml
+4,007 −0 x86/proofs/bignum_montinv_sm2.ml
+4 −4 x86/proofs/decode.ml
+490 −492 x86/proofs/sm2_montjdouble.ml
+538 −540 x86/proofs/sm2_montjdouble_alt.ml
+6,549 −0 x86/proofs/sm2_montjscalarmul.ml
+6,582 −0 x86/proofs/sm2_montjscalarmul_alt.ml
+8 −0 x86/proofs/specifications.txt
+1 −3 x86/proofs/x86.ml
+5 −1 x86/sm2/Makefile
+1,628 −0 x86/sm2/bignum_inv_sm2.S
+1,639 −0 x86/sm2/bignum_montinv_sm2.S
+20 −19 x86/sm2/sm2_montjdouble.S
+20 −18 x86/sm2/sm2_montjdouble_alt.S
+3,858 −0 x86/sm2/sm2_montjscalarmul.S
+4,525 −0 x86/sm2/sm2_montjscalarmul_alt.S
+1 −0 x86/yesbmi_functions
+5 −1 x86_att/Makefile
+1,628 −0 x86_att/sm2/bignum_inv_sm2.S
+1,639 −0 x86_att/sm2/bignum_montinv_sm2.S
+20 −19 x86_att/sm2/sm2_montjdouble.S
+20 −18 x86_att/sm2/sm2_montjdouble_alt.S
+3,858 −0 x86_att/sm2/sm2_montjscalarmul.S
+4,525 −0 x86_att/sm2/sm2_montjscalarmul_alt.S

0 comments on commit f55934d

Please sign in to comment.