summaryrefslogtreecommitdiff
path: root/flocq/Core
ModeNameSize
-rw-r--r--Fcore.v985logplain
-rw-r--r--Fcore_FIX.v1991logplain
-rw-r--r--Fcore_FLT.v6140logplain
-rw-r--r--Fcore_FLX.v5736logplain
-rw-r--r--Fcore_FTZ.v8366logplain
-rw-r--r--Fcore_Raux.v37213logplain
-rw-r--r--Fcore_Zaux.v15811logplain
-rw-r--r--Fcore_defs.v3045logplain
-rw-r--r--Fcore_digits.v21855logplain
-rw-r--r--Fcore_float_prop.v10530logplain
-rw-r--r--Fcore_generic_fmt.v51952logplain
-rw-r--r--Fcore_rnd.v29170logplain
-rw-r--r--Fcore_rnd_ne.v14061logplain
-rw-r--r--Fcore_ulp.v29140logplain