https://github.com/EasyCrypt/easycrypt
Raw File
Tip revision: a79f9aeb6de046ca12210d26317fab59c175d0dd authored by Pierre-Yves Strub on 08 July 2014, 09:43 UTC
Fix bug w.r.t. _tools presence detection.
Tip revision: a79f9ae
.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

/extraction/Makefile
/extraction/setup.*
/extraction/configure
/extraction/_build/

/sandbox
back to top