package info (click to toggle)
coq-float 1%3A8.4-4
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 2,692 kB
  • ctags: 30
  • sloc: makefile: 209

Folder: 1:8.4-4

show hidden (1)
d .. (parent)
d d rwxr-xr-x 104 .pc
d d rwxr-xr-x 49 Ct2
d d rwxr-xr-x 4,096 Expansions
d d rwxr-xr-x 4,096 FnElem
d d rwxr-xr-x 4,096 Others
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 50 AllFloat.v
- - rw-r--r-- 23,133 Closest.v
- - rw-r--r-- 10,210 Closest2Plus.v
- - rw-r--r-- 2,521 Closest2Prop.v
- - rw-r--r-- 14,531 ClosestMult.v
- - rw-r--r-- 27,445 ClosestPlus.v
- - rw-r--r-- 28,090 ClosestProp.v
- - rw-r--r-- 13,236 Digit.v
- - rw-r--r-- 19,364 FPred.v
- - rw-r--r-- 39,971 FSucc.v
- - rw-r--r-- 34,869 Faux.v
- - rw-r--r-- 12,013 Fbound.v
- - rw-r--r-- 10,034 Fcomp.v
- - rw-r--r-- 9,384 Finduct.v
- - rw-r--r-- 11,379 Float.v
- - rw-r--r-- 22,967 Fmin.v
- - rw-r--r-- 36,104 Fnorm.v
- - rw-r--r-- 14,131 Fodd.v
- - rw-r--r-- 7,103 Fop.v
- - rw-r--r-- 5,364 Fprop.v
- - rw-r--r-- 13,997 Fround.v
- - rw-r--r-- 33,166 FroundMult.v
- - rw-r--r-- 25,114 FroundPlus.v
- - rw-r--r-- 53,883 FroundProp.v
- - rw-r--r-- 0 Fsucc.v
- - rw-r--r-- 19,415 MSB.v
- - rw-r--r-- 3,263 MSBProp.v
- - rw-r--r-- 8,053 Makefile
- - rw-r--r-- 115 Option.v
- - rw-r--r-- 37,780 Paux.v
- - rw-r--r-- 35,154 RND.v
- - rw-r--r-- 10,575 Rpow.v
- - rw-r--r-- 18,012 Zdivides.v
- - rw-r--r-- 5,634 Zenum.v
- - rw-r--r-- 1,452 sTactic.v