Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

C

colibrics
- Activity
- Members
- Labels
- Terraform modules
- Model experiments

Snippets Groups Projects

b1ef3258

Commit b1ef3258 authored 3 years ago by Arthur Correnson

Downloads
- Patches
- Plain Diff

Working on extraction...

parent 6f1c2855

No related branches found

No related tags found

1 merge request!16Fp/ieee

Pipeline #36769 waiting for manual action

Stage: test

Stage: deploy

Changes 13
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

src_colibri2/theories/FP/dom_interval.ml 78 additions, 62 deletions

src_colibri2/theories/FP/dom_interval.ml
src_colibri2/theories/FP/dom_interval/extracted.ml 0 additions, 0 deletions

src_colibri2/theories/FP/dom_interval/extracted.ml
src_colibri2/theories/FP/dom_interval/interval_32.ml 0 additions, 0 deletions

src_colibri2/theories/FP/dom_interval/interval_32.ml
src_colibri2/theories/FP/float32.ml 0 additions, 1 deletion

src_colibri2/theories/FP/float32.ml
src_colibri2/theories/FP/interval_32.ml 109 additions, 33 deletions

src_colibri2/theories/FP/interval_32.ml
src_common/ieee/coq/.nia.cache 0 additions, 0 deletions

src_common/ieee/coq/.nia.cache
src_common/ieee/coq/.nra.cache 0 additions, 0 deletions

src_common/ieee/coq/.nra.cache
src_common/ieee/coq/B32.v 116 additions, 0 deletions

src_common/ieee/coq/B32.v
src_common/ieee/coq/Domains.v 0 additions, 29 deletions

src_common/ieee/coq/Domains.v
src_common/ieee/coq/Interval.v 1 addition, 1 deletion

src_common/ieee/coq/Interval.v
src_common/ieee/coq/Intv32.v 0 additions, 0 deletions

src_common/ieee/coq/Intv32.v
src_common/ieee/coq/Qextended.v 66 additions, 0 deletions

src_common/ieee/coq/Qextended.v
src_common/ieee/coq/_CoqProject 3 additions, 2 deletions

src_common/ieee/coq/_CoqProject

with 373 additions and 128 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment