coq/theories/Numbers/Integer, branch master The formal proof system Support locality attributes for Hint Rewrite (including export) 2021-01-18T12:08:17+00:00 Gaëtan Gilbert 2021-01-07T12:55:23+00:00 4419a101a4f5a108be90cf4e420f0b6961e6caac We deprecate unspecified locality as was done for Hint. Close #13724 
We deprecate unspecified locality as was done for Hint.

Close #13724
Modify Numbers/Integer/Abstract/ZBits.v to compile with -mangle-names 2020-10-09T00:38:08+00:00 Jasper Hugunin 2020-10-09T00:38:03+00:00 fb073d9c02e386da76bda2153786475fe02c285d As before, add a `bitwise as` tactic notation. 
As before, add a `bitwise as` tactic notation.
Modify Numbers/Integer/Abstract/ZLcm.v to compile with -mangle-names 2020-10-09T00:29:18+00:00 Jasper Hugunin 2020-10-09T00:29:18+00:00 dd66aba3df643b5edde09e99033954b1efe5c7a1 






Modify Numbers/Integer/Abstract/ZGcd.v to compile with -mangle-names
2020-10-09T00:26:48+00:00

Jasper Hugunin

2020-10-09T00:26:48+00:00

460a9bb281a69da2be1113adc146e168586de0bd












Modify Numbers/Integer/Abstract/ZDivFloor.v to compile with -mangle-names
2020-10-09T00:24:31+00:00

Jasper Hugunin

2020-10-09T00:24:31+00:00

8c3231dc17e851a2c1e2777833f6fa5e24ba5e8e












Modify Numbers/Integer/Abstract/ZDivTrunc.v to compile with -mangle-names
2020-10-09T00:20:54+00:00

Jasper Hugunin

2020-10-09T00:20:54+00:00

806421fb3d9d307e5ec84a6b45d419befb636b44












Modify Numbers/Integer/Abstract/ZPow.v to compile with -mangle-names
2020-10-09T00:16:38+00:00

Jasper Hugunin

2020-10-09T00:16:38+00:00

4ffac2e8788dfc29b03a9eb19e427d8e4bb0961d












Modify Numbers/Integer/Abstract/ZParity.v to compile with -mangle-names
2020-10-09T00:15:09+00:00

Jasper Hugunin

2020-10-09T00:15:09+00:00

c5f76701ba9c42f8c4ce9881f05904dff677050c












Modify Numbers/Integer/Abstract/ZSgnAbs.v to compile with -mangle-names
2020-10-09T00:13:53+00:00

Jasper Hugunin

2020-10-09T00:13:53+00:00

d2e0606e3af5cfb6a059666641c9d57eb8464235












Modify Numbers/Integer/Abstract/ZMaxMin.v to compile with -mangle-names
2020-10-09T00:10:19+00:00

Jasper Hugunin

2020-10-09T00:10:19+00:00

f02b3e573447a299aa9a2f142703b1ca60fc651b