posix: move `posix` out of `core` as its own package
[nit.git] / tests / nitsaf.args
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: add tests