j29scott / FloatFuzz

Fuzzer and generator for floating-point problems in SMT-LIB 2.x format.

Geek Repo

Github PK Tool

FloatFuzz

Fuzzer and generator for floating-point problems in SMT-LIB 2.x format.

This repo is under active development without release or unstable release. Please check back soon.

About

Fuzzer and generator for floating-point problems in SMT-LIB 2.x format.

Languages

Language:Tcl 27.8%Language:SMT 26.6%Language:Prolog 23.0%Language:C 11.7%Language:C++ 6.8%Language:Python 1.9%Language:TeX 0.8%Language:HTML 0.6%Language:Shell 0.3%Language:Java 0.2%Language:PostScript 0.2%Language:GAP 0.1%Language:OCaml 0.0%Language:Makefile 0.0%Language:Batchfile 0.0%