Revision f0195e96
Added by Pierre-Loïc Garoche over 3 years ago
| src/optimize_machine.ml | ||
|---|---|---|
| 16 | 16 |
open Causality |
| 17 | 17 |
open Machine_code_common |
| 18 | 18 |
open Dimension |
| 19 |
module Mpfr = Lustrec_mpfr |
|
| 19 | 20 |
|
| 20 | 21 |
|
| 21 | 22 |
let pp_elim m fmt elim = |
Also available in: Unified diff
- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num