Skip to content

@ApproxSymate ApproxSymate

Change the repository type filter

All

    Repositories list

    8 repositories

    • evaluation

      Public
      Evaluation results of approximability of benchmarks
      LLVM
      •0•0•0•0•Updated May 2, 2019May 2, 2019

    • approximability

      Public
      Automated sensitivity analysis based mechanism to decide the approximability of program variables from the results produced by klee
      Python
      •1•1•3•0•Updated May 2, 2019May 2, 2019

    • klee

      Public
      KLEE Symbolic Virtual Machine for Numerical Precision Analysis
      C++
      •
      Other
      •0•0•6•0•Updated May 2, 2019May 2, 2019

    • error-injection

      Public
      C
      •0•0•0•0•Updated Feb 26, 2019Feb 26, 2019

    • fp-examples

      Public
      Numerical precision analysis examples, including floating-point routines
      C
      •0•0•1•0•Updated Jul 15, 2018Jul 15, 2018

    • scimark2-epp

      Public
      SciMark 2.0 for running with llvm-epp
      C
      •1•0•0•0•Updated Nov 4, 2017Nov 4, 2017

    • llvmprof-reader

      Public
      C
      •
      MIT License
      •0•0•0•0•Updated Nov 2, 2017Nov 2, 2017

    • llvm-epp

      Public
      Efficient Path Profiling using LLVM
      C++
      •
      MIT License
      •7•0•0•0•Updated Nov 1, 2017Nov 1, 2017
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.