https://github.com/EasyCrypt/easycrypt
Revision 4a29da9f12e81932799f3a625f389bae45c63de6 authored by Pierre-Yves Strub on 07 July 2014, 10:46:49 UTC, committed by Pierre-Yves Strub on 07 July 2014, 10:46:55 UTC
The current pattern matching algorithm is not meant to support this at
this time.
1 parent 9319023
History
Tip revision: 4a29da9f12e81932799f3a625f389bae45c63de6 authored by Pierre-Yves Strub on 07 July 2014, 10:46:49 UTC
Fix pattern matching w.r.t. matching bound variables
Tip revision: 4a29da9
File Mode Size
incomplete
old
CDH.ec -rw-r--r-- 4.3 KB
Dice4_6.ec -rw-r--r-- 2.6 KB
FundamentalLemma.ec -rw-r--r-- 2.4 KB
PRG.ec -rw-r--r-- 17.0 KB
Plug_and_Pray.ec -rw-r--r-- 2.2 KB
RingCloning.ec -rw-r--r-- 3.7 KB
WhileSampling.ec -rw-r--r-- 707 bytes
br93.ec -rw-r--r-- 9.0 KB
hashed_elgamal.ec -rw-r--r-- 9.1 KB
hashed_elgamal_generic.ec -rw-r--r-- 10.1 KB
prp_prf.ec -rw-r--r-- 6.5 KB
vonNeumann.ec -rw-r--r-- 4.9 KB

back to top