package info (click to toggle)
frama-c 20161101%2Bsilicon%2Bdfsg-5
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 42,324 kB
  • ctags: 35,695
  • sloc: ml: 200,142; ansic: 31,465; makefile: 2,334; sh: 1,643; lisp: 259; python: 85; asm: 26

Folder: float

d .. (parent)
d d rwxr-xr-x 4,096 oracle
- - rw-r--r-- 9 .gitignore
- - rw-r--r-- 1,011 absorb.c
- - rw-r--r-- 372 alarms.i
- - rw-r--r-- 2,336 builtins.c
- - rw-r--r-- 469 cond.c
- - rw-r--r-- 592 cond_cast_int_to_float.c
- - rw-r--r-- 7,785 const.i
- - rw-r--r-- 63 const1.i
- - rw-r--r-- 112 const2.i
- - rw-r--r-- 230 const3.i
- - rw-r--r-- 224 const4.i
- - rw-r--r-- 2,052 conv.i
- - rw-r--r-- 296 cte_overflow.i
- - rw-r--r-- 470 diff_apron
- - rw-r--r-- 474 diff_bitwise
- - rw-r--r-- 480 diff_equalities
- - rw-r--r-- 472 diff_gauges
- - rw-r--r-- 6,304 diff_legacy
- - rw-r--r-- 476 diff_symblocs
- - rw-r--r-- 602 dr.i
- - rw-r--r-- 970 dr_infinity.i
- - rw-r--r-- 667 extract_bits.i
- - rw-r--r-- 342 float_cast_implicite.i
- - rw-r--r-- 830 init_float.i
- - rw-r--r-- 433 leaf_ensures.i
- - rw-r--r-- 1,535 logic.i
- - rw-r--r-- 18,619 math_builtins.c
- - rw-r--r-- 2,419 nonlin.c
- - rw-r--r-- 604 parse.i
- - rw-r--r-- 452 precise_cos_sin.c
- - rw-r--r-- 412 round10d.i
- - rw-r--r-- 12,588 s.i
- - rw-r--r-- 455 some.c
- - rw-r--r-- 560 sqrt.i
- - rw-r--r-- 44 uninit.i
- - rw-r--r-- 592 zero.i