Popular repositories Loading

1. AutoRNP AutoRNP Public

   AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries

   C 11 2

2. ARFPE ARFPE Public

   New tool for automatic repair of floating-point exceptions in numerical program

   Python 2

3. stp stp Public

   Forked from stp/stp

   Simple Theorem Prover.

   C++ 1

4. APSEC2017-EAGT-results APSEC2017-EAGT-results Public

   This repository includes the complete experimental results in the paper "Efficient Global Search for Inputs Triggering High Floating-Point Inaccuracies"

   1 1

5. RADE RADE Public

   1

6. gui gui Public

   It is an ocaml gui.