Merge branch 'fp/ieee' into 'master'
Fp/ieee See merge request !16
Showing
- .gitignore 16 additions, 0 deletions.gitignore
- .gitlab-ci.yml 18 additions, 25 deletions.gitlab-ci.yml
- .lia.cache 0 additions, 0 deletions.lia.cache
- doc/coq2html.js 25 additions, 0 deletionsdoc/coq2html.js
- dune 1 addition, 1 deletiondune
- farith2/.gitignore 45 additions, 0 deletionsfarith2/.gitignore
- farith2/.nra.cache 0 additions, 0 deletionsfarith2/.nra.cache
- farith2/B32.ml 143 additions, 0 deletionsfarith2/B32.ml
- farith2/B32.mli 49 additions, 0 deletionsfarith2/B32.mli
- farith2/BinInt.ml 83 additions, 0 deletionsfarith2/BinInt.ml
- farith2/BinInt.mli 17 additions, 0 deletionsfarith2/BinInt.mli
- farith2/BinNums.ml 2 additions, 0 deletionsfarith2/BinNums.ml
- farith2/BinNums.mli 2 additions, 0 deletionsfarith2/BinNums.mli
- farith2/BinPos.ml 165 additions, 0 deletionsfarith2/BinPos.ml
- farith2/BinPos.mli 37 additions, 0 deletionsfarith2/BinPos.mli
- farith2/BinPosDef.ml 8 additions, 0 deletionsfarith2/BinPosDef.ml
- farith2/BinPosDef.mli 8 additions, 0 deletionsfarith2/BinPosDef.mli
- farith2/Binary.ml 21 additions, 0 deletionsfarith2/Binary.ml
- farith2/Binary.mli 15 additions, 0 deletionsfarith2/Binary.mli
- farith2/BinarySingleNaN.ml 295 additions, 0 deletionsfarith2/BinarySingleNaN.ml
Loading
Please register or sign in to comment