Project

General

Profile

Download (653 Bytes) Statistics
| Branch: | Tag: | Revision:

lustrec/src/real.mli @ ca7ff3f7

# Date Author Comment
ca7ff3f7 06/17/2021 11:33 AM Lélio Brun

reformatting
ca7e8027 02/05/2021 02:36 PM Lélio Brun

fix almost all warnings
ef598ac3 11/17/2020 04:38 PM Pierre-Loïc Garoche

moved from Num to Zarith. IMpacted main.ml ad uses of Z3 in zustre_cex and seal-extract
f0195e96 01/28/2020 05:26 AM Pierre-Loïc Garoche

- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num
de8e9811 11/15/2019 12:02 AM Pierre-Loïc Garoche

Module to manipulate real constants. For the moment we Num