Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
.github
add issue template
Oct 3, 2018
gradle/wrapper
upgrade gradle
Jan 29, 2019
img
First commit
Sep 27, 2018
scripts
Add generic package whitelist (#110)
Sep 23, 2019
smt_files
add soufle compilation step to build.gradle
Nov 26, 2018
src
Fixing CI issues and testing issues
Sep 24, 2019
.dockerignore
do not copy build inside docker
Dec 14, 2018
.gitattributes
Add solidity syntax highlighting on GitHub
Nov 15, 2018
.gitignore
add truffle compilation support in docker
Nov 19, 2018
.gitlab-ci.yml
Fixing CI issues and testing issues
Sep 24, 2019
.travis.yml
add travis CI
Jan 29, 2019
AUTHORS
add AUTHORS file
Jan 22, 2019
CONTRIBUTING.md
First commit
Sep 27, 2018
Dockerfile
Install solc dynamically (#103)
May 7, 2019
LICENSE
First commit
Sep 27, 2018
README.md
Deprecating repo
Jan 23, 2020
build.gradle
add versioning to json output
Jan 29, 2019
build_souffle.sh
add Soufflé binaries to .jar
Jan 29, 2019
docker_run_securify.py
add progress output to Securify and Python wrapper
Dec 7, 2018
gradlew
upgrade gradle
Jan 29, 2019
requirements.txt
Install solc dynamically (#103)
May 7, 2019
securify.iml
update securify.iml
Jan 31, 2019
securify_main.iml
First commit
Sep 27, 2018
securify_test.iml
First commit
Sep 27, 2018
settings.gradle
First commit
Sep 27, 2018
test.py
Fixing CI issues and testing issues
Sep 24, 2019