Project

General

Profile

« Previous | Next » 

Revision 17d63fff

Added by LĂ©lio Brun 10 months ago

remove unused variables after tag elimination in machine code (-O >= 3)

View differences:

src/causality.mli
40 40
     program/schedule, but used to simplify causality analysis *)
41 41
  val mk_instance_var : ident -> ident
42 42

  
43
  val mk_read_var : ident -> ident
44

  
43 45
  val is_instance_var : ident -> bool
44 46

  
45 47
  val is_ghost_var : ident -> bool

Also available in: Unified diff