https://github.com/EasyCrypt/easycrypt
Revision 138c4aba37a74e85368b919eeefe286a188d5a20 authored by Pierre-Yves Strub on 18 June 2014, 14:19:27 UTC, committed by Pierre-Yves Strub on 18 June 2014, 14:19:27 UTC
1 parent 439c20d
Raw File
Tip revision: 138c4aba37a74e85368b919eeefe286a188d5a20 authored by Pierre-Yves Strub on 18 June 2014, 14:19:27 UTC
Fix generalize_mod_ w.r.t. non-generalized variables interacting with modified ones.
Tip revision: 138c4ab
.gitignore
*~
_build
*.native
*.byte
*.pyc
*.pyo
/local
/why3
/_tools
/proofgeneral/_local
setup.data
setup.log
/attic
/theories/attic

/system/*.o
/system/callprover
/system/callprover.exe

/doc/*.aux
/doc/*.bbl
/doc/*.blg
/doc/*.brf
/doc/*.fdb_latexmk
/doc/*.fls
/doc/*.idx
/doc/*.ilg
/doc/*.ind
/doc/*.log
/doc/*.out
/doc/*.toc

/doc/easycrypt.pdf

/webui/workspace/
/webui/webui-env/
/webui/econline.egg-info/
/webui/build/
/webui/dist/
/webui/econline.log
/webui/econline.pid
/webui/backend.log
/webui/backend.pid

/sandbox
back to top