package info (click to toggle)
frama-c 20220511-manganese-5
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 66,492 kB
  • sloc: ml: 278,834; ansic: 47,093; sh: 4,823; makefile: 3,613; javascript: 2,436; python: 1,919; perl: 897; lisp: 293; xml: 62

Folder: float

d .. (parent)
d d rwxr-xr-x 4,096 oracle
d d rwxr-xr-x 4,096 oracle_equality
d d rwxr-xr-x 130 oracle_octagon
- - rw-r--r-- 1,053 absorb.c
- - rw-r--r-- 1,584 alarms.i
- - rw-r--r-- 1,344 builtins.c
- - rw-r--r-- 489 cast.i
- - rw-r--r-- 451 cond.c
- - rw-r--r-- 598 cond_cast_int_to_float.c
- - rw-r--r-- 7,767 const.i
- - rw-r--r-- 63 const1.i
- - rw-r--r-- 112 const2.i
- - rw-r--r-- 234 const3.i
- - rw-r--r-- 228 const4.i
- - rw-r--r-- 3,203 contract_special_float.c
- - rw-r--r-- 2,152 conv.i
- - rw-r--r-- 296 cte_overflow.i
- - rw-r--r-- 333 div.i
- - rw-r--r-- 615 dr.i
- - rw-r--r-- 1,087 dr_infinity.i
- - rw-r--r-- 673 extract_bits.i
- - rw-r--r-- 342 float_cast_implicite.i
- - rw-r--r-- 79 fval_test.i
- - rw-r--r-- 10,167 fval_test.ml
- - rw-r--r-- 812 init_float.i
- - rw-r--r-- 798 leaf_ensures.i
- - rw-r--r-- 5,928 logic.i
- - rw-r--r-- 20,880 math_builtins.c
- - rw-r--r-- 5,167 nonlin.c
- - rw-r--r-- 763 parse.i
- - rw-r--r-- 415 precise_cos_sin.c
- - rw-r--r-- 309 round10d.i
- - rw-r--r-- 12,544 s.i
- - rw-r--r-- 438 some.c
- - rw-r--r-- 3,273 special_floats.c
- - rw-r--r-- 547 sqrt.c
- - rw-r--r-- 61 uninit.i
- - rw-r--r-- 1,101 widen.c
- - rw-r--r-- 1,095 zero.i