https://github.com/EasyCrypt/easycrypt
Revision ea61948e877fb26fdd1151c35b057aaf79274926 authored by Pierre-Yves Strub on 06 July 2014, 07:32:45 UTC, committed by Pierre-Yves Strub on 06 July 2014, 07:34:41 UTC
The option can now be refined with two modifiers (case/split) seperated with a colon. E.g. [progress [delta:split]] By default, [delta:split] is on, [delta:case] is off. Also, negative options are now given using the [-] mark. E.g. [progress [-delta]]
1 parent 7caf0b7
Tip revision: ea61948e877fb26fdd1151c35b057aaf79274926 authored by Pierre-Yves Strub on 06 July 2014, 07:32:45 UTC
Restore [delta] option for [progress]
Restore [delta] option for [progress]
Tip revision: ea61948
| File | Mode | Size |
|---|---|---|
| core | ||
| encryption | ||
| prelude | ||
| realizations | ||
| ABitstring.ec | -rw-r--r-- | 3.9 KB |
| AWord.ec | -rw-r--r-- | 3.5 KB |
| AdvAbsVal.ec | -rw-r--r-- | 1.3 KB |
| AlgTactic.ec | -rw-r--r-- | 3.5 KB |
| Array.ec | -rw-r--r-- | 17.9 KB |
| BigOp.ec | -rw-r--r-- | 6.9 KB |
| Bitstring.ec | -rw-r--r-- | 3.1 KB |
| Cyclic_group_prime.ec | -rw-r--r-- | 1.1 KB |
| Dice_sampling.ec | -rw-r--r-- | 5.5 KB |
| Distr.ec | -rw-r--r-- | 9.6 KB |
| FSet.ec | -rw-r--r-- | 27.4 KB |
| Fun.ec | -rw-r--r-- | 8.5 KB |
| IRing.ec | -rw-r--r-- | 523 bytes |
| ISet.ec | -rw-r--r-- | 9.5 KB |
| Int.ec | -rw-r--r-- | 7.8 KB |
| List.ec | -rw-r--r-- | 17.2 KB |
| MAC.ec | -rw-r--r-- | 1.2 KB |
| Map_why.ec | -rw-r--r-- | 323 bytes |
| Matrix.ec | -rw-r--r-- | 5.9 KB |
| Monoid.ec | -rw-r--r-- | 13.1 KB |
| Multiset.ec | -rw-r--r-- | 1.6 KB |
| NewFMap.ec | -rw-r--r-- | 8.5 KB |
| NewFSet.ec | -rw-r--r-- | 25.4 KB |
| NewList.ec | -rw-r--r-- | 35.8 KB |
| Number.ec | -rw-r--r-- | 960 bytes |
| OW.ec | -rw-r--r-- | 2.0 KB |
| Option.ec | -rw-r--r-- | 1.3 KB |
| OracleBounds.ec | -rw-r--r-- | 8.6 KB |
| PKE.ec | -rw-r--r-- | 2.1 KB |
| PKS.ec | -rw-r--r-- | 3.1 KB |
| Pair.ec | -rw-r--r-- | 2.8 KB |
| Poly.ec | -rw-r--r-- | 5.4 KB |
| Prime_field.ec | -rw-r--r-- | 3.7 KB |
| ROM.ec | -rw-r--r-- | 28.4 KB |
| Real.ec | -rw-r--r-- | 3.8 KB |
| Ring.ec | -rw-r--r-- | 4.7 KB |
| SecureChannels.ec | -rw-r--r-- | 2.1 KB |
| Sum.ec | -rw-r--r-- | 979 bytes |
| SymmetricEncryption.ec | -rw-r--r-- | 2.7 KB |
| Word.ec | -rw-r--r-- | 3.1 KB |
| upto.ec | -rw-r--r-- | 4.9 KB |
Computing file changes ...
