https://github.com/EasyCrypt/easycrypt
Tip revision: 863066bded664a5e2aba7f89c4fb7bc2afd0e28d authored by Pierre-Yves Strub on 23 September 2015, 08:28:02 UTC
Ring axioms of the `ring`/`field` tactics agree with the ones of `Ring.ec`
Ring axioms of the `ring`/`field` tactics agree with the ones of `Ring.ec`
Tip revision: 863066b
File | Mode | Size |
---|---|---|
0001-module-with-var.ec | -rw-r--r-- | 37 bytes |
0002-module-type-with-var.ec | -rw-r--r-- | 50 bytes |
0003-module-with-sig-and-var.ec | -rw-r--r-- | 104 bytes |
0004-module-with-subsig-and-var.ec | -rw-r--r-- | 127 bytes |
0005-module-with-xsig-and-var.ec | -rw-r--r-- | 184 bytes |
0006-module-with-xsubsig-and-var.ec | -rw-r--r-- | 219 bytes |
0020-module-alias.ec | -rw-r--r-- | 52 bytes |
0050-module-var-access.ec | -rw-r--r-- | 106 bytes |
0051-module-var-access-via-alias.ec | -rw-r--r-- | 129 bytes |
0051-module-var-deep-access.ec | -rw-r--r-- | 129 bytes |
0052-module-fun-access.ec | -rw-r--r-- | 167 bytes |
0060-functor-fun-call.ec | -rw-r--r-- | 222 bytes |
0100-functor-decl.ec | -rw-r--r-- | 110 bytes |
0101-functor-access-arg-var.ec | -rw-r--r-- | 128 bytes |
0102-functor-restricted-interface.ec | -rw-r--r-- | 221 bytes |
0103-functor-restricted-interface-functor.ec | -rw-r--r-- | 225 bytes |
0104-module-application.ec | -rw-r--r-- | 277 bytes |
0105-functor-restriction.ec | -rw-r--r-- | 572 bytes |
0200-fun-locals.ec | -rw-r--r-- | 369 bytes |