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: oracle

d .. (parent)
- - rw-r--r-- 0 absorb.0.err.oracle
- - rw-r--r-- 1,016 absorb.0.res.oracle
- - rw-r--r-- 0 absorb.1.err.oracle
- - rw-r--r-- 2,724 absorb.1.res.oracle
- - rw-r--r-- 0 absorb_sav.err
- - rw-r--r-- 322 absorb_sav.res
- - rw-r--r-- 0 absorb_sav2.err
- - rw-r--r-- 1,179 absorb_sav2.res
- - rw-r--r-- 0 alarms.err.oracle
- - rw-r--r-- 4,474 alarms.res.oracle
- - rw-r--r-- 0 builtins.err.oracle
- - rw-r--r-- 17,398 builtins.res.oracle
- - rw-r--r-- 0 cond.err.oracle
- - rw-r--r-- 1,700 cond.res.oracle
- - rw-r--r-- 0 cond_cast_int_to_float.err.oracle
- - rw-r--r-- 3,834 cond_cast_int_to_float.res.oracle
- - rw-r--r-- 0 const.err.oracle
- - rw-r--r-- 12,099 const.res.oracle
- - rw-r--r-- 0 const1.err.oracle
- - rw-r--r-- 1,252 const1.res.oracle
- - rw-r--r-- 0 const2.err.oracle
- - rw-r--r-- 1,252 const2.res.oracle
- - rw-r--r-- 0 const3.0.err.oracle
- - rw-r--r-- 1,520 const3.0.res.oracle
- - rw-r--r-- 0 const3.1.err.oracle
- - rw-r--r-- 1,699 const3.1.res.oracle
- - rw-r--r-- 0 const4.0.err.oracle
- - rw-r--r-- 1,334 const4.0.res.oracle
- - rw-r--r-- 0 const4.1.err.oracle
- - rw-r--r-- 1,665 const4.1.res.oracle
- - rw-r--r-- 0 conv.err.oracle
- - rw-r--r-- 5,105 conv.res.oracle
- - rw-r--r-- 0 cte_overflow.err.oracle
- - rw-r--r-- 1,585 cte_overflow.res.oracle
- - rw-r--r-- 0 dr.0.err.oracle
- - rw-r--r-- 2,040 dr.0.res.oracle
- - rw-r--r-- 0 dr.1.err.oracle
- - rw-r--r-- 2,162 dr.1.res.oracle
- - rw-r--r-- 0 dr_infinity.err.oracle
- - rw-r--r-- 2,805 dr_infinity.res.oracle
- - rw-r--r-- 0 extract_bits.0.err.oracle
- - rw-r--r-- 1,475 extract_bits.0.res.oracle
- - rw-r--r-- 0 extract_bits.1.err.oracle
- - rw-r--r-- 1,475 extract_bits.1.res.oracle
- - rw-r--r-- 0 float_cast_implicite.err.oracle
- - rw-r--r-- 1,529 float_cast_implicite.res.oracle
- - rw-r--r-- 0 init_float.err.oracle
- - rw-r--r-- 1,983 init_float.res.oracle
- - rw-r--r-- 0 leaf_ensures.err.oracle
- - rw-r--r-- 2,997 leaf_ensures.res.oracle
- - rw-r--r-- 0 logic.err.oracle
- - rw-r--r-- 4,980 logic.res.oracle
- - rw-r--r-- 0 math_builtins.err.oracle
- - rw-r--r-- 128,555 math_builtins.res.oracle
- - rw-r--r-- 0 nonlin.0.err.oracle
- - rw-r--r-- 12,295 nonlin.0.res.oracle
- - rw-r--r-- 0 nonlin.1.err.oracle
- - rw-r--r-- 12,848 nonlin.1.res.oracle
- - rw-r--r-- 0 nonlin.2.err.oracle
- - rw-r--r-- 12,327 nonlin.2.res.oracle
- - rw-r--r-- 0 nonlin.3.err.oracle
- - rw-r--r-- 12,934 nonlin.3.res.oracle
- - rw-r--r-- 0 parse.err.oracle
- - rw-r--r-- 1,585 parse.res.oracle
- - rw-r--r-- 0 precise_cos_sin.err.oracle
- - rw-r--r-- 5,557 precise_cos_sin.res.oracle
- - rw-r--r-- 0 round10d.0.err.oracle
- - rw-r--r-- 1,455 round10d.0.res.oracle
- - rw-r--r-- 0 round10d.1.err.oracle
- - rw-r--r-- 1,643 round10d.1.res.oracle
- - rw-r--r-- 0 s.0.err.oracle
- - rw-r--r-- 13,169 s.0.res.oracle
- - rw-r--r-- 0 s.1.err.oracle
- - rw-r--r-- 13,169 s.1.res.oracle
- - rw-r--r-- 0 some.0.err.oracle
- - rw-r--r-- 3,050 some.0.res.oracle
- - rw-r--r-- 0 some.1.err.oracle
- - rw-r--r-- 1,614 some.1.res.oracle
- - rw-r--r-- 0 sqrt.0.err.oracle
- - rw-r--r-- 2,135 sqrt.0.res.oracle
- - rw-r--r-- 0 sqrt.1.err.oracle
- - rw-r--r-- 2,135 sqrt.1.res.oracle
- - rw-r--r-- 0 uninit.err.oracle
- - rw-r--r-- 1,101 uninit.res.oracle
- - rw-r--r-- 0 zero.err.oracle
- - rw-r--r-- 2,399 zero.res.oracle