Improve compiler support, GitLab CI #101

Closed ritzdorf closed 5 years ago

Supporting new 0.5 compilers and all future compiler versions based on py-solc-x
GitLab CI
Improved end-to-end testing
More debug output for souffle crashes
Updated results for status for current test cases (diff https://github.com/eth-sri/securify/commit/bdb7a615d52a50c20064f971ff8b04ec7e8d1686)
Improved usage message based on #100

DeepCode analyzed this pull request. There are 11 new info reports. 2 info reports were fixed.

Click to see more details.

DeepCode analyzed this pull request. There are 10 new info reports. 2 info reports were fixed.

Click to see more details.

DeepCode analyzed this pull request. There are 10 new info reports. 2 info reports were fixed.

Click to see more details.

DeepCode analyzed this pull request. There are 10 new info reports. 2 info reports were fixed.

Click to see more details.

eth-sri / securify