Skip to content

Commit

Permalink
Bump coqprime
Browse files Browse the repository at this point in the history
  • Loading branch information
@JasonGross
JasonGross committed Nov 27, 2019
1 parent 1ed5ed1 commit 3690ade
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion coqprime
Submodule coqprime updated 16 files
+9 −0 .gitignore
+2 −2 .travis.yml
+4 −4 src/Coqprime/List/Iterator.v
+8 −8 src/Coqprime/List/Permutation.v
+2 −2 src/Coqprime/List/UList.v
+1 −1 src/Coqprime/PrimalityTest/Cyclic.v
+1 −1 src/Coqprime/PrimalityTest/FGroup.v
+1 −1 src/Coqprime/PrimalityTest/Root.v
+1 −1 src/Coqprime/Z/ZCmisc.v
+1 −1 src/Coqprime/Z/ZSum.v
+4 −4 src/Coqprime/elliptic/SMain.v
+43 −44 src/Coqprime/num/Lucas.v
+114 −110 src/Coqprime/num/Mod_op.v
+20 −20 src/Coqprime/num/NEll.v
+29 −29 src/Coqprime/num/Pock.v
+4 −4 src/Coqprime/num/montgomery.v

0 comments on commit 3690ade

Please sign in to comment.