Popular repositories

1. approximability approximability Public

   Automated sensitivity analysis based mechanism to decide the approximability of program variables from the results produced by klee

   Python 1 2

2. fp-examples fp-examples Public

   Numerical precision analysis examples, including floating-point routines

   C 1

3. klee klee Public

   KLEE Symbolic Virtual Machine for Numerical Precision Analysis

   C++ 1

4. llvmprof-reader llvmprof-reader Public

   C

5. llvm-epp llvm-epp Public

   Forked from snehasish/llvm-epp

   Efficient Path Profiling using LLVM

   C++

6. scimark2-epp scimark2-epp Public

   SciMark 2.0 for running with llvm-epp

   C 1