summaryrefslogtreecommitdiff
path: root/flocq/Prop
ModeNameSize
-rw-r--r--Fprop_Sterbenz.v4384logplain
-rw-r--r--Fprop_div_sqrt_error.v9358logplain
-rw-r--r--Fprop_mult_error.v6960logplain
-rw-r--r--Fprop_plus_error.v6590logplain
-rw-r--r--Fprop_relative.v18448logplain