Project

General

Profile

« Previous | Next » 

Revision 3d1f9d9f

Added by LĂ©lio Brun over 2 years ago

more agressive optim propagation in spec in order to remove unecessarry existential variables that were eliminated (helps the solvers)

View differences:

src/spec_types.mli
5 5

  
6 6
type 'a expression_t =
7 7
  | Val of 'a
8
  | Tag of ident
8
  | Tag of ident * Types.t
9 9
  | Var of var_decl
10 10
  | Memory of register_t
11 11

  

Also available in: Unified diff