Project

General

Profile

« Previous | Next » 

Revision c4780a6a

Added by LĂ©lio Brun 7 months ago

work on new reset functions generation

View differences:

src/machine_code_types.ml
15 15
  | Array of value_t list
16 16
  | Access of value_t * value_t
17 17
  | Power of value_t * value_t
18
  | ResetFlag
18 19

  
19 20
type mc_formula_t = value_t formula_t
20 21

  
......
28 29
and instr_t_desc =
29 30
  | MLocalAssign of var_decl * value_t
30 31
  | MStateAssign of var_decl * value_t
32
  | MResetAssign of bool
31 33
  | MClearReset
32 34
  | MSetReset of ident
33 35
  | MNoReset of ident

Also available in: Unified diff