rutgers-apl/CASM-Verify rutgers-apl/CASM-Verify

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    Python
  • Created almost 6 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
rutgers-apl/CASM-Verify
github

rutgers-apl

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Automatic functional verification tool for assembly implementation of cryptographic algorithms

More Repositories

1

rlibm-32

RLibm for 32-bit representations (float and posit32)
C
61
star
2

The-RLIBM-Project

A combined repository for all RLIBM prototypes
C
42
star
3

rlibm

Rutgers APL correctly rounded math library
C
28
star
4

alive-nj

Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
Python
28
star
5

rlibm-all

RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point representations and rounding modes
C
13
star
6

TaskProf

A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
C++
12
star
7

fpsanitizer

A debugger to detect and diagnose numerical errors in floating point programs
C++
12
star
8

rlibm-generator

A tool to generate approximations of elementary functions that produce the correctly rounded result for all inputs. This tool can be used for different representations that approximate real numbers.
C++
12
star
9

TaskProf2

A Parallelism Profiler and an Adviser for Task Parallel Programs.
C
9
star
10

omp-whip

OMP-WHIP: A parallelism profiler with what-if analyses for OpenMP programs
C++
8
star
11

PTRacer

A data race detector for C++ programs that use Intel TBB for task parallelism
C++
6
star
12

EFTSanitizer

EFTSanitizer is a tool for fast shadow execution using error free transformations to detect and debug numerical errors
C++
6
star
13

PFPSanitizer

C
5
star
14

CordicWithPosits

A modified CORDIC implementation using the posit representation.
C++
3
star
15

PositDebug

A debugger to detect numerical errors in applications using posits.
C++
3
star
16

omp-racer

A dynamic apparent data race detector for OpenMP programs using the OpenMP Series Parallel Graph
C++
3
star
17

rlibm-prog

C
2
star
18

Atomicity-Violation-Detector

Atomicity violation detection tool for C++ programs that use Intel TBB task parallel library.
C++
1
star