souradeep-111 / sherlock

Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
MIT License
27 stars 12 forks source link

Pull Request #2

Closed sriram0339 closed 6 years ago

sriram0339 commented 6 years ago
  1. Adding library compilation to Makefile
  2. Adding a sample Makefile.locale
  3. Adding include and lib directories
  4. New file sherlock.h
souradeep-111 commented 6 years ago

Added the pull request by Sriram