Skip to content
@ApproxSymate

ApproxSymate

Popular repositories Loading

  1. approximability approximability Public

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

    Python 1 1

  2. fp-examples fp-examples Public

    Numerical precision analysis examples, including floating-point routines

    C

  3. klee klee Public

    KLEE Symbolic Virtual Machine for Numerical Precision Analysis

    C++

  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

Repositories

Showing 8 of 8 repositories
  • evaluation Public

    Evaluation results of approximability of benchmarks

    ApproxSymate/evaluation’s past year of commit activity
    LLVM 0 0 0 0 Updated May 2, 2019
  • approximability Public

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

    ApproxSymate/approximability’s past year of commit activity
    Python 1 1 3 0 Updated May 2, 2019
  • klee Public

    KLEE Symbolic Virtual Machine for Numerical Precision Analysis

    ApproxSymate/klee’s past year of commit activity
    C++ 0 0 6 0 Updated May 2, 2019
  • error-injection Public
    ApproxSymate/error-injection’s past year of commit activity
    C 0 0 0 0 Updated Feb 26, 2019
  • fp-examples Public

    Numerical precision analysis examples, including floating-point routines

    ApproxSymate/fp-examples’s past year of commit activity
    C 0 0 1 0 Updated Jul 15, 2018
  • scimark2-epp Public

    SciMark 2.0 for running with llvm-epp

    ApproxSymate/scimark2-epp’s past year of commit activity
    C 0 1 0 0 Updated Nov 4, 2017
  • llvmprof-reader Public
    ApproxSymate/llvmprof-reader’s past year of commit activity
    C 0 MIT 0 0 0 Updated Nov 2, 2017
  • llvm-epp Public Forked from snehasish/llvm-epp

    Efficient Path Profiling using LLVM

    ApproxSymate/llvm-epp’s past year of commit activity
    C++ 0 MIT 7 0 0 Updated Nov 1, 2017

Top languages

Loading…

Most used topics

Loading…