From 97c5ed4b64454b709d25d85f689d1d8aa2c39018 Mon Sep 17 00:00:00 2001
From: Arthur Correnson <arthur.correnson@gmail.com>
Date: Tue, 15 Jun 2021 11:14:47 +0200
Subject: [PATCH] Add Coq & why3 sources for float intervals

---
 src_common/ieee/coq/finterval.v   | 0
 src_common/ieee/why/finterval.mlw | 0
 2 files changed, 0 insertions(+), 0 deletions(-)
 create mode 100644 src_common/ieee/coq/finterval.v
 create mode 100644 src_common/ieee/why/finterval.mlw

diff --git a/src_common/ieee/coq/finterval.v b/src_common/ieee/coq/finterval.v
new file mode 100644
index 000000000..e69de29bb
diff --git a/src_common/ieee/why/finterval.mlw b/src_common/ieee/why/finterval.mlw
new file mode 100644
index 000000000..e69de29bb
-- 
GitLab