Project

General

Profile

« Previous | Next » 

Revision c1785a55

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

ongoing work on zustre backend

View differences:

src/backends/Horn/horn_backend_common.ml
14 14
open Corelang
15 15
open Machine_code
16 16

  
17
let machine_reset_name id = id ^ "_reset"
18
let machine_step_name id = id ^ "_step" 
19
let machine_stateless_name id = id ^ "_fun" 
17 20
let pp_machine_reset_name fmt id = fprintf fmt "%s_reset" id
18 21
let pp_machine_step_name fmt id = fprintf fmt "%s_step" id
19 22
let pp_machine_stateless_name fmt id = fprintf fmt "%s_fun" id

Also available in: Unified diff