Revision f0195e96
Added by Pierre-Loïc Garoche over 3 years ago
| src/backends/C/c_backend_common.ml | ||
|---|---|---|
| 14 | 14 |
open Corelang |
| 15 | 15 |
open Machine_code_types |
| 16 | 16 |
(*open Machine_code_common*) |
| 17 |
|
|
| 17 |
module Mpfr = Lustrec_mpfr |
|
| 18 | 18 |
|
| 19 | 19 |
let print_version fmt = |
| 20 | 20 |
Format.fprintf fmt |
Also available in: Unified diff
- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num