/src/mpfr.ml - Diff - LustreC

« Previous | Next »

Revision 782742b6

Added by Pierre-Loïc Garoche about 5 years ago

ID 782742b6a79b60e642ab3e4693a386a7cc45eb8a
Parent cb503831
Child f67464aa

Merged unstable with seahorn

     open Utils
     open LustreSpec
     open Corelang
     open Normalization
     open Normalization_common
     open Machine_code
     let mpfr_module = mktop (Open(false, "mpfr_lustre"))

Also available in: Unified diff