tttt add flambdaanf
redetect if cond then x else 0 as seqand
Cmmgen: move let out of ifthenelse to allow better test generation
tt Anf test and mli
first parts of flambdareachability
more flambdareachability, starting tests
Flambdaanf returns what reachability expects
tt more reachability
reachability use a global heap
handle setfield and exceptions
reachability computes escaping
Flambdareachability: evaluate escaping functions
Almost complete flambdareachability
Flambdaanf: fix seqand and letrec subcase decomposition
Flambdareach: start optimising a bit
Flambdareachability: a lot less allocations
Verify before adding something in a set
Flambdareachability time printing
Flambdareachability: a few more optim
state.globals are a single identifier (ensured by the flambda)
assign_other and assign_top check before adding
assign_block not reaplied when already done
Flambdareachability.CodeSet.add verify that code identifiers are unique.
Flambdareachability: fixpoint optimisation
Reduce the number of iteration before fixpoint by
immediately analysing newly reachable code