nitunit: use `before_all`, `after_all` annotations for propdefs in Sys
[nit.git] / src / saf / reaching_defs.nit
2015-12-19 Alexandre Terrasanitsaf: add intraprocedural analysis
2015-12-19 Alexandre Terrasanitsaf: add loop flow set merge
2015-12-19 Alexandre Terrasanitsaf: introduce reaching defs analysis