rta: drop local `is_valid_type` and use `is_legal_in` from `model`
[nit.git] / src / saf /
2015-12-19 Alexandre Terrasanitsaf: add intraprocedural analysis
2015-12-19 Alexandre Terrasanitsaf: add loop flow set merge
2015-12-19 Alexandre Terrasanitsaf: add flow merge on `if..else` blocks
2015-12-19 Alexandre Terrasanitsaf: introduce reaching defs analysis
2015-12-19 Alexandre Terrasanitsaf: introduce Nit Static Analysis Framework