Ratchet Ratchet source code from OSDI 2016 libs/ Contains libgcc, libc, libm and libg sources. llvm/ Contains LLVM source code with Ratchet implementation. thumbulator/ Contains source code for the simulator and also contains benchmarks. Cycle accurate.