search

SRI-CSL / OCCAM-Benchmarks

Set of benchmarks used by the OCCAM tool.
BSD 3-Clause "New" or "Revised" License
4 stars 4 forks source link

Added remaining applications from the trimmer set #9

Closed mudbri closed 3 years ago

mudbri commented 3 years ago
  1. Added Makefile and build.sh for 4 applications from the trimmer set: gprof, httping, knockd, curl
  2. Added these applications in clean.sh and trimmer.set
  3. Cleaned some of the makefiles and standardized naming
  4. Corrected some old tests and added new ones