Dutt Research Group's repositories
benchmarks-arm
Pointers to benchmark sources and precompiled binaries for arm
Language:Roff000
Language:Go000
memapprox-control
Control stuff for memory approximation including SI and PI
Language:C++000
sniper-mem
Adding Memory approximation to Sniper
Language:C++NOASSERTION000