B | |
build_cil_file [Transform.Info] | |
G | |
get [Register] | Remove in each function what isn't used to compute its outputs,
or its annotations when |
get [Sparecode.Register] | Remove in each function what isn't used to compute its outputs,
or its annotations when |
get_marks [Spare_marks] | |
K | |
key_visible [Spare_marks] | |
kf_visible [Spare_marks] | Useful mainly if there has been some Pdg.Top |
O | |
off [Parameter_sig.Bool] | Set the boolean to |
on [Parameter_sig.Bool] | Set the boolean to |
R | |
rm_unused_decl [Globs] | |
rm_unused_globals [Register] | Remove unused global types and variables from the given project (the current one if no project given). |
rm_unused_globals [Sparecode.Register] | Remove unused global types and variables from the given project (the current one if no project given). |
S | |
select_useful_things [Spare_marks] |