Merge branch 'mailmap' into 'master'master
[why3.git] / examples / check-builtin / 
treeebdd458e4dc200a344786105566884f4c457573b
drwxr-xr-x   ..
-rw-r--r-- 230 ac.why
drwxr-xr-x - ac
-rw-r--r-- 433 array.why
drwxr-xr-x - array
-rw-r--r-- 187 bool.why
drwxr-xr-x - bool
-rw-r--r-- 109 euclideandivision.why
drwxr-xr-x - euclideandivision
-rw-r--r-- 1077 floats.why
drwxr-xr-x - floats
-rw-r--r-- 635 int.why
drwxr-xr-x - int
-rw-r--r-- 357 intreal.why
drwxr-xr-x - intreal
-rw-r--r-- 208 minmax.why
drwxr-xr-x - minmax
-rw-r--r-- 70 propositional.why
drwxr-xr-x - propositional
-rw-r--r-- 1015 real.why
drwxr-xr-x - real