https://github.com/EasyCrypt/easycrypt
Revision 03bd07bbfacbe8ae7c76cdc8ed346fb30a9a2d83 authored by Pierre-Yves Strub on 02 September 2015, 09:28:51 UTC, committed by Pierre-Yves Strub on 02 September 2015, 09:28:51 UTC
In case a variable cannot be reverted (for dependency issues), it is generalized and the former (anonymous variable) is kept as such. This behaviour may change in the future, do not rely on it. [fix #17238]
1 parent 14e1307
Tip revision: 03bd07bbfacbe8ae7c76cdc8ed346fb30a9a2d83 authored by Pierre-Yves Strub on 02 September 2015, 09:28:51 UTC
Fix intro-pattern `+` raising low-level exceptions when cannot revert/clear.
Fix intro-pattern `+` raising low-level exceptions when cannot revert/clear.
Tip revision: 03bd07b
| File | Mode | Size |
|---|---|---|
| config | ||
| examples | ||
| lint | ||
| packaging | ||
| proofgeneral | ||
| scripts | ||
| src | ||
| system | ||
| tests | ||
| theories | ||
| .gitignore | -rw-r--r-- | 450 bytes |
| .merlin | -rw-r--r-- | 217 bytes |
| COPYRIGHT | -rw-r--r-- | 466 bytes |
| COPYRIGHT.yaml | -rw-r--r-- | 474 bytes |
| MANIFEST | -rw-r--r-- | 1.1 KB |
| Makefile | -rw-r--r-- | 5.9 KB |
| Makefile.system | -rw-r--r-- | 478 bytes |
| README.md | -rw-r--r-- | 9.9 KB |
| _tags | -rw-r--r-- | 757 bytes |
| myocamlbuild.ml | -rw-r--r-- | 2.3 KB |
Computing file changes ...
