Skip to main content

Browse the archive

Revision f9d2bf623e6116804b85314f1a9a7d863521b0c2 authored by Pierre-Yves Strub on 23 August 2022, 15:09:17 UTC, committed by Pierre-Yves Strub on 23 August 2022, 16:00:41 UTC 
When replaying a reduction rule, check that the rule does still exists.
 
Currently, when the reduction rule does not exist anymore (because
it has been removed by the inlining mechanism), the cloning fails
with a lookup error.

Ref #247
1 parent 6d0e464
Raw File
AUTHORS 
The following people have contributed code and/or ideas to EasyCrypt:

Adrien Koutsos
Alley Stoughton
Antoine Séré
Asif Mallik
Benedikt Schmidt
Benjamin Gregoire
César Kunz
Christian Doczkal
Cécile Baritel-Ruet
Daniel Hedin
Davide Ramaglietta
Davy Guillaume
François Dupressoir
Gilles Barthe
Guillermo Ramos
José Bacelar Almeida
Juan Manuel Crespo
Kai-Chun Ning
Lavinia Damian
Manuel Barbosa
Martin Ceresa
Matthias Meijers
Mayram
Morten Solberg
Oskar Goldhahn
Pierre-Yves Strub
Roberto Metere
Santiago Zanella-Béguelin
Vincent Laporte
back to top