https://github.com/EasyCrypt/easycrypt
History
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`
Tip revision: 863066b
File Mode Size
0001-simple-clone.ec -rw-r--r-- 57 bytes
0002-simple-deep-clone.ec -rw-r--r-- 88 bytes
0003-deep-simple-clone.ec -rw-r--r-- 88 bytes
0004-theory-and-module.ec -rw-r--r-- 384 bytes
0005-import-theory-with-module.ec -rw-r--r-- 136 bytes
0010-clone-with-type.ec -rw-r--r-- 101 bytes
0011-clone-with-op.ec -rw-r--r-- 87 bytes
0012-clone-with-type-op.ec -rw-r--r-- 96 bytes
0013-clone-with-op-with-args.ec -rw-r--r-- 469 bytes
0015-clone-with-pr.ec -rw-r--r-- 88 bytes
0016-clone-with-pr-with-args.ec -rw-r--r-- 107 bytes
0017-clone-sub-theory.ec -rw-r--r-- 253 bytes
0018-clone-with-inline.ec -rw-r--r-- 844 bytes
0020-clone-with-axioms.ec -rw-r--r-- 315 bytes
0021-clone-with-theory.ec -rw-r--r-- 410 bytes
0022-abstract-cloning.ec -rw-r--r-- 500 bytes
0023-abstract-and-local-clone.ec -rw-r--r-- 197 bytes
0024-cloning-recursive-proof.ec -rw-r--r-- 429 bytes
0050-use-cloned-op.ec -rw-r--r-- 129 bytes
0100-clone-of-clone.ec -rw-r--r-- 122 bytes
0200-section.ec -rw-r--r-- 43 bytes
0201-non-local-lemma-access.ec -rw-r--r-- 174 bytes
0202-local-modules.ec -rw-r--r-- 68 bytes
0203-section-test.ec -rw-r--r-- 314 bytes
0204-declare.ec -rw-r--r-- 190 bytes
0205-declare-restr.ec -rw-r--r-- 803 bytes
0300-scope.ec -rw-r--r-- 127 bytes
0301-top-scope.ec -rw-r--r-- 127 bytes

back to top