package info (click to toggle)
frama-c 20171101%2Bsulfur%2Bdfsg-2
  • links: PTS, VCS
  • area: main
  • in suites: buster
  • size: 44,124 kB
  • sloc: ml: 213,391; ansic: 45,004; makefile: 2,648; sh: 2,574; lisp: 259; python: 85; asm: 26

Folder: oracle

d .. (parent)
- - rw-r--r-- 0 absorb.0.err.oracle
- - rw-r--r-- 1,010 absorb.0.res.oracle
- - rw-r--r-- 0 absorb.1.err.oracle
- - rw-r--r-- 2,621 absorb.1.res.oracle
- - rw-r--r-- 0 absorb_sav.err
- - rw-r--r-- 242 absorb_sav.res
- - rw-r--r-- 0 absorb_sav2.err
- - rw-r--r-- 1,175 absorb_sav2.res
- - rw-r--r-- 0 alarms.err.oracle
- - rw-r--r-- 4,017 alarms.res.oracle
- - rw-r--r-- 0 builtins.err.oracle
- - rw-r--r-- 17,414 builtins.res.oracle
- - rw-r--r-- 0 cond.err.oracle
- - rw-r--r-- 1,608 cond.res.oracle
- - rw-r--r-- 0 cond_cast_int_to_float.err.oracle
- - rw-r--r-- 4,091 cond_cast_int_to_float.res.oracle
- - rw-r--r-- 0 const.err.oracle
- - rw-r--r-- 11,992 const.res.oracle
- - rw-r--r-- 0 const1.err.oracle
- - rw-r--r-- 882 const1.res.oracle
- - rw-r--r-- 0 const2.err.oracle
- - rw-r--r-- 882 const2.res.oracle
- - rw-r--r-- 0 const3.0.err.oracle
- - rw-r--r-- 1,300 const3.0.res.oracle
- - rw-r--r-- 0 const3.1.err.oracle
- - rw-r--r-- 1,479 const3.1.res.oracle
- - rw-r--r-- 0 const4.0.err.oracle
- - rw-r--r-- 964 const4.0.res.oracle
- - rw-r--r-- 0 const4.1.err.oracle
- - rw-r--r-- 1,445 const4.1.res.oracle
- - rw-r--r-- 0 conv.err.oracle
- - rw-r--r-- 4,421 conv.res.oracle
- - rw-r--r-- 0 cte_overflow.err.oracle
- - rw-r--r-- 1,494 cte_overflow.res.oracle
- - rw-r--r-- 0 dr.0.err.oracle
- - rw-r--r-- 1,450 dr.0.res.oracle
- - rw-r--r-- 0 dr.1.err.oracle
- - rw-r--r-- 1,572 dr.1.res.oracle
- - rw-r--r-- 0 dr.2.err.oracle
- - rw-r--r-- 1,650 dr.2.res.oracle
- - rw-r--r-- 0 dr_infinity.err.oracle
- - rw-r--r-- 2,722 dr_infinity.res.oracle
- - rw-r--r-- 0 extract_bits.0.err.oracle
- - rw-r--r-- 1,474 extract_bits.0.res.oracle
- - rw-r--r-- 0 extract_bits.1.err.oracle
- - rw-r--r-- 1,474 extract_bits.1.res.oracle
- - rw-r--r-- 0 float_cast_implicite.err.oracle
- - rw-r--r-- 1,438 float_cast_implicite.res.oracle
- - rw-r--r-- 0 init_float.err.oracle
- - rw-r--r-- 1,903 init_float.res.oracle
- - rw-r--r-- 0 leaf_ensures.err.oracle
- - rw-r--r-- 2,870 leaf_ensures.res.oracle
- - rw-r--r-- 0 logic.err.oracle
- - rw-r--r-- 4,849 logic.res.oracle
- - rw-r--r-- 0 math_builtins.err.oracle
- - rw-r--r-- 109,620 math_builtins.res.oracle
- - rw-r--r-- 0 nonlin.0.err.oracle
- - rw-r--r-- 11,843 nonlin.0.res.oracle
- - rw-r--r-- 0 nonlin.1.err.oracle
- - rw-r--r-- 13,261 nonlin.1.res.oracle
- - rw-r--r-- 0 nonlin.2.err.oracle
- - rw-r--r-- 11,875 nonlin.2.res.oracle
- - rw-r--r-- 0 nonlin.3.err.oracle
- - rw-r--r-- 13,339 nonlin.3.res.oracle
- - rw-r--r-- 0 parse.err.oracle
- - rw-r--r-- 1,558 parse.res.oracle
- - rw-r--r-- 0 precise_cos_sin.err.oracle
- - rw-r--r-- 7,294 precise_cos_sin.res.oracle
- - rw-r--r-- 0 round10d.0.err.oracle
- - rw-r--r-- 1,583 round10d.0.res.oracle
- - rw-r--r-- 0 round10d.1.err.oracle
- - rw-r--r-- 1,771 round10d.1.res.oracle
- - rw-r--r-- 0 s.0.err.oracle
- - rw-r--r-- 13,050 s.0.res.oracle
- - rw-r--r-- 0 s.1.err.oracle
- - rw-r--r-- 13,050 s.1.res.oracle
- - rw-r--r-- 0 some.0.err.oracle
- - rw-r--r-- 2,756 some.0.res.oracle
- - rw-r--r-- 0 some.1.err.oracle
- - rw-r--r-- 1,436 some.1.res.oracle
- - rw-r--r-- 0 sqrt.0.err.oracle
- - rw-r--r-- 1,948 sqrt.0.res.oracle
- - rw-r--r-- 0 sqrt.1.err.oracle
- - rw-r--r-- 1,948 sqrt.1.res.oracle
- - rw-r--r-- 0 uninit.err.oracle
- - rw-r--r-- 1,010 uninit.res.oracle
- - rw-r--r-- 0 zero.err.oracle
- - rw-r--r-- 2,477 zero.res.oracle