https://github.com/EasyCrypt/easycrypt
Revision 2c531831e8fb581c60e51db80b0540ec66f7034c authored by Pierre-Yves Strub on 07 April 2022, 16:12:18 UTC, committed by Pierre-Yves Strub on 22 April 2022, 06:59:22 UTC
This commit involves a lot of code motion. partially address #121
1 parent bfd4f84
Tip revision: 2c531831e8fb581c60e51db80b0540ec66f7034c authored by Pierre-Yves Strub on 07 April 2022, 16:12:18 UTC
[env]: fully head-norm the type before fetching its top-level decl.
[env]: fully head-norm the type before fetching its top-level decl.
Tip revision: 2c53183
File | Mode | Size |
---|---|---|
Bigalg.ec | -rw-r--r-- | 11.0 KB |
Bigop.eca | -rw-r--r-- | 22.2 KB |
Binomial.ec | -rw-r--r-- | 7.3 KB |
Group.ec | -rw-r--r-- | 18.3 KB |
Ideal.ec | -rw-r--r-- | 17.8 KB |
IntDiv.ec | -rw-r--r-- | 32.1 KB |
Matrix.eca | -rw-r--r-- | 23.9 KB |
Monoid.eca | -rw-r--r-- | 1.1 KB |
Number.ec | -rw-r--r-- | 49.9 KB |
Perms.ec | -rw-r--r-- | 4.4 KB |
Poly.ec | -rw-r--r-- | 33.4 KB |
Ring.ec | -rw-r--r-- | 26.3 KB |
StdBigop.ec | -rw-r--r-- | 7.8 KB |
StdOrder.ec | -rw-r--r-- | 3.0 KB |
StdRing.ec | -rw-r--r-- | 1.1 KB |
ZModP.ec | -rw-r--r-- | 10.7 KB |
Computing file changes ...