Skip to content
GitLab
Explore
Sign in
AVA
FloVer
Repository
FloVer
coq
ErrorValidation.v
Find file
Blame
History
Permalink
Use Daisy_compute and fail FMA for eval_exp_float
· 7b90b156
Nikita Zyuzin
authored
Nov 16, 2017
7b90b156