Project

General

Profile

« Previous | Next » 

Revision 782742b6

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

Merged unstable with seahorn

View differences:

src/mpfr.ml
12 12
open Utils
13 13
open LustreSpec
14 14
open Corelang
15
open Normalization
15
open Normalization_common
16 16
open Machine_code
17 17

  
18 18
let mpfr_module = mktop (Open(false, "mpfr_lustre"))

Also available in: Unified diff