Update bench.
[why3.git] / examples / numeric / 
treef4b02ea7dbd3948b62f749a2489a82560f9e7d3d
drwxr-xr-x   ..
-rw-r--r-- 775 add_sqrt.mlw
drwxr-xr-x - add_sqrt
-rw-r--r-- 3041 add_sub_mul.mlw
drwxr-xr-x - add_sub_mul
-rw-r--r-- 1677 addition.mlw
drwxr-xr-x - addition
-rw-r--r-- 5443 exp_log.mlw
drwxr-xr-x - exp_log
-rw-r--r-- 9181 lse.mlw
drwxr-xr-x - lse
-rw-r--r-- 2182 multiplication.mlw
drwxr-xr-x - multiplication
-rw-r--r-- 12350 sin_cos.mlw
drwxr-xr-x - sin_cos
-rw-r--r-- 1713 substraction.mlw
drwxr-xr-x - substraction
-rw-r--r-- 3925 sum.mlw
drwxr-xr-x - sum