bap-elementary

BAP floating point approximations of elementary functions
Description

Library provides few primitives for approximations of floating point operations via table methods.

Install
Documentation github.com Edit opam file
Published
18 Nov 2019
Authors
Maintainers
Sources
v2.0.0.tar.gz
md5=d2fd697735fda1adb80d6aa5643e7acd
Dependencies
bap-core-theory = "2.0.0"
bap-std = "2.0.0"
ocaml >= "4.04.1" & < "4.08.0"
Reverse Dependencies
bap = "2.0.0"