Revision f0195e96
Added by Pierre-Loïc Garoche over 3 years ago
| src/compiler_stages.ml | ||
|---|---|---|
| 2 | 2 |
open Utils |
| 3 | 3 |
open Compiler_common |
| 4 | 4 |
open Lustre_types |
| 5 |
module Mpfr = Lustrec_mpfr |
|
| 5 | 6 |
|
| 6 | 7 |
exception StopPhase1 of program_t |
| 7 | 8 |
|
Also available in: Unified diff
- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num