Revision 17d63fff
Added by Lélio Brun 10 months ago
| 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
remove unused variables after tag elimination in machine code (-O >= 3)